Trustworthy Systems

Quantifying the effects of scheduling on IPC performance


David Greenaway

    School of Computer Science and Engineering
    Sydney 2052, Australia


This thesis investigates three scheduling performance optimisations used in the L4 kernel and the trades-offs associated with them. The three performance optimisations: “lazy-queueing”, “direct process switching” and “FIFO queue ordering” each improve best-effort throughput of the scheduler, but decrease real-time performance of the kernel. We attempt to quantify both the advantages and the disadvantages of each.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {David Greenaway},
    month            = jun,
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {Quantifying the Effects of Scheduling on {IPC} Performance},
    year             = {2007}