Linux/RK

From Wikipedia, the free encyclopedia

The introduction to this article provides insufficient context for those unfamiliar with the subject.
Please help improve the article with a good introductory style.

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.

[edit] 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.

[edit] 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.