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.
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- American Society of Heating, Refrigeration, and Air-Conditioning Engineers (ASHRAE). 2012. Thermal Guidelines for Data Processing Environments. ASHRAE Datacom Series.Google Scholar
- 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 Scholar
- S. Baruah, M. Bertogna, and G. Butazzo. 2015. Multiprocessor Scheduling for Real-Time Systems. Springer-Verlag New York, Inc., Secaucus, NJ. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Sanjoy K. Baruah, Johannes E. Gehrke, and C. Greg Plaxton. 1995. Fast scheduling of periodic tasks on multiple resources. In IPPS. IEEE, 280. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- Enrico Bini and Giorgio C. Buttazzo. 2005. Measuring the performance of schedulability tests. Real-Time Systems 30, 1--2 (2005), 129--154. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- R. David and H. Alla. 2005. In Discrete, Continuous, and Hybrid Petri Nets, Vol. 1. Springer. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Hassan K. Khalil and J. W. Grizzle. 1996. Nonlinear Systems. Vol. 3. Prentice Hall, New Jersey.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Vadim Utkin, Jürgen Guldner, and Jingxin Shi. 2009. Sliding Mode Control in Electro-mechanical Systems. Vol. 34. CRC Press.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets
Recommendations
Expressiveness of Petri Nets with Stopwatches. Dense-time Part
With this contribution, we aim to draw a comprehensive classification of Petri nets with stopwatches w.r.t. expressiveness and decidability issues. This topic is too ambitious to be summarized in a single paper. That is why we present our results in two ...
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
This paper presents a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques for reducing the state-explosion problem of Petri nets. ...
Expressiveness of Petri Nets with Stopwatches. Dense-time Part
With this contribution, we aim to draw a comprehensive classification of Petri nets with stopwatches w.r.t. expressiveness and decidability issues. This topic is too ambitious to be summarized in a single paper. That is why we present our results in two ...






Comments