Skip to content
Berkus Decker edited this page Mar 20, 2017 · 1 revision

Scheduling

Scheduling can be viewed as the process of multiplexing the CPU resource between computational tasks. The schedulable entity of an operating system often places constraints both on the scheduling algorithms which may be employed and the functionality provided to the application.

Since exokernel avoids policies, implementing a scheduling policy inside the kernel is unadvisable.

Scheduling must be delegated to user-level scheduler and kernel should only provide thread manipulation and interrupt support functions necessary. Capability model provides a way for server holding capability to a thread to manipulate it's registers and stack.

A library OS implementation of scheduling is therefore possible.

Clone this wiki locally