Linux/RK is an implementation of a Resource Kernel based on Linux. It is developed by the Real-time and Multimedia Systems Laboratory led by Dr. Raj Rajkumar at Carnegie Mellon University.
Linux/RK consists of two major components, the Linux kernel
and a subsystem called the Portable Resource Kernel
. A resource kernel provides timely, guaranteed and enforced access to physical resources for applications
. A main function of an operating system kernel is to multiplex available system resources across multiple requests from several applications. The traditional non-realtime kernel allocates a time-multiplexed resource to an application based on fairness metrics during a certain period. With a resource kernel, an application can request the reservation of a certain amount of a resource, and the kernel can guarantee that the requested amount is available to the application. Such a guarantee of resource allocation gives an application the knowledge of the amount of its currently available resources. A QoS
manager or an application itself can then optimize the system behavior by computing the best QoS obtained from the available resources.
1. Shui Oikawa and Raj Rajkumar, Linux/RK: A Portable Resource Kernel in Linux, In IEEE Real-Time Systems Symposium Work-In-Progress, Madrid, December 1998.