skip to main content
research-article

Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets

Authors Info & Claims
Published:02 July 2019Publication History
Skip Abstract Section

Abstract

We present a thermal-aware, hard real-time (HRT) global scheduler for a multiprocessor system designed upon three novel techinques. First, we present a modeling methodology based on Timed Continuous Petri nets (TCPN) that yields a complete state variable model, including job arrivals, CPU usage, power, and thermal behavior. The model is accurate and avoids the calibration stage of RC thermal models. Second, based on this model, a linear programming problem (LPP) determines the existence of a feasible HRT thermal-aware schedule. Last, a sliding-mode controller and an online discretization algorithm implement the global HRT scheduler, which is capable of managing thermal constraints, context switching, migrations, and disturbances.

References

  1. Rehan Ahmed, Parameswaran Ramanathan, and Kewal K. Saluja. 2016. Necessary and sufficient conditions for thermal schedulability of periodic real-time tasks under fluid scheduling model. ACM Trans. Embedded Comput. Syst. (TECS) 15, 3 (2016), 49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. James H. Anderson and Anand Srinivasan. 2001. Mixed Pfair/ERfair scheduling of asynchronous periodic tasks. In 13th Euromicro Conference on Real-Time Systems, 2001. IEEE, 76--85. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. American Society of Heating, Refrigeration, and Air-Conditioning Engineers (ASHRAE). 2012. Thermal Guidelines for Data Processing Environments. ASHRAE Datacom Series.Google ScholarGoogle Scholar
  4. Theodore P. Baker. 2005. A comparison of global and partitioned EDF schedulability tests for multiprocessors. In International Conf. on Real-Time and Network Systems. Citeseer.Google ScholarGoogle Scholar
  5. S. Baruah, M. Bertogna, and G. Butazzo. 2015. Multiprocessor Scheduling for Real-Time Systems. Springer-Verlag New York, Inc., Secaucus, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Sanjoy K. Baruah, Neil K. Cohen, C. Greg Plaxton, and Donald A. Varvel. 1996. Proportionate progress: A notion of fairness in resource allocation. Algorithmica 15, 6 (1996), 600--625. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Sanjoy K. Baruah, Johannes E. Gehrke, and C. Greg Plaxton. 1995. Fast scheduling of periodic tasks on multiple resources. In IPPS. IEEE, 280. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Mulugeta K. Berhe. 2007. Ergonomic temperature limits for handheld electronic devices. In ASME 2007 InterPACK Conference Collocated with the ASME/JSME 2007 Thermal Engineering Heat Transfer Summer Conference. ASME.Google ScholarGoogle ScholarCross RefCross Ref
  9. Enrico Bini and Giorgio C. Buttazzo. 2005. Measuring the performance of schedulability tests. Real-Time Systems 30, 1--2 (2005), 129--154. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2017. Semi-partitioned scheduling of dynamic real-time workload: A practical approach based on analysis-driven load balancing. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Marko Bertogna (Ed.), Vol. 76. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 13:1--13:23.Google ScholarGoogle Scholar
  11. Abhishek Chandra, Micah Adler, and Prashant Shenoy. 2001. Deadline fair scheduling: Bridging the theory and practice of proportionate pair scheduling in multiprocessor systems. In Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium, 2001. IEEE, 3--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Thidapat Chantem, X. Sharon Hu, and Robert P. Dick. 2011. Temperature-aware scheduling and assignment for hard real-time applications on MPSoCs. IEEE Trans. Very Large Scale Integr. VLSI Syst. 19, 10 (Oct. 2011), 1884--1897. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. R. David and H. Alla. 2005. In Discrete, Continuous, and Hybrid Petri Nets, Vol. 1. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Robert I. Davis and Alan Burns. 2011. A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43, 4 (2011), 35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. G. Desirena, L. Rubio, A. Ramirez, and J. L. Briz. 2019. Thermal-Aware HRT Scheduling simulation framework. Retrieved from https://www.gdl.cinvestav.mx/art/uploads/TCPN-Thermal-Aware_Real-Time_Scheduling.zip.Google ScholarGoogle Scholar
  16. Gaddiel Desirena-Lopez, José Luis Briz, Carlos Renato Vázquez, Antonio Ramírez-Treviño, and David Gómez-Gutiérrez. 2016. On-line scheduling in multiprocessor systems based on continuous control using timed continuous petri nets. In 13th International Workshop on Discrete Event Systems. 278--283.Google ScholarGoogle ScholarCross RefCross Ref
  17. Gaddiel Desirena-Lopez, Carlos Renato Vázquez, Antonio Ramírez-Treviño, and David Gómez-Gutiérrez. 2014. Thermal modelling for temperature control in MPSoC’s using fluid petri nets. In IEEE Conference on Control Applications Part of Multi-conference on Systems and Control.Google ScholarGoogle Scholar
  18. James Donald and Margaret Martonosi. 2006. Techniques for multicore thermal management: Classification and new exploration. In ACM SIGARCH Computer Architecture News, Vol. 34. IEEE Computer Society, 78--88. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Xing Fu, Xiaorui Wang, and Eric Puster. 2009. Dynamic thermal and timeliness guarantees for distributed real-time embedded systems. In 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, 403--412. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Yong Fu, Nicholas Kottenstette, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos, and Hongan Wang. 2010. Feedback thermal control for real-time systems. In 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE, 111--120. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Yong Fu, Nicholas Kottenstette, Chenyang Lu, and Xenofon D. Koutsoukos. 2012. Feedback thermal control of real-time systems on multicore processors. In Proceedings of the 10th ACM International Conference on Embedded Software. ACM, 113--122. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Hassan K. Khalil and J. W. Grizzle. 1996. Nonlinear Systems. Vol. 3. Prentice Hall, New Jersey.Google ScholarGoogle Scholar
  23. Joonho Kong, Sung Woo Chung, and Kevin Skadron. 2014. Recent thermal management techniques for microprocessors. Comput. Surv. 44, 3 (2014), 13:1--13:42. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Chung Laung Liu and James W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. JACM 20, 1 (1973), 46--61. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Yongpan Liu, Robert P. Dick, Li Shang, and Huazhong Yang. 2007. Accurate temperature-dependent integrated circuit leakage power estimation is easy. In Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 1526--1531. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Srinivasan Murali, Almir Mutapcic, David Atienza, Rajesh Gupta, Stephen Boyd, Luca Benini, and Giovanni De Micheli. 2008. Temperature control of high-performance multi-core platforms using convex optimization. In Design, Automation and Test in Europe. 110--115. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Geoffrey Nelissen, Vandy Berten, Jöel Goossens, and Dragomir Milojevic. 2011. Reducing preemptions and migrations in real-time multiprocessor scheduling algorithms by releasing the fairness. 1 (Aug. 2011), 15--24. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Bing Shi, Yufu Zhang, and Ankur Srivastava. 2010. Dynamic thermal management for single and multicore processors under soft thermal constraints. In Proceedings of the 16th ACM/IEEE International Symposium on Low Power Electronics and Design. ACM, 165--170. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Manuel Silva, Jorge Júlvez, Cristian Mahulea, and Carlos Renato Vázquez. 2011. On fluidization of discrete event models: Observation and control of continuous Petri nets. Discrete Event Dyn. Syst. 21, 4 (2011), 427--497. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Kevin Skadron, Mircea Stan, and Wei Huang. 2010. Thermal modeling for processors and systems-on-chip. In Processor and System-on-Chip Simulation. Springer, 243--257.Google ScholarGoogle Scholar
  31. Vadim Utkin, Jürgen Guldner, and Jingxin Shi. 2009. Sliding Mode Control in Electro-mechanical Systems. Vol. 34. CRC Press.Google ScholarGoogle Scholar
  32. Carlos Renato Vázquez, Antonio Ramírez, and Manuel Silva. 2014. Controllability of timed continuous petri nets with uncontrollable transitions. Internat. J. Control 87, 3 (2014), 537--552.Google ScholarGoogle ScholarCross RefCross Ref
  33. Francesco Zanini, David Atienza, and Giovanni De Micheli. 2009. A control theory approach for thermal balancing of MPSoC. In 2009 Asia and South Pacific Design Automation Conference. IEEE, 37--42. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Dakai Zhu, Daniel Mossé, and Rami Melhem. 2003. Multiple-resource periodic scheduling problem: How much fairness is necessary? In 24th IEEE Real-Time Systems Symposium, RTSS 2003. IEEE, 142--151. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets

      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

      HTML Format

      View this article in HTML Format .

      View HTML Format
      About Cookies On This Site

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

      Learn more

      Got it!