research-article

Flattening hierarchical scheduling

Authors:

Adam Lackorzyński,

Alexander Warg,

Hermann HärtigAuthors Info & Claims

EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software

Pages 93 - 102

https://doi.org/10.1145/2380356.2380376

Published: 07 October 2012 Publication History

Abstract

Recently, the application of virtual-machine technology to integrate real-time systems into a single host has received significant attention and caused controversy. Drawing two examples from mixed-criticality systems, we demonstrate that current virtualization technology, which handles guest scheduling as a black box, is incompatible with this modern scheduling discipline. However, there is a simple solution by exporting sufficient information for the host scheduler to overcome this problem. We describe the problem, the modification required on the guest and show on the example of two practical real-time operating systems how flattening the hierarchical scheduling problem resolves the issue. We conclude by showing the limitations of our technique at the current state of our research.

References

[1]

Fiasco.OC. http://tudos.org/fiasco.

[2]

N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8:284--292, 1993.

[3]

D. Baldin and T. Kerstan. Proteus, a hybrid virtualization platform for embedded systems. In A. Rettberg and F. J. Rammig, editors, Analysis, Architectures and Modelling of Embedded Systems. IFIP WG 10.5, Springer-Verlag, 14 - 16 Sept. 2009.

[4]

P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the nineteenth ACM symposium on Operating systems principles, SOSP '03, pages 164--177, New York, NY, USA, 2003. ACM.

Digital Library

[5]

S. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie. Scheduling real-time mixed-criticality jobs. Computers, IEEE Transactions on, PP(99):1, 2011.

[6]

S. Baruah, A. Burns, and R. Davis. Response-time analysis for mixed criticality systems. In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pages 34--43, 29 2011-dec. 2 2011.

Digital Library

[7]

Chuck Yoo and team. Real-Time and VMM - Real-Time Xen for Embedded Devices. http://www.xen.org/files/xensummit_oracle09/RealTime.pdf.

[8]

T. Cucinotta, G. Anastasi, and L. Abeni. Respecting temporal constraints in virtualised services. In Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International, volume 2, pages 73--78, july 2009.

Digital Library

[9]

T. Cucinotta, F. Checconi, G. Kousiouris, D. Kyriazis, T. Varvarigou, A. Mazzetti, Z. Zlatev, J. Papay, M. Boniface, S. Berger, D. Lamp, T. Voith, and M. Stein. Virtualised e-learning with real-time guarantees on the irmos platform. In Service-Oriented Computing and Applications (SOCA), 2010 IEEE International Conference on, pages 1--8, dec. 2010.

[10]

R. I. Davis and A. Burns. Hierarchical fixed priority pre-emptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium, pages 389--398, Washington, DC, USA, 2005. IEEE Computer Society.

Digital Library

[11]

X. Feng and A. Mok. A model of hierarchical real-time virtual resources. In Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pages 26-- 35, 2002.

Digital Library

[12]

T. Frenzel, A. Lackorzynski, A. Warg, and H. Härtig. ARM TrustZone as a Virtualization Technique in Embedded Systems. In Proceedings of Twelfth Real-Time Linux Workshop, Nairobi, Kenya, October 2010.

[13]

H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating System Principles (SOSP).

Digital Library

[14]

G. Heiser. The role of virtualization in embedded systems. In Proceedings of the 1st workshop on Isolation and integration in embedded systems, IIES '08, pages 11--16, New York, NY, USA, 2008. ACM.

Digital Library

[15]

G. Heiser. The Motorola Evoke QA4, A Case Study in Mobile Virtualization. OK-Labs Technology White Paper, 2009.

[16]

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, APSys '10, pages 19--24, New York, NY, USA, 2010. ACM.

Digital Library

[17]

Intel Corporation. Intel® 64 and IA-32 Architectures Software Developer's Manual, Volume 3, Chapter 24, December 2011.

[18]

R. Kaiser and S. Wagner. Evolution of the PikeOS Microkernel. In Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, pages 50--57, Sydney, Australia, January 2007.

[19]

T. Kerstan, D. Baldin, and S. Grösbrink. Full Virtualization of Real-Time Systems by Temporal Partitioning. In S. M. Petters and P. Zijlstra, editors, Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pages 24--32, 6 - 9 July 2010. in conjunction with the 22nd Euromicro Intl Conference on Real-Time Systems Brussels, Belgium, July 7-9, 2010.

[20]

Y. Kinebuchi, M. Sugaya, S. Oikawa, and T. Nakajima. Task grain scheduling for hypervisor-based embedded system. In Proceedings of the 2008 10th IEEE International Conference on High Performance Computing and Communications, pages 190--197, Washington, DC, USA, 2008. IEEE Computer Society.

Digital Library

[21]

J. Kiszka. Towards Linux as a Real-Time Hypervisor. In Proceedings of the Eleventh Real-Time Linux Workshop, Dresden, Germany, 2009.

[22]

J. Kiszka. KVM in Embedded: Requirements, Experiences and Open Challenges. In KVM Forum 2010, August 2010.

[23]

Kernel Based Virtual Machine for Linux. http://http://www.linux-kvm.org/.

[24]

J. Lange and P. Dinda. An Introduction to the Palacios Virtual Machine Monitor - Release 1.0. Technical Report NWU-EECS-08-11, Department of Electrical Engineering and Computer Science, Northwestern University.

[25]

A. Masrur, T. Pfeuffer, M. Geier, S. Drössler, and S. Chakraborty. Designing VM Schedulers for Embedded Real-Time Applications. In Proceedings of the 11th International Conference on Embedded Software, EMSOFT, 2011.

Digital Library

[26]

F. Mehnert, M. Hohmuth, and H. Härtig. Cost and benefit of separate address spaces in real-time operating systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS), pages 124--133, Austin, Texas, USA, Dec. 2002.

Digital Library

[27]

R. Mijat and A. Nightingale. Virtualization is Coming to a Platform Near You. ARM White Paper, 2010.

[28]

Open Kernel Labs. http://www.ok-labs.com/.

[29]

SYSGO PikeOS. http://www.sysgo.com/.

[30]

S. Saewong, R. Rajkumar, J. Lehoczky, and M. Klein. Analysis of Hierarchical Fixed-Priority Scheduling. In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS'02), pages 152--160, 2002.

Digital Library

[31]

Seehwan Yoo and Chuck Yoo. Real-time support for Xen. http://www.xen.org/files/xensummit_intel09/Real-timesupportforXen.pdf.

[32]

J. Son and J. Alves-Foss. Covert Timing Channel Analysis of Rate Monotonic Real-Time Scheduling Algorithm in MLS Systems. In 7th Annual IEEE Information Assurance Workshop, West Point, NY, USA, June 2006.

[33]

U. Steinberg and B. Kauer. NOVA: a microhypervisor-based secure virtualization architecture. In EuroSys '10: Proceedings of the 5th European conference on Computer systems, pages 209--222, New York, NY, USA, 2010. ACM.

Digital Library

[34]

Oracle Virtualbox. http://www.virtualbox.org/.

[35]

VirtualLogix. http://www.virtuallogix.com.

[36]

VMware vSphere Hypervisor™ (ESXi). http://www.vmware.com/products/vsphere-hypervisor/overview.html.

[37]

Xen ARM Project. http://wiki.xensource.com/xenwiki/XenARM.

[38]

S. Xi, J. Wilson, C. Lu, and C. Gill. RT-Xen: Towards Real-time Hierarchical Scheduling in Xen. In Proceedings of the 11th International Conference on Embedded Software, EMSOFT, Oct. 2011.

Digital Library

[39]

F. Zhang and A. Burns. Analysis of Hierarchical EDF Pre-emptive Scheduling. In Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International, pages 423--434, Dec. 2007.

Digital Library

[40]

B. Zuo, K. Chen, A. Liang, H. Guan, J. Zhang, R. Ma, and H. Yang. Performance Tuning Towards a KVM-Based Low Latency Virtualization System. In Information Engineering and Computer Science (ICIECS), 2010 2nd International Conference on, pages 1--4, Dec. 2010.

Cited By

Ding JChen MWang TZhou JFu XLi K(2023)A Survey of AI-enabled Dynamic Manufacturing Scheduling: From Directed Heuristics to Autonomous LearningACM Computing Surveys10.1145/359016355:14s(1-36)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1145/3590163
Courtaud CBrandenburg B(2023) G(IP) 2 C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS58335.2023.00029(276-288)Online publication date: May-2023
https://doi.org/10.1109/RTAS58335.2023.00029
Arafat AVaidhun SLiu LYang KGuo Z(2023)Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS58335.2023.00013(67-79)Online publication date: May-2023
https://doi.org/10.1109/RTAS58335.2023.00013
Show More Cited By

Index Terms

Flattening hierarchical scheduling
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems

Recommendations

Transparently bridging semantic gap in CPU management for virtualized environments

Consolidated environments are progressively accommodating diverse and unpredictable workloads in conjunction with virtual desktop infrastructure and cloud computing. Unpredictable workloads, however, aggravate the semantic gap between the virtual ...
Dynamic adaptive scheduling for virtual machines
HPDC '11: Proceedings of the 20th international symposium on High performance distributed computing

With multi-core processors becoming popular, exploiting their computational potential becomes an urgent matter. The functionality of multiple standalone computer systems can be aggregated into a single hardware computer by virtualization, giving ...
Optimizing soft real-time scheduling performance for virtual machines with SRT-Xen
CCGRID '15: Proceedings of the 15th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing

Multimedia applications are an important part of today's Internet. However, currently most virtualization solutions, including Xen, lack adequate support for soft real-time tasks. Soft real-time applications, e.g. media workloads, are impeded by ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software

October 2012

266 pages

ISBN:9781450314251

DOI:10.1145/2380356

General Chairs:
Ahmed Jerraya
CEA
,
Luca Carloni
Columbia University
,
Program Chairs:
Florence Maraninchi
Grenoble INP & VERIMAG
,
John Regehr
University of Utah

Copyright © 2012 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 ACM 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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK'12

Sponsor:

ESWEEK'12: Eighth Embedded System Week

October 7 - 12, 2012

Tampere, Finland

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
372
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)5

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ding JChen MWang TZhou JFu XLi K(2023)A Survey of AI-enabled Dynamic Manufacturing Scheduling: From Directed Heuristics to Autonomous LearningACM Computing Surveys10.1145/359016355:14s(1-36)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1145/3590163
Courtaud CBrandenburg B(2023) G(IP) 2 C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS58335.2023.00029(276-288)Online publication date: May-2023
https://doi.org/10.1109/RTAS58335.2023.00029
Arafat AVaidhun SLiu LYang KGuo Z(2023)Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS58335.2023.00013(67-79)Online publication date: May-2023
https://doi.org/10.1109/RTAS58335.2023.00013
Li ASudvarg MLiu HYu ZGill CZhang N(2022)PolyRhythm: Adaptive Tuning of a Multi-Channel Attack Template for Timing Interference2022 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS55097.2022.00028(225-239)Online publication date: Dec-2022
https://doi.org/10.1109/RTSS55097.2022.00028
Mergendahl SJero SWard BFurgala JParmer GSkowyra R(2022)The Thundering Herd: Amplifying Kernel Interference to Attack Response Times2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS54340.2022.00016(95-107)Online publication date: May-2022
https://doi.org/10.1109/RTAS54340.2022.00016
Wulf CCharaf NGohringer D(2022)Virtualization of Reconfigurable Mixed-Criticality Systems2022 32nd International Conference on Field-Programmable Logic and Applications (FPL)10.1109/FPL57034.2022.00020(54-60)Online publication date: Aug-2022
https://doi.org/10.1109/FPL57034.2022.00020
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
Gu JWu XLi WLiu NMi ZXia YChen HGavrilovska AZadok E(2020)Harmonizing performance and isolation in microkernels with efficient intra-kernel isolation and communicationProceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference10.5555/3489146.3489173(401-417)Online publication date: 15-Jul-2020
https://dl.acm.org/doi/10.5555/3489146.3489173
Gadepalli PPan RParmer G(2020) Slite: OS Support for Near Zero-Cost, Configurable Scheduling * 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS48715.2020.000-9(160-173)Online publication date: Apr-2020
https://doi.org/10.1109/RTAS48715.2020.000-9
Ahmad SMalik SPark DKim D(2019)Design of Lightweight Driver-Assistance System for Safe Driving in Electric VehiclesSensors10.3390/s1921476119:21(4761)Online publication date: 2-Nov-2019
https://doi.org/10.3390/s19214761
Show More Cited By

View Options

Get Access

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.

Media

Figures

Other

Tables

View Table of Contents