Trustworthy Systems

Flexible scheduling mechanisms in L4

Authors

Simon Winwood

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

Abstract

This thesis presents the design, implementation, and evaluation of a new scheduling mechanism for the L4 µKernel, running on the Alpha 21264 processor.

This design concentrates on hierarchical resource management, by which an application is free to manage its own resources, enabling it to take advantage of domain specific knowledge.

The final design, recursive scheduling, extends easily to multi-processor systems, and benchmarking shows that the goals of the design were met successfully.

BibTeX Entry

  @mastersthesis{Winwood:BE,
    address          = {Sydney, Australia},
    author           = {Simon Winwood},
    keywords         = {proportional share scheduling, gang scheduling, real-time},
    month            = nov,
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    paperUrl         = {https://trustworthy.systems/publications/theses_public/00/Winwood%3ABE.ps.gz},
    school           = {School of Computer Science and Engineering},
    title            = {Flexible scheduling mechanisms in {L4}},
    year             = {2000}
  }

Download