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.
- Nikhil Bansal, Tracy Kimbrel, and Kirk Pruhs. 2004. Dynamic speed scaling to manage energy and temperature. In Proceedings of FOCS. Google Scholar
Digital Library
- S. Borkar. 1999. Design challenges of technology scaling. Micro. IEEE 19, 4, 23--29. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- David Brooks and Margaret Martonosi. 2001. Dynamic thermal management for high-performance microprocessors. In Proceedings of HPCA. IEEE Computer Society, 171--182. Google Scholar
Digital Library
- 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 Scholar
- Giorgio C. Buttazzo. 1997. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Norwell, MA, USA. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Jian-Jia Chen, Shengquan Wang, and Lothar Thiele. 2009. Proactive speed scheduling for real-time tasks under thermal constraints. In Proceedings of RTAS. Google Scholar
Digital Library
- Dell. 2007. Managing Data Center Power and Cooling. http://www.dell.com/downloads/global/power/ps1q07-20070204-AMD.pdf.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Pratyush Kumar and Lothar Thiele. 2011b. Thermally optimal stop-go scheduling of task graphs with real-time constraints. In Proceedings of ASP-DAC. Google Scholar
Digital Library
- 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 Scholar
- Kirk Pruhs, Rob van Stee, and Patchrawat Uthaisombut. 2008. Speed scaling of tasks with precedence constraints. Theory Comput. Syst. 43, 1, 67--80. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Andrew S. Tanenbaum. 2003. Computer Networks. 4th Ed. Prentice Hall, Page 400.Google Scholar
- L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In Proceedings of ISCAS.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Shengquan Wang and Riccardo Bettati. 2008. Reactive speed control in temperature-constrained real-time systems. Real-Time Syst. 39, 1--3. Google Scholar
Digital Library
- Sushu Zhang and Karam S. Chatha. 2007. Approximation algorithm for the temperature-aware scheduling problem. In Proceedings of ICCAD. Google Scholar
Digital Library
Index Terms
Worst-case guarantees on a processor with temperature-based feedback control of speed
Recommendations
Power-Aware Deployment and Control of Forced-Convection and Thermoelectric Coolers
DAC '14: Proceedings of the 51st Annual Design Automation ConferenceAdvances in the thermoelectric cooling technology have made it one of the promising solutions for spot cooling in VLSI circuits. Thermoelectric coolers (TECs) generate heat during their operation. This heat plus the heat generated in the circuit should ...
A neuro-fuzzy fan speed controller for dynamic thermal management of multi-core processors
CF '14: Proceedings of the 11th ACM Conference on Computing FrontiersCooling equipments is a thermal management technique that reduces the thermal resistance of the heat sink without any performance degradation. However, higher fan speed produces a lower thermal resistance, but at the expense of higher power consumption. ...
Temperature-aware microarchitecture: Modeling and implementation
With cooling costs rising exponentially, designing cooling solutions for worst-case power dissipation is prohibitively expensive. Chips that can autonomously modify their execution and power-dissipation characteristics permit the use of lower-cost ...






Comments