School of Computer Science and Engineering
UNSW,
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.
@mastersthesis{Greenaway:bsc, address = {Sydney, Australia}, author = {David Greenaway}, month = jun, paperUrl = {https://trustworthy.systems/publications/theses_public/07/Greenaway%3Absc.pdf}, school = {School of Computer Science and Engineering}, title = {Quantifying the Effects of Scheduling on {IPC} Performance}, year = {2007} }