FlaRe: Efficient Capability Semantics for Timely Processor Access

In the seL4 microkernel and other capability-based OSs, the right to use resources is managed using abstract capabilities. Capability systems for fungible resources such as memory are well understood, but it has proven difficult to integrate time - i.e., real-time scheduling - into this model, since timeliness (i.e., system-wide schedulability) is a property that is inherently difficult to isolate (without introducing prohibitive inefficiencies). This paper presents FlaRe, a temporal capability system that ensures schedulability and temporal isolation by design.

Provided by: University of New Orleans Fund Topic: Hardware Date Added: Oct 2013 Format: PDF

Find By Topic