Advanced Search
CS Search Google Search
Subscribers, please login

Published Articles >> Table of Contents >> Abstract

Fifth IEEE Real-Time Technology and Applications Symposium (RTAS'99)   p. 111
Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior

Full Article Text: Download PDF of full textBuy this articleGet full text from IEEE Xplore

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTTAS.1999.777666
Send link to a friend

Abstract
Portable RK is a portable implementation of a resource kernel, a resource-centric approach to build a real-time kernel that provides explicit timely, guaranteed, and enforced access by applications to system resources. Portable RK is designed to work with widely available operating systems with minimal changes. This facilitates experimentation in familiar software environments and helps the faster deployment of research results. Execution in resource kernels is directly based on OS-enforced resource reservation. As a result, 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 that application in timely fashion. In this paper, we describe the design and implementation of Portable RK called Linux/RK that resides within the Linux kernel. The evaluation results show that Portable RK in the form of Linux/RK gives direct control over timely resource utilization by applications and that its overhead costs are small enough to be negligible.
Additional Information

Citation:  S. Oikawa, R. Rajkumar, "Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior," rtas, p. 111,  Fifth IEEE Real-Time Technology and Applications Symposium (RTAS'99),  1999

Similar Articles

Abstract Contents
Abstract
Citation




Free access to

  • Abstracts
  • Selected PDFs

Electronic subscribers login to:

  • Access HTML/PDFs of full text articles

Subscription information

Get a Web account

PDFs require Adobe Acrobat Reader.

Peer Review Notice

Give us Feedback