Title: From 'Real Fast' to Real-Time: Quantifying the Effects of Scheduling on IPC Performance

Author: David Greenway

Email: davidg@cse.unsw.edu.au


Abstract: 

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.