skip to main content
research-article

Implementation of compositional scheduling framework on virtualization

Published:01 March 2011Publication History
Skip Abstract Section

Abstract

Virtualization has been receiving increasing attention in embedded real-time systems. However, real-time systems, whose correctness depends on timing requirements, are not easily applicable to virtualization since virtualization mainly focuses on functional correctness. A hierarchical scheduling framework (HSF) provides a method of composing the complex timing requirements of real-time systems. There have been several works on the implementation of the HSF. Although the scheduling framework of virtualization directly corresponds to the HSF, they did not consider implementing the HSF on virtualization. In this paper, we implement a two-level HSF, where components use a periodic interface model using virtualization. We use an L4/Fiasco micro-kernel as a virtual machine monitor (VMM) and an L4Linux as a virtual machine (VM) and extend these to support real-time properties. The experimental results show that the HSF is suitable for the virtualization environment.

References

  1. G. Heiser, "The role of virtualization in embedded systems," in Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, April 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. I. Shin and I. Lee, "Periodic resource model for compositional real-time guarantees," in Proceedings of the 24th IEEE Real-Time System Symposium, December 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. I. Shin and I. Lee, "Compositional real-time scheduling framework," in Proceedings of the 25th IEEE Real-Time System Symposium, December 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. L. Almeida and P. Pedreiras, "Scheduling within temporal partitions: response-time analysis and server design," in Proceedings of the 4th ACM International Conference on Embedded Software, September 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. R. Davis and A. Burns, "Hierarchical fixed priority preemptive scheduling," in Proceedings of the 26th IEEE Real-Time System Symposium, December 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Z. Deng and J. Liu, "Scheduling real-time applications in an open environment," in Proceedings of the 18th IEEE Real-Time System Symposium, December 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. X. Feng and A. Mok, "A model of hierarchical real-time virtual resources," in Proceedings of the 23rd IEEE Real-Time System Symposium, December 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. T.-W. Kuo and C.-H. Li, "A fixed-priority-driven open environment for real-time applications," in Proceedings of the 20th IEEE Real-Time System Symposium, December 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. G. Lipari and S. Baruah, "Efficient scheduling of real-time multi-task applications in dynamic systems," in Proceedings of the 6th IEEE Real-Time Technology and Applications Symposium, May 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. G. Lipari and E. Bini, "Resource partitioning among real-time applications," in Proceedings of the 15th Euromicro Conference on Real-Time Systems, July 2003.Google ScholarGoogle Scholar
  11. S. Matic and T. Henzinger, "Trading end-to-end latency for composability," in Proceedings of the 26th IEEE Real-Time System Symposium, December 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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, June 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. M. Behnam, T. Nolte, I. Shin, M. Åsberg, and R. Bril, "Towards hierarchical scheduling on top of vxworks," in Proceedings of the 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, December 2008.Google ScholarGoogle Scholar
  14. M. M. H. P., van den Heuvel, R. J. Bril, J. J. Likkien, and M. Behnam, "Extending a hsf-enabled open-source real-time operating system with resource sharing," in Proceedings of the 6th International Workshop on Operating System Platforms for Embedded Real-Time Applications, July 2010.Google ScholarGoogle Scholar
  15. U. Steinberg, "Quality-assuring scheduling in the fiasco microkernel," Master's thesis, Dresden University of Technology, March 2004.Google ScholarGoogle Scholar

Index Terms

  1. Implementation of compositional scheduling framework on virtualization

              Recommendations

              Comments

              Login options

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

              Sign in

              Full Access

              • Published in

                cover image ACM SIGBED Review
                ACM SIGBED Review  Volume 8, Issue 1
                March 2011
                67 pages
                EISSN:1551-3688
                DOI:10.1145/1967021
                Issue’s Table of Contents

                Copyright © 2011 Copyright is held by the owner/author(s)

                Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 March 2011

                Check for updates

                Qualifiers

                • research-article

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader