FlaRe : Efficient Capability Semantics for Timely Processor Access

@inproceedings{Vanga2013FlaReE,
  title={FlaRe : Efficient Capability Semantics for Timely Processor Access},
  author={Manohar Vanga and Felipe Cerqueira and Bj{\"o}rn B. Brandenburg and Anna Lyons and Gernot Heiser},
  year={2013}
}
In the seL4 microkernel and other capability-based OSs, the right to use resources is managed using abstract capabilities (i.e., tokens). 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… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

A User-Level Approach for ARINC 653 Temporal Partitioning in seL4

2016 International Symposium on System and Software Reliability (ISSSR) • 2016
View 4 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 36 references

H

B. B. Brandenburg, A. D. Block, J. M. Calandrino, U. Devi
Leontyev, and J.H. Anderson. LITMUS RT: A status report • 2007
View 14 Excerpts
Highly Influenced

An event stream driven approximation for the analysis of real-time systems

Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004. • 2004
View 13 Excerpts
Highly Influenced

Mem- Guard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms

Y. Heechul, G. Yao, R. Pellizzoni, M. Caccamo, L. Sha
RTAS’13 • 2013
View 1 Excerpt

Memory bandwidth reservation system for efficient performance isolation in multi - core platforms

Y. Heechul, G. Yao, R. Pellizzoni, M. Caccamo, L. Sha
In RTAS ’ • 2013

Overhead-aware compositional analysis of real-time systems

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) • 2013
View 1 Excerpt

Similar Papers

Loading similar papers…