Name
Title | ||
|---|---|---|
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time |
Abstract | ||
|---|---|---|
Mixed-criticality systems (MCS) combine real-time components of different levels of criticality - i.e. severity of failure - on the same processor, in order to obtain good resource utilisation. They must be able to guarantee deadlines of highly-critical threads without any dependence on less-critical threads. This requires strong temporal isolation, similar to the spatial isolation that is traditionally provided by operating systems, without unnecessary loss of processor utilisation. We present a model that uses scheduling contexts as first-class objects to represent time, and integrates seamlessly with the capability-based protection model of the seL4 microkernel. We show that the model comes with minimal overhead, and supports implementation of arbitrary scheduling policies as well as criticality switches at user level.
|
Year | DOI | Venue |
|---|---|---|
2018 | 10.1145/3190508.3190539 | EuroSys '18: Thirteenth EuroSys Conference 2018
Porto
Portugal
April, 2018 |
Keywords | Field | DocType |
Access Control,Capabilities,Mixed-Criticality Systems,Microkernels,seL4 | Temporal isolation,Scheduling (computing),Computer science,Microkernel,Thread (computing),Access control,Criticality,Operating system,Distributed computing | Conference |
ISBN | Citations | PageRank |
978-1-4503-5584-1 | 4 | 0.39 |
References | Authors | |
30 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anna Lyons | 1 | 4 | 0.39 |
| Kent McLeod | 2 | 4 | 0.39 |
| Hesham Almatary | 3 | 4 | 0.39 |
| Gernot Heiser | 4 | 2525 | 137.42 |