research-article

Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor

Authors:

Matthias Beckert,

Moritz Neukirchner,

Stefan M. PettersAuthors Info & Claims

DAC '14: Proceedings of the 51st Annual Design Automation Conference

Pages 1 - 6

https://doi.org/10.1145/2593069.2593222

Published: 01 June 2014 Publication History

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

References

[1]

B. Blackham, Y. Shi, and G. Heiser. Improving interrupt response time in a verifiable protected microkernel. In Proceedings of the 7th ACM european conference on Computer Systems, pages 323--336. ACM, 2012.

Digital Library

[2]

J. Y. L. Boudec and P. Thiran. Network calculus: a theory of deterministic queuing systems for the internet. Springer Verlag, 2001.

Digital Library

[3]

Embedded Office. MicroC/OS-MMU. http://www.embedded-office.com/en/products/uC-OS-MMU.html.

[4]

G. Heiser and B. Leslie. The OKL4 Microvisor: Convergence point of microkernels and hypervisors. In Proceedings of the first ACM asia-pacific workshop on Workshop on systems, pages 19--24. ACM, 2010.

Digital Library

[5]

International Electrotechnical Commission. IEC61508 Ed.2 - Functional Safety of Electrical/Electronic/Programmable Safety-related Systems, 2008.

[6]

H. Kim, H. Lim, J. Jeong, H. Jo, and J. Lee. Task-aware virtual machine scheduling for I/O performance. In Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, pages 101--110. ACM, 2009.

Digital Library

[7]

J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Real-Time Systems Symposium, 1990. Proceedings., 11th, pages 201--209. IEEE, 1990.

[8]

M. Neukirchner, T. Michaels, P. Axer, S. Quinton, and R. Ernst. Monitoring arbitrary activation patterns in real-time systems. In Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, pages 293--302. IEEE, 2012.

Digital Library

[9]

D. Ongaro, A. L. Cox, and S. Rixner. Scheduling i/o in virtual machine monitors. In Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, pages 1--10. ACM, 2008.

Digital Library

[10]

P. Prisaznuk. ARINC 653 role in Integrated Modular Avionics (IMA). In Digital Avionics Systems Conference (DASC 2008), 2008.

[11]

J. Regehr and U. Duongsaa. Preventing interrupt overload. In ACM SIGPLAN Notices, volume 40, pages 50--58. ACM, 2005.

Digital Library

[12]

K. Richter. Compositional Scheduling Analysis Using Standard Event Models. PhD thesis, Technical University of Braunschweig, Department of Electrical Engineering and Information Technology, 2004.

[13]

Robert Kaiser, Stephan Wagner. Evolution of the PikeOS Microkernel. In MIKES 2007 First International Workshop on Microkernels for Embedded Systems, 2007.

[14]

S. Ruocco. Real-time programming and L4 microkernels. In Proceedings of the 2006 Workshop on Operating System Platforms for Embedded Real-Time Applications, Dresden, Germany, 2006.

[15]

S. Schliecker. Performance analysis of multiprocessor real-time systems with shared resources. PhD thesis, Technical University of Braunschweig, Department of Electrical Engineering and Information Technology, Braunschweig, Germany, 2011.

[16]

S. Schliecker, J. Rox, M. Ivers, and R. Ernst. Providing accurate event models for the analysis of heterogeneous multiprocessor systems. In Proc. 6th Int'l. Conf. on Hardware Software Codesign and System Synthesis (CODES-ISSS), 2008.

Digital Library

[17]

K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming, 40(2):117--134, 1994.

Digital Library

[18]

P. Varanasi and G. Heiser. Hardware-supported virtualization on arm. In Proceedings of the Second Asia-Pacific Workshop on Systems, page 11. ACM, 2011.

Digital Library

[19]

J. Whiteaker, F. Schneider, and R. Teixeira. Explaining packet delays under virtualization. ACM SIGCOMM Computer Communication Review, 41(1):38--44, 2011.

Digital Library

Cited By

Andalibi FGarcia P(2021)Near-Native Interrupt Latency in Real-Time Guests: Handler Emulation Through Memory Map MorphingProceedings of the 2021 7th International Conference on Computing and Data Engineering10.1145/3456172.3456197(94-98)Online publication date: 15-Jan-2021
https://dl.acm.org/doi/10.1145/3456172.3456197
Casini DBiondi ACicero GButtazzo G(2021)Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS52030.2021.00032(306-319)Online publication date: May-2021
https://doi.org/10.1109/RTAS52030.2021.00032
Ruh JSteiner WFohler G(2021)Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRNIEEE Access10.1109/ACCESS.2021.31110459(126075-126094)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3111045
Show More Cited By

Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor
1. Computer systems organization
2. General and reference
  1. Cross-computing tools and techniques

Recommendations

Responsive and Enforced Interrupt Handling for Real-Time System Virtualization
RTCSA '15: Proceedings of the 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications

The increasing performance of modern processors makes virtualization a viable solution for consolidating real-time systems into a single hardware platform. Although real-time task scheduling in a virtual machine can benefit from hierarchical scheduling, ...
Formal Verification of Interrupt Injection in a Hypervisor
TASE '14: Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference (tase 2014)

Operating systems usually rely on external interrupts as notifications of various events, such as the completion of a DMA transfer and the coming of a time point. The loss of external interrupts may affect the correct execution of operating systems. In ...
Designing time partitions for real-time hypervisor with sufficient temporal independence
DAC '15: Proceedings of the 52nd Annual Design Automation Conference

Virtualization techniques for embedded real-time systems, as known from the Integrated Modular Avionics (IMA) architecture of the ARINC653 standard, typically employ a TDMA scheduling to achieve temporal isolation among different virtualized partitions. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

DAC '14: Proceedings of the 51st Annual Design Automation Conference

June 2014

1249 pages

ISBN:9781450327305

DOI:10.1145/2593069

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

EDAC: Electronic Design Automation Consortium
SIGBED: ACM Special Interest Group on Embedded Systems
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '14

DAC '14: The 51st Annual Design Automation Conference 2014

June 1 - 5, 2014

CA, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
168
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)2

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Andalibi FGarcia P(2021)Near-Native Interrupt Latency in Real-Time Guests: Handler Emulation Through Memory Map MorphingProceedings of the 2021 7th International Conference on Computing and Data Engineering10.1145/3456172.3456197(94-98)Online publication date: 15-Jan-2021
https://dl.acm.org/doi/10.1145/3456172.3456197
Casini DBiondi ACicero GButtazzo G(2021)Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS52030.2021.00032(306-319)Online publication date: May-2021
https://doi.org/10.1109/RTAS52030.2021.00032
Ruh JSteiner WFohler G(2021)Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRNIEEE Access10.1109/ACCESS.2021.31110459(126075-126094)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3111045
Schlatow JMostl MErnst R(2019)Self-Aware Scheduling for Mixed-Criticality Component-Based Systems2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS.2019.00030(267-278)Online publication date: Apr-2019
https://doi.org/10.1109/RTAS.2019.00030
Beckert MGemlau KErnst R(2017)Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environmentsProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130586(870-875)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130586
Beckert MGemlau KErnst R(2017)Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environmentsDesign, Automation & Test in Europe Conference & Exhibition (DATE), 201710.23919/DATE.2017.7927109(870-875)Online publication date: Mar-2017
https://doi.org/10.23919/DATE.2017.7927109
Beckert MErnst R(2017)Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization EnvironmentsACM Transactions on Embedded Computing Systems10.1145/312655916:5s(1-19)Online publication date: 27-Sep-2017
https://dl.acm.org/doi/10.1145/3126559
Meurer RLudwich MFrohlich A(2016)Virtualizing Mixed-Criticality Operating Systems2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)10.1109/SBESC.2016.020(79-85)Online publication date: Nov-2016
https://doi.org/10.1109/SBESC.2016.020
Beckert MErnst R(2015)Designing time partitions for real-time hypervisor with sufficient temporal independenceProceedings of the 52nd Annual Design Automation Conference10.1145/2744769.2744820(1-6)Online publication date: 7-Jun-2015
https://dl.acm.org/doi/10.1145/2744769.2744820
Kim HWang SRajkumar R(2015)Responsive and Enforced Interrupt Handling for Real-Time System VirtualizationProceedings of the 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2015.15(90-99)Online publication date: 19-Aug-2015
https://dl.acm.org/doi/10.1109/RTCSA.2015.15
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten