[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3461648.3463854acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

ARINC 653-inspired regularity-based resource partitioning on xen

Published: 22 June 2021 Publication History

Abstract

A multitude of cloud-native applications take up a significant share of today's world wide web, the majority of which implicitly require soft-real-time guarantees when hosted on servers at various data centers across the globe. With the rapid development of cloud computing and virtualization techniques, many applications have been moved onto cloud and edge platforms that require efficient virtualization techniques. This means a set of applications must be executed on a Virtual Machine (VM) and multiple VMs must be temporally and spatially scheduled on a set of CPUs. Designed to leverage the cloud infrastructure model, many of these cloud-native applications such as media servers strongly demand low data latency and high compute-resource availability, both of which must be predictable. However, state-of-art VM schedulers fail to satisfy these requirements simultaneously. The scheduling of cloud-native applications on VMs and the scheduling of VMs on physical resources (CPUs), collectively need to be real-time in nature as specified by the Hierarchical Real-Time Scheduling (HiRTS) framework. Conforming to the specifications of this framework, the Regularity-based Resource Partitioning (RRP) model has been proposed that introduces the concept of regularity to provide a near-ideal resource supply to all VMs. In this paper, we make the theoretically superior Regularity-based Resource Partitioning (RRP) model ready for prime time by implementing its associated resource partitioning algorithms for the first time ever on the popular x-86 open-source hypervisor Xen, i.e., RRP-Xen. This paper also compares and contrasts the real-time performance of RRP-Xen against contemporary Xen schedulers such as Credit and RTDS. Our contributions include: (1) a novel implementation of the RRP model on Xen's x-86 based hypervisor, thereby providing a test-bed for future researchers; (2) the first-ever multi-core ARINC 653 VM scheduler prototype on Xen; and (3) numerous experiments and theoretical analysis to determine the real-time performance of RRP-Xen under a stringent workload environment.

References

[1]
[n.d.]. wrk2: A constant throughput, correct latency recording variant of wrk. EB/OL. https://doi.org/10.5281/zenodo.4796378
[2]
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. 2003. Xen and the art of virtualization. In ACM SIGOPS operating systems review. 37, 164–177. https://doi.org/10.1145/1165389.945462
[3]
Allan Borodin, Denis Pankratov, and Amirali Salehi-Abari. 2018. A Simple PTAS for the Dual Bin Packing Problem and Advice Complexity of Its Online Version. In 1st Symposium on Simplicity in Algorithms (SOSA 2018), Raimund Seidel (Ed.) (OpenAccess Series in Informatics (OASIcs), Vol. 61). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. 8:1–8:12. isbn:978-3-95977-064-4 issn:2190-6807 https://doi.org/10.4230/OASIcs.SOSA.2018.8
[4]
John M. Calandrino, Hennadiy Leontyev, Aaron Block, UmaMaheswari C. Devi, and James H. Anderson. 2006. LITMUS\^ RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers. In 2006 27th IEEE International Real-Time Systems Symposium (RTSS’06). 111–126. https://doi.org/10.1109/RTSS.2006.27
[5]
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K Mok, and Song Han. 2019. Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems. In 2019 IEEE Real-Time Systems Symposium (RTSS). 495–507. https://doi.org/10.1007/s11241-021-09364-5
[6]
Albert M. K. Cheng, Guangli Dai, Pavan Kumar Paluri, Mansoor Ansari, Darrel Knape, and Yu Li. 2019. Fault-Tolerant Regularity-Based Real-Time Virtual Resources. In 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). 1–12. https://doi.org/10.1109/RTCSA.2019.8864575
[7]
Hyunsik Choi, Saeyoung Han, Sungyong Park, and Eunji Yang. 2009. A CPU provision scheme considering virtual machine scheduling delays in Xen virtualized environment. In TENCON 2009 - 2009 IEEE Region 10 Conference. 1–6. https://doi.org/10.1109/TENCON.2009.5396059
[8]
Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng. 2018. RRP Edge Computing System. In International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems. TN, USA. https://doi.org/10.5281/zenodo.4794272
[9]
Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng. 2018. Task Mapping in a Regularity-based Resource Partitioning Hierarchical Real-Time System. In Work-in-Progress Proceedings of 30th Euromicro Conference on Real-Time Systems. Barcelona, Spain. https://doi.org/10.5281/zenodo.4794478
[10]
Arvind Easwaran, Madhukar Anand, and Insup Lee. 2007. Compositional Analysis Framework Using EDP Resource Models. In Proceedings of the 28th IEEE International Real-Time Systems Symposium. USA. 129–138. isbn:0769530621 https://doi.org/10.1109/RTSS.2007.17
[11]
Yu Li and Albert M. K. Cheng. 2012. Static Approximation Algorithms for Regularity-based Resource Partitioning. In 2012 IEEE 33rd Real-Time Systems Symposium. 137–148. https://doi.org/10.1109/RTSS.2012.66
[12]
Yu Li and Albert Mo Kim Cheng. 2016. Transparent Real-Time Task Scheduling on Temporal Resource Partitions. IEEE Trans. Comput., 65, 5 (2016), 1646–1655. https://doi.org/10.1109/TC.2015.2449857
[13]
Yu Li and Albert M. K. Cheng. 2017. Toward a Practical Regularity-Based Model: The Impact of Evenly Distributed Temporal Resource Partitions. ACM Trans. Embed. Comput. Syst., 16, 4 (2017), Article 111, Aug., 25 pages. issn:1539-9087 https://doi.org/10.1145/3092945
[14]
Tiago Macedo and Fred Oliveira. 2011. Redis Cookbook: Practical Techniques for Fast Data Manipulation. " O’Reilly Media, Inc.". isbn:9781449305048 isbn:9781449305048.
[15]
A.K. Mok and Xiang Alex. 2001. Towards compositionality in real-time resource partitioning based on regularity bounds. In Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420). 129–138. https://doi.org/10.1109/REAL.2001.990604
[16]
Will Reese. 2008. Nginx: the high-performance web server and reverse proxy. Linux Journal, 2008, 173 (2008), 2. https://web.archive.org/web/20210116123712/https://www.linuxjournal.com/article/10108
[17]
Insik Shin and Insup Lee. 2003. Periodic resource model for compositional real-time guarantees. In RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003. 2–13. https://doi.org/10.1109/REAL.2003.1253249
[18]
Rahul Soni. 2016. Nginx. Springer. https://doi.org/10.1007/978-1-4842-1656-9
[19]
Salvador Trujillo, Alfons Crespo, and Alejandro Alonso. 2013. MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. In 2013 Euromicro Conference on Digital System Design. 260–265. https://doi.org/10.1109/DSD.2013.37
[20]
Steven H. VanderLeest. 2010. ARINC 653 hypervisor. In 29th Digital Avionics Systems Conference. 5.E.2–1–5.E.2–20. https://doi.org/10.1109/DASC.2010.5655298
[21]
Manohar Vanga, Arpan Gujarati, and Björn B. Brandenburg. 2018. Tableau: A High-Throughput and Predictable VM Scheduler for High-Density Workloads. In Proceedings of the Thirteenth EuroSys Conference (EuroSys ’18). Association for Computing Machinery, New York, NY, USA. Article 28, 16 pages. isbn:9781450355841 https://doi.org/10.1145/3190508.3190557
[22]
Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, and Christopher Gill. 2013. Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. In 2013 IEEE 34th Real-Time Systems Symposium. 1–10. https://doi.org/10.1109/RTSS.2013.9

Cited By

View all
  • (2023)Regular Composite Resource Partitioning and Reconfiguration in Open SystemsACM Transactions on Embedded Computing Systems10.1145/360942422:5(1-29)Online publication date: 26-Sep-2023
  • (2022)Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded SystemsIEEE Transactions on Computers10.1109/TC.2021.313801971:10(2592-2605)Online publication date: 1-Oct-2022
  • (2022)Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasksReal-Time Systems10.1007/s11241-022-09391-w58:4(401-429)Online publication date: 1-Dec-2022
  • Show More Cited By

Index Terms

  1. ARINC 653-inspired regularity-based resource partitioning on xen

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    LCTES 2021: Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
    June 2021
    162 pages
    ISBN:9781450384728
    DOI:10.1145/3461648
    • General Chair:
    • Jörg Henkel,
    • Program Chair:
    • Xu Liu
    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: 22 June 2021

    Permissions

    Request permissions for this article.

    Check for updates

    Badges

    Author Tags

    1. ARINC 653
    2. Operating Systems
    3. Real-Time
    4. Virtualization

    Qualifiers

    • Research-article

    Conference

    LCTES '21
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 116 of 438 submissions, 26%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)13
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 07 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)Regular Composite Resource Partitioning and Reconfiguration in Open SystemsACM Transactions on Embedded Computing Systems10.1145/360942422:5(1-29)Online publication date: 26-Sep-2023
    • (2022)Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded SystemsIEEE Transactions on Computers10.1109/TC.2021.313801971:10(2592-2605)Online publication date: 1-Oct-2022
    • (2022)Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasksReal-Time Systems10.1007/s11241-022-09391-w58:4(401-429)Online publication date: 1-Dec-2022
    • (2021)Real-Time COVID-19 Infection Risk Assessment and Mitigation based on Public-Domain Data2021 IEEE/ACM HPC for Urgent Decision Making (UrgentHPC)10.1109/UrgentHPC54802.2021.00009(29-35)Online publication date: Nov-2021

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media