skip to main content
research-article

Worst-case guarantees on a processor with temperature-based feedback control of speed

Published:01 April 2014Publication History
Skip Abstract Section

Abstract

On-chip temperatures continue to rise, in spite of design efforts towards more efficient cooling and novel low-power technologies. Run-time thermal management techniques, such as speed scaling and system throttling, constitute a standard component in today's processors. One such technique is the feedback control of the processing speed based on the on-chip temperature. If suitably designed, such a controller can ensure that the temperature of the processor does not exceed a given bound, independent of the application. Such isolation of needs is encouraging. However, from the application's stand-point, such a processor must provide performance guarantees; in particular, the guarantee that real-time jobs do not have worst-case delays larger than their relative deadlines. For applications which exhibit variability, such as bursty arrival patterns, computing such guarantees is not apparent. As key enablers in such a computation, for the specific setting of First-Come-First-Serve (FCFS) scheduling, we (a) define and prove a monotonicity principle satisfied by the processor with the said controller, and (b) propose a thermally clipped processor model. We identify the worst-case trace simulating which on a suitably chosen thermally clipped processor provides the tight upper-bound on the worst-case delay. These results hold for general models of (a) the power consumption of the processor, (b) its thermal model, (c) the speed scaling law, and (d) the task model. For this modelling scope, we show that the same worst-case trace also leads to the worst-case temperature of the processor. This is useful to characterise tasks which do not load the processor sufficiently to hit the given peak temperature bound. We demonstrate the utility of this calculation by designing a shaper to delay the arrival times of jobs and thereby restrict the observed worst-case temperature while still meeting the task's deadlines.

References

  1. Nikhil Bansal, Tracy Kimbrel, and Kirk Pruhs. 2004. Dynamic speed scaling to manage energy and temperature. In Proceedings of FOCS. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Borkar. 1999. Design challenges of technology scaling. Micro. IEEE 19, 4, 23--29. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Jean-Yves Le Boudec and Patrick Thiran. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Lecture Notes in Computer Science, Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. David Brooks and Margaret Martonosi. 2001. Dynamic thermal management for high-performance microprocessors. In Proceedings of HPCA. IEEE Computer Society, 171--182. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. T., Brunschwiler, S. Paredes, U. Drechsler, B. Michel, W. Cesar, Y. Leblebici, B. Wunderle, and H. Reichl. 2010. Heat-removal performance scaling of interlayer cooled chip stacks. In Proceedings of the 12th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm), 1--12.Google ScholarGoogle Scholar
  6. Giorgio C. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Norwell, MA, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Thidapat Chantem, Xiaobo Sharon Hu, and Robert P. Dick. 2009. Online work maximization under a peak temperature constraint. In Proceedings of ISLPED. Jörg Henkel, Ali Keshavarzi, Naehyuck Chang, and Tahir Ghani, Eds., ACM, 105--110. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Jian-Jia Chen, Shengquan Wang, and Lothar Thiele. 2009. Proactive speed scheduling for real-time tasks under thermal constraints. In Proceedings of RTAS. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Dell. 2007. Managing Data Center Power and Cooling. http://www.dell.com/downloads/global/power/ps1q07-20070204-AMD.pdf.Google ScholarGoogle Scholar
  10. Wei Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron, and M. Stan. 2006. HotSpot: A compact thermal modeling methodology for early-stage VLSI design. IEEE Trans. VLSI Syst. 14, 5. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Kyong Hoon Kim, Rajkumar Buyya, and Jong Kim. 2007. Power aware scheduling of bag-of-tasks applications with deadline constraints on DVS-enabled clusters. In Proceedings of CCGRID. IEEE Computer Society, 541--548. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Pratyush Kumar and Lothar Thiele. 2011a. Cool shapers: shaping real-time tasks for improved thermal guarantees. In Proceedings of DAC. Leon Stok, Nikil D. Dutt, and Soha Hassoun, Eds., ACM, 468--473. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Pratyush Kumar and Lothar Thiele. 2011b. Thermally optimal stop-go scheduling of task graphs with real-time constraints. In Proceedings of ASP-DAC. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Alon Naveh, Doron Rajwan, Avinash Ananthakrishnan, and Eli Weissmann. 2011. Power management architecture of the 2nd generation Intel® Core microarchitecture, formerly codenamed Sandy Bridge. http://www.hotchips.org/wp-content/uploads/hc_archives/hc23/HC23.19.9-Desktop-CPUs/HC23.19.921.SandyBridge_power_10-Rotem-Intel.pdf.Google ScholarGoogle Scholar
  15. Kirk Pruhs, Rob van Stee, and Patchrawat Uthaisombut. 2008. Speed scaling of tasks with precedence constraints. Theory Comput. Syst. 43, 1, 67--80. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Ravishankar Rao, Sarma B. K. Vrudhula, Chaitali Chakrabarti, and Naehyuck Chang. 2006. An optimal analytical solution for processor speed control with thermal constraints. In Proceedings of ISLPED. Wolfgang Nebel, Mircea R. Stan, Anand Raghunathan, Jörg Henkel, and Diana Marculescu, Eds., ACM, 292--297. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Ratnesh K. Sharma, Cullen Bash, Chandrakant D. Patel, Richard J. Friedrich, and Jeffrey S. Chase. 2005. Balance of power: Dynamic thermal management for internet data centers. IEEE Internet Comput. 9, 1, 42--49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Kevin Skadron, Mircea R. Stan, Karthik Sankaranarayanan, Wei Huang, Sivakumar Velusamy, and David Tarjan. 2004. Temperature-aware microarchitecture: Modeling and implementation. Trans. Archit. Code Optium. 1, 1, 94--125. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Jayanth Srinivasan and Sarita V. Adve. 2003. Predictive dynamic thermal management for multimedia applications. In Proceedings of ICS. Utpal Banerjee, Kyle Gallivan, and Antonio González, Eds., ACM, 109--120. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Andrew S. Tanenbaum. 2003. Computer Networks. 4th Ed. Prentice Hall, Page 400.Google ScholarGoogle Scholar
  21. L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of ISCAS.Google ScholarGoogle Scholar
  22. Vivek Tiwari, Deo Singh, Suresh Rajgopal, Gaurav Mehta, Rakesh Patel, and Franklin Baez. 1998. Reducing power in high-performance microprocessors. In Proceedings of DAC. 732--737. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Shengquan Wang, Youngwoo Ahn, and Riccardo Bettati. 2010. Schedulability analysis in hard real-time systems under thermal constraints. Real-Time Syst. 46, 2, 160--188. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Shengquan Wang and Riccardo Bettati. 2008. Reactive speed control in temperature-constrained real-time systems. Real-Time Syst. 39, 1--3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Sushu Zhang and Karam S. Chatha. 2007. Approximation algorithm for the temperature-aware scheduling problem. In Proceedings of ICCAD. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Worst-case guarantees on a processor with temperature-based feedback control of speed

      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!