Linux/RK

Linux/RK is an implementation of a Resource Kernel based on Linux. It is developed by the [http://www.cs.cmu.edu/~rtmach/ Real-time and Multimedia Systems Laboratory] led by Dr. Raj Rajkumar at Carnegie Mellon University.

Description

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.

References

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.

External links

* http://www.cs.cmu.edu/~rtmach/