Trustworthy Systems

Performance analysis and modelling of Ethernet on LionsOS

Authors

Lesley Rossouw

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

Performant networking is critical for many practical computer systems. Since 2022, the seL4 Device Driver Framework (sDDF) has included an Ethernet driver capable of strong performance without compromising on trustworthiness. Under LionsOS, the sDDF has been shown to be capable of supporting a variety of intensive use cases such as a firewall and webserver.

In this talk we will discuss ongoing modelling and analysis of the sDDF ethernet class using discrete-event simulation and practical benchmarks. We will present new observations on the dynamic properties of its radically simple design and explore the theoretical limits of the sDDF design philosophy.

BibTeX Entry

  @misc{Rossouw_26:sel4s_perf,
    author           = {Lesley Rossouw},
    location         = {Vancouver, BC, Canada},
    month            = sep,
    note             = {Talk at the 8th {seL4} {Summit}},
    title            = {Performance analysis and modelling of {Ethernet} on {LionsOS}},
    video            = {https://www.youtube.com/watch?v=leO2IxJ-X3k},
    year             = {2026}
  }

Download