skip to main content
research-article

Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks Under Fluid Scheduling Model

Authors Info & Claims
Published:23 May 2016Publication History
Skip Abstract Section

Abstract

With the growing need to address the thermal issues in modern processing platforms, various performance throttling schemes have been proposed in literature (DVFS, clock gating, and so on) to manage temperature. In real-time systems, such methods are often unacceptable, as they can result in potentially catastrophic deadline misses. As a result, real-time scheduling research has recently focused on developing algorithms that meet the compute deadline while satisfying power and thermal constraints. Basic bounds that can determine if a set of tasks can be scheduled or not were established in the 1970s based on computation utilization. Similar results for thermal bounds have not been forthcoming. In this article, we address the problem of thermal constraint schedulability of tasks and derive necessary and sufficient conditions for thermal feasibility of periodic tasksets on a unicore system. We prove that a GPS-inspired fluid scheduling scheme is thermally optimal when context switch/preemption overhead is ignored. Extension of sufficient conditions to a nonfluid model is still an open problem. We also extend some of the results to a multicore processing environment. We demonstrate the efficacy of our results through extensive simulations. We also evaluate the proposed concepts on a hardware testbed.

References

  1. Rehan Ahmed, Parameshwaran Ramanathan, and Kewal K. Saluja. 2013a. On thermal utilization of periodic task sets in uni-processor systems. In RTCSA 2013. IEEE.Google ScholarGoogle Scholar
  2. R. Ahmed, P. Ramanathan, and K. K. Saluja. 2014. Necessary and sufficient conditions for thermal schedulability of periodic real-time tasks. In Proceedings of the Euromicro Conference on Real-Time Systems. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. R. Ahmed, P. Ramanathan, K. K. Saluja, and C. Yao. 2013b. On thermal utilization of periodic task sets in uni-processor systems. In Proceedings of Real-Time Computing Systems and Applications.Google ScholarGoogle Scholar
  4. Rehan Ahmed, Parameshwaram Ramanathan, Kewal K. Saluja, and Chunhua Yao. 2013c. Scheduling aperiodic tasks in next generation embedded real-time systems. International Conference on VLSI Design 0, 25--30. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Youngwoo Ahn and Riccardo Bettati. 2008. Transient overclocking for aperiodic task execution in hard real-time systems. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE Computer Society, Los Alamitos, CA, 102--111. DOI:http://dx.doi.org/10.1109/ECRTS.2008.32 Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Hakan Aydin, Vinay Devadas, and Dakai Zhu. 2006. System-level energy management for periodic real-time tasks. In Proceedings of the Real-Time Systems Symposium. Washington, DC, 313--322. DOI:http://dx.doi.org/10.1109/RTSS.2006.48 Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. H. Aydin, R. Melhem, D. Mosse, and P. Mejia-Alvarez. 2001. Dynamic and aggressive scheduling techniques for power-aware real-time systems. In Proceedings of the Real-Time Systems Symposium. 95--105. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. S. K. Baruah, N. K. Cohen, C. G. Plaxton, and D. A. Varvel. 1996. Proportionate progress: A notion of fairness in resource allocation. Algorithmica 15, 600--625.Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. J. C. R. Bennett and H. Zhang. 1996. WF2Q: Worst-case fair weighted fair queueing. In Proceedings of INFOCOM, Vol. 1. 120--128. DOI:http://dx.doi.org/10.1109/INFCOM.1996.497885 Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Enrico Bini and Giorgio C. Buttazzo. 2005. Measuring the performance of schedulability tests. Real-Time Systems 30, 1--2, 129--154. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. T. Chantem, X. S. Hu, and R. P. Dick. 2011. Temperature-aware scheduling and assignment for hard real-time applications on MPSoCs. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 19, 10, 1884 --1897. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Vivek Chaturvedi, Huang Huang, and Gang Quan. 2010. Leakage aware scheduling on maximum temperature minimization for periodic hard real-time systems. In IEEE 10th International Conference on Computer and Information Technology (CIT’10). IEEE, 1802--1809. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. J. J. Chen, C. M. Hung, and T. W. Kuo. 2007. On the minimization of the instantaneous temperature for periodic real-time tasks. In 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS’07). 236--248. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Jian-Jia Chen, S. Wang, and L. Thiele. 2009. Proactive speed scheduling for real-time tasks under thermal constraints. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 141--150. DOI:http://dx.doi.org/10.1109/RTAS.2009.30 Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Robert I. Davis and Alan Burns. 2011. A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Surveys 43, 4. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Paul Emberson, Roger Stafford, and Robert I. Davis. 2010. Techniques for the synthesis of multiprocessor tasksets. In 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS’10). 6--11.Google ScholarGoogle Scholar
  17. N. Fisher, Jian-Jia Chen, Shengquan Wang, and L. Thiele. 2009. Thermal-aware global real-time scheduling on multicore systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 131--140. DOI:http://dx.doi.org/10.1109/RTAS.2009.34 Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Y. Fu, N. Kottenstette, Y. Chen, C. Lu, X. D. Koutsoukos, and H. Wang. 2010. Feedback thermal control for real-time systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. IEEE, 111--120. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. P. M. Hettiarachchi, N. Fisher, M. 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 Real-Time and Embedded Technology and Applications Symposium. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. P. M. Hettiarachchi, N. Fisher, and L. Y. Wang. 2013. Achieving thermal-resiliency for multicore hard-real-time systems. In Proceedings of the Euromicro Conference on Real-Time Systems. 37--46. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. W. Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron, and M. R. Stan. 2006. HotSpot: A compact thermal modeling methodology for early-stage VLSI design. IEEE Transactions on Very Large Scale Integration Systems 14, 5, 501. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Chia-Mei Hung, Jian-Jia Chen, and Tei-Wei Kuo. 2006. Energy-efficient real-time task scheduling for a DVS system with a non-DVS processing element. In Proceedings of the Real-Time Systems Symposium. IEEE Computer Society, Los Alamitos, CA, 303--312. DOI:http://dx.doi.org/10.1109/RTSS.2006.22 Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. ITRS. 2012. International Technology Roadmap for Semiconductors. Retrieved April 12, 2016 from http://www.itrs.net/links/2012itrs/home2012.htm.Google ScholarGoogle Scholar
  24. P. Kumar and L. Thiele. 2011. End-to-end delay minimization in thermally constrained distributed systems. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE, 81--91. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Pratyush Kumar and Lothar Thiele. 2012. Timing analysis on a processor with temperature-controlled speed scaling. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. IEEE, 77--86. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Eren Kursun, Chen yong Cher, Alper Buyuktosunoglu, and Pradip Bose. 2006. Investigating the effects of task scheduling on thermal behavior. In Third Workshop on Temperature-Aware Computer Systems (TACS’06).Google ScholarGoogle Scholar
  27. C. L. Liu and J. W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20, 1, 46--61. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Hui Liu, Zili Shao, Meng Wang, and Ping Chen. 2008. Overhead-aware system-level joint energy and performance optimization for streaming applications on multiprocessor systems-on-chip. In Proceedings of the Euromicro Conference on Real-Time Systems. 92--101. DOI:http://dx.doi.org/10.1109/ECRTS.2008.18 Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Yongpan Liu, R. P. Dick, Li Shang, and Huazhong Yang. 2007. Accurate temperature-dependent integrated circuit leakage power estimation is easy. In Design, Automation Test in Europe. 1--6. DOI:http://dx.doi.org/10.1109/DATE.2007.364517 Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. A. Pareh and R. Gallagher. 1993. A generalized processor sharing approach to flow control in integrated services network—the single node case. ACM/IEEE Transactions on Networking 1, 3, 344--357. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. G. Quan and Y. Zhang. 2009. Leakage aware feasibility analysis for temperature-constrained hard real-time periodic tasks. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE Computer Society, 207--216. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. G. Quan, Y. Zhang, W. Wiles, and P. Pei. 2008. Guaranteed scheduling for repetitive hard real-time tasks under the maximal temperature constraint. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis. ACM, 267--272. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. Lars Schor, Iuliana Bacivarov, Hoeseok Yang, and Lothar Thiele. 2012a. Worst-case temperature guarantees for real-time applications on multi-core systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. IEEE, 87--96. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Lars Schor, Hoeseok Yang, Iuliana Bacivarov, and Lothar Thiele. 2012b. Worst-case temperature analysis for different resource models. IET Circuits, Devices & Systems 6, 5, 297--307.Google ScholarGoogle ScholarCross RefCross Ref
  35. Lars Schor, Hoeseok Yang, Iuliana Bacivarov, and Lothar Thiele. 2013. Thermal-aware task assignment for real-time applications on multi-core systems. In Formal Methods for Components and Objects. Springer, 294--313.Google ScholarGoogle Scholar
  36. Lothar Thiele, Samarjit Chakraborty, and Martin Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of International Symposium on Circuits and Systems, Vol. 4. IEEE, 101--104.Google ScholarGoogle ScholarCross RefCross Ref
  37. R. Viswanath, V. Wakharkar, A. Watwe, and V. Lebonheur. 2000. Thermal performance challenges from silicon to systems. Intel Technology Journal 3, 1--16.Google ScholarGoogle Scholar
  38. Shengquan Wang and R. Bettati. 2006. Delay analysis in temperature-constrained hard real-time systems with general task arrivals. In Proceedings of the Real-Time Systems Symposium. 323--334. DOI:http://dx.doi.org/10.1109/RTSS.2006.16 Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Shengquan Wang and R. Bettati. 2006. Reactive speed control in temperature-constrained real-time systems. In Proceedings of the Euromicro Conference on Real-Time Systems. 160--170. DOI:http://dx.doi.org/10.1109/ECRTS.2006.20 Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Buyoung Yun, K. G. Shin, and Shige Wang. 2013. Predicting thermal behavior for temperature management in time-critical multicore systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium. 185--194. Google ScholarGoogle ScholarDigital LibraryDigital Library

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!