Skip to main content

Quantifying the effects of scheduling on IPC performance


David Greenaway

NICTA, Sydney, Australia
UNSW, 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

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


Served by Apache on Linux on seL4.