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 HypervisorRef: CISTER-TR-140303 Publication Date: 1 to 5, Jun, 2014
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 signicantly 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.
The 51st Annual Design Automation Conference on Design Automation Conference (DAC '14), pp 86:1-86:6.
San Francisco, CA, U.S.A..