First-class Scheduling-Contexts in L4Re

Scheduling contexts form the base for scheduling in the L4Re microkernel as they group the scheduling-related information for each thread. In the current implementation, each thread has a built-in scheduling-context, allowing to implement the currently available scheduling regime. However, this fixed relationship between a thread and its scheduling information limits the support for other and more advanced scheduling-related functionality. Thus, in this work I will present a new system design that decouples scheduling contexts from its threads and makes them stand-alone microkernel objects. This added flexibility allows to implement more advanced features, which we will explore.

(Analyse eines Forschungsthemas)