FlaRe: Efficient Capability Semantics for Timely Processor Access

Download Now
Provided by: University of New Orleans Fund
Topic: Hardware
Format: PDF
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.
Download Now

Find By Topic