Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor
Ref: CISTER-TR-140303 Publication Date: 1 to 5, Jun, 2014
Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor
Ref: CISTER-TR-140303 Publication Date: 1 to 5, Jun, 2014Abstract:
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 signi cantly 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. Sucient 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.
Matthias Beckert
Stefan M. PettersDocument:
View
DownloadThe 51st Annual Design Automation Conference on Design Automation Conference (DAC '14), pp 86:1-86:6.
San Francisco, CA, U.S.A..
DOI:10.1145/2593069.2593222.
ISBN: 978-1-4503-2730-5.
Record Date: 10, Mar, 2014