skip to main content
research-article

Tractable schedulability analysis and resource allocation for real-time multimodal systems

Published:27 January 2014Publication History
Skip Abstract Section

Abstract

Real-time multimedia subsystems often require support for switching between different resource and application execution modes. To ensure that timing constraints are not violated during or after a subsystem mode change, real-time schedulability analysis is required. However, existing time-efficient multimode schedulability analysis techniques for application-only mode changes are not appropriate for subsystems that require changes in the resource execution behavior (e.g., processors with dynamic power modes). Furthermore, all existing multimode schedulability analysis that handles both resource and application mode changes is highly exponential and not scalable for subsystems with a moderate or large number of modes. As a result, the notion of resource optimality is still unaddressed for real-time multimodal systems. In this report, we first address the lack of tractable schedulability analysis for such subsystems by proposing a model for characterizing multiple resource and application modes and by deriving a sufficient schedulability test that has pseudo-polynomial time complexity. Finally, we propose an algorithm which leverages this pseudo-polynomial schedulability analysis to optimize the resource usages (e.g., to minimize peak-power load) of a multimodal real-time system. Simulation results show that our proposed algorithms for schedulability analysis and resource allocation, when compared with previously-proposed approaches, require significantly less time and are just as precise.

References

  1. Luca Abeni and Giorgio Buttazzo. 1998. Integrating multimedia applications in hard real-time systems. In Proceedings of the Real-Time Systems Symposium. IEEE Computer Society Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Masud Ahmed, Nathan Fisher, and Daniel Grosu. 2012. A parallel algorithm for EDF-schedulability analysis of multi-modal real time systems. In Proceedings of the 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Masud Ahmed, Nathan Fisher, Shengquan Wang, and Pradeep Hettiarachchi. 2011. Minimizing peak temperature in embedded real-time systems via thermal-aware periodic resources. Sustain. Comput. Inform. Syst. 1, 3, 226--240.Google ScholarGoogle ScholarCross RefCross Ref
  4. S. Baruah, R. Howell, and L. Rosier. 1990a. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Syst. Int. J. Time-Critical Comput. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Baruah, A. Mok, and L. Rosier. 1990b. Preemptively scheduling hard-real-time sporadic tasks on one processor. In Proceedings of the 11th Real-Time Systems Symposium.Google ScholarGoogle Scholar
  6. S. Baruah, R. Howell, and L. Rosier. 1993. Feasibility problems for recurring tasks on one processor. Theor. Comput. Sci. 1. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. S. Brandt, S. Banachowski, C. Lin, and T. Bisson. 2003. Dynamic integrated scheduling of hard real-time, soft real-time and non-real-time processes. In Proceedings of the 24th IEEE Real-Time Systems Symposium. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Giorigo Buttazzo and Luca Abeni. 2000. Adaptive rate control through elastic scheduling. In Proceedings of the 24th IEEE Conference on Decision and Control.Google ScholarGoogle ScholarCross RefCross Ref
  9. Arvind Easwaran, Madhukar Anand, and Insup Lee. 2007. Compositional analysis framework using EDP resource models. In Proceedings of the IEEE Real-Time Systems Symposium. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Nathan Fisher and Masud Ahmed. 2011. Tractable Real-Time Schedulability Analysis for Resource and Application Mode Changes under Temporal Isolation (Extended Version). Technical Report. Wayne State University. http://www.cs.wayne.edu/∼fishern/papers/MC-tech-report.pdf.Google ScholarGoogle Scholar
  11. Pradeep Hettiarachchi, Nathan Fisher, Masud Ahmed, Le Yi Wang, Shinan Wang, and Weisong Shi. 2012. The design and analysis of thermal-resilient hard-real-time systems. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Jinhwan Kim, Inhwan Jung, and Bonggyou Lee. 2002. A scheduling technique based on the variable bandwidth server for multimedia systems. In Proceedings of the IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering.Google ScholarGoogle Scholar
  13. C. Liu and J. Layland. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 1 (1973). Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. A. K. Mok. 1983. Fundamental design problems of distributed systems for the hard-real-time environment. Ph. D. dissertation. Laboratory for Computer Science, MIT.Google ScholarGoogle Scholar
  15. Vincent Nelis and Joel Goossens. 2009. Mode change protocol for multi-mode real-time systems upon identical multiprocessors. In Proceedings of the Euromicro Conference on Real-Time Systems.Google ScholarGoogle Scholar
  16. Vincent Nelis, Joel Goossens, and Bjorn Andersson. 2008. Two protocols for scheduling multi-mode real-time systems upon identical multiprocessor platforms. In Proceedings of the Euromicro Conference on Real-Time Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. P. Pedro and A. Burns. 1998. Schedulability analysis for mode changes in flexible real-time systems. In Proceedings of the 10th Euromicro Workshop on Real-Time Systems. DOI: http://dx.doi.org/10.1109/EMWRTS.1998.685082.Google ScholarGoogle Scholar
  18. L. T. X. Phan, S. Chakraborty, and I. Lee. 2009. Timing analysis of mixed time/event-triggered multi-mode systems. In Proceedings of the IEEE Real-Time Systems Symposium. DOI: http://dx.doi.org/10.1109/RTSS.2009.24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. L. T. X. Phan, Insup Lee, and O. Sokolsky. 2010. Compositional analysis of multi-mode systems. In Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS). DOI: http://dx.doi.org/10.1109/ECRTS.2010.35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Guangming Qian. 2009. An earlier time for inserting and/or accelerating tasks. Real-Time Syst. 41, 3, 181--194. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Jorge Real and Alfons Crespo. 2004. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Syst. 26, 2 (2004), 161--197. http://portal.acm.org/citation.cfm?id=969960.969963. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Luca Santinelli, Giorgio Buttazzo, and Enrico Bini. 2011. Multi-moded resource reservations. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). DOI: http://dx.doi.org/10.1109/RTAS.2011.12. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Lui Sha, Ragunathan Rajkumar, John Lehoczky, and Krithi Ramamritham. 1988. Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. 1, 3 (1988), 243--264.Google ScholarGoogle ScholarCross RefCross Ref
  24. Insik Shin and Insup Lee. 2008. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 3, 30--69. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. B. Sprunt, L. Sha, and J. P. Lehoczky. 1989. Aperiodic task scheduling for hard real-time systems. Real-Time Syst. 1, 1, 27--69.Google ScholarGoogle ScholarCross RefCross Ref
  26. Nikolay Stoimenov, Simon Perathoner, and Lothar Thiele. 2009. Reliable mode changes in real-time systems with fixed priority or EDF scheduling. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE). 6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, and Giorgio Buttazzo. 2010. Resource adaptations with servers for hard real-time systems. In Proceedings of the 10th ACM International Conference on Embedded Software. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. K. W. Tindell, A. Burns, and A. J. Wellings. 1992. Mode changes in priority preemptively scheduled systems. In Proceedings of the IEEE Real-Time Systems Symposium. DOI: http://dx.doi.org/10.1109/REAL.1992.242672.Google ScholarGoogle ScholarCross RefCross Ref
  29. K. W. Tindell and A. Alonso. 1996. A very simple protocol for mode changes in priority preemptive systems. Tech. rep., Universidad Politecnica de Madrid.Google ScholarGoogle Scholar

Index Terms

  1. Tractable schedulability analysis and resource allocation for real-time multimodal systems

        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

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!