L4 microkernels: The lessons from 20 years of research and deployment
G Heiser, K Elphinstone - ACM Transactions on Computer Systems …, 2016 - dl.acm.org
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions that are deployed on a large scale …
developer community, and there are commercial versions that are deployed on a large scale …
[HTML][HTML] Scheduling and locking in multiprocessor real-time operating systems
BB Brandenburg - 2011 - search.proquest.com
With the widespread adoption of multicore architectures, multiprocessors are now a
standard deployment platform for (soft) real-time applications. This dissertation addresses …
standard deployment platform for (soft) real-time applications. This dissertation addresses …
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
K Elphinstone, G Heiser - Proceedings of the Twenty-Fourth ACM …, 2013 - dl.acm.org
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions which are deployed on a large …
developer community, and there are commercial versions which are deployed on a large …
Robust real-time multiprocessor interrupt handling motivated by GPUs
GA Elliott, JH Anderson - 2012 24th Euromicro Conference on …, 2012 - ieeexplore.ieee.org
Architectures in which multicore chips are augmented with graphics processing units (GPUs)
have great potential in many domains in which computationally intensive real-time …
have great potential in many domains in which computationally intensive real-time …
[HTML][HTML] μRTZVisor: A Secure and Safe Real-Time Hypervisor
Virtualization has been deployed as a key enabling technology for coping with the ever
growing complexity and heterogeneity of modern computing systems. However, on its own …
growing complexity and heterogeneity of modern computing systems. However, on its own …
A concurrency framework for priority-aware intercomponent requests in CAmkES on seL4
Component-based design can encapsulate and isolate state and the operations on it, but
timing semantics crosscut these boundaries when a real-time task's control flow spans …
timing semantics crosscut these boundaries when a real-time task's control flow spans …
Temporal capabilities: Access control for time
PK Gadepalli, R Gifford, L Baier… - 2017 IEEE Real-Time …, 2017 - ieeexplore.ieee.org
Embedded systems are increasingly required to handle code of various qualities that must
often be isolated, yet predictably share resources. This has motivated the isolation of, for …
often be isolated, yet predictably share resources. This has motivated the isolation of, for …
Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES
Component-based design encapsulates and isolates state and the operations on it, but
timing semantics cross-cut these boundaries when a real-time task's control flow spans …
timing semantics cross-cut these boundaries when a real-time task's control flow spans …
[PDF][PDF] Ten years of research on L4-based real-time systems
H Härtig, M Roitzsch - Proceedings of the 8th Real-Time Linux Workshop, 2006 - Citeseer
Microkernels are an intriguing technology for operating systems research in general and for
real-time systems in particular. To gain experience and to explore new ground, the OS …
real-time systems in particular. To gain experience and to explore new ground, the OS …
Predictable interrupt management and scheduling in the Composite component-based system
G Parmer, R West - 2008 Real-Time Systems Symposium, 2008 - ieeexplore.ieee.org
This paper presents the design of user-level scheduling hierarchies in the composite
component-based system. The motivation for this is centered around the design of a system …
component-based system. The motivation for this is centered around the design of a system …