- Linux/RK
Linux/RK is an implementation of a
Resource Kernel based onLinux . It is developed by the [http://www.cs.cmu.edu/~rtmach/ Real-time and Multimedia Systems Laboratory] led by Dr. Raj Rajkumar atCarnegie 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/
Wikimedia Foundation. 2010.