Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time
EuroSys '18: Thirteenth EuroSys Conference 2018 Porto Portugal April, 2018(2018)
摘要
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.
更多查看译文
关键词
Access Control,Capabilities,Mixed-Criticality Systems,Microkernels,seL4
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络