Title:		Flexible scheduling mechanisms in L4

Author:		Simon Winwood

		School of Computer Science and Engineering,
		The University of New South Wales, Sydney 2052, Australia,
		sjw@cse.unsw.edu.au

Abstract:

This thesis presents the design, implementation, and evaluation of a
new scheduling mechanism for the L4 \uk{}, 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, \emph{recursive scheduling}, extends easily to
multi-processor systems, and benchmarking shows that the goals of the
design were met successfully.