Sufficient temporal independence and improved interrupt latencies in a real-time hypervisor
Sufficient temporal independence and improved interrupt latencies in a real-time hypervisor
复制标题
实时管理程序中足够的时间独立性和改进的中断延迟
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Stefan M. Petters
中科院分区：
文献类型：
--
作者：
Matthias Beckert;M. Neukirchner;R. Ernst;Stefan M. Petters
硬实时系统的虚拟化技术通常采用TDMA调度来实现分区之间的时间隔离。用户级中断处理程序的处理仅在适当的时隙内执行，因此显著增加了中断延迟。我们提出了一种新的方法，允许在其他分区的时隙期间执行用户级中断处理程序，从而减少中断延迟。分区之间的足够的时间独立性，如安全标准所要求的，通过监控机制来保持，该监控机制限制了其他分区中的用户级中断处理程序的干扰。我们证明了该方法的正确性，并评估其性能在虚拟机管理程序的实现。
Virtualization techniques for hard real-time systems typically employ TDMA scheduling to achieve temporal isolation among partitions. The processing of user-level interrupt handlers is only performed within appropriate time slots, thus significantly increasing interrupt latencies. We propose a novel approach permitting execution of user-level interrupt handlers during time slots of other partitions hence reducing interrupt latencies. Sufficient temporal independence among partitions, as required by safety standards, is maintained through a monitoring mechanism, which bounds the interference of user-level interrupt handlers in other partitions. We show correctness of the approach and evaluate its performance in a hypervisor implementation.