Login

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, 2014

Abstract:
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.

Authors:
Matthias Beckert
,
Moritz Neukirchner
,
Rolf Ernst
,
Stefan M. Petters


The 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