Performance optimal processor throttling under thermal constraints

ABSTRACT

We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature constant requires an exponential speed curve. Earlier works that propose constant throttling only keep the package/case temperature constant, and are hence suboptimal. We develop high-level thermal and power models that are simple enough for analysis, yet account for important effects like the power-density variation across a chip (hotspots), leakage dependence on temperature (LDT), and differing thermal characteristics of the silicon die and the thermal solution. We use a piecewise-linear approximation for the exponential leakage dependence on temperature, and devise a method to remove the circular dependency between leakage power and temperature. To solve the multi-task speed control problem, we first solve analytically, the single task problem with a constraint on the final package temperature using optimal control theory. We then find the optimum final package temperature of each task by dynamic programming. We compared the total execution time of several randomly generated task sequences using the optimal control policy against a constant speed throttling policy, and found significantly smaller total execution times. We compared the thermal profiles predicted by the proposed high-level thermal model to that of the Hotspot thermal model, and found them to be in good agreement.

REFERENCES

• 1: David Brooks , Margaret Martonosi, Dynamic Thermal Management for High-Performance Microprocessors, Proceedings of the 7th International Symposium on High-Performance Computer Architecture, p.171, January 20-24, 2001
• 2: W. Huang, M. R. Stan, K. Skadron, K. Sankaranarayanan, and S. Ghosh, 'Hotspot: A compact thermal modeling method for cmos vlsi systems,' IEEE Trans. VLSI Sys., vol. 14, no. 5, pp. 501--513, May 2006.
• 3: Canturk Isci , Alper Buyuktosunoglu , Chen-Yong Cher , Pradip Bose , Margaret Martonosi, An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget, Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture, p.347-358, December 09-13, 2006 [doi>10.1109/MICRO.2006.8]
• 4: James Donald , Margaret Martonosi, Techniques for Multicore Thermal Management: Classification and New Exploration, Proceedings of the 33rd annual international symposium on Computer Architecture, p.78-88, June 17-21, 2006
• 5: Aviad Cohen , Finkelstein Finkelstein , Avi Mendelson , Ronny Ronen , Dmitry Rudoy, On Estimating Optimal Performance of CPU Dynamic Thermal Management, IEEE Computer Architecture Letters, v.2 n.1, p.6, January 2003 [doi>10.1109/L-CA.2003.5]
• 6: Seongmoo Heo , Kenneth Barr , Krste Asanović, Reducing power density through activity migration, Proceedings of the 2003 international symposium on Low power electronics and design, August 25-27, 2003, Seoul, Korea [doi>10.1145/871506.871561]
• 7: Jayanth Srinivasan , Sarita V. Adve, Predictive dynamic thermal management for multimedia applications, Proceedings of the 17th annual international conference on Supercomputing, June 23-26, 2003, San Francisco, CA, USA [doi>10.1145/782814.782831]
• 8: W. Liao, L. He, and K. M. Lepak, 'Temperature and supply voltage aware performance and power modeling at microarchitecture level,' IEEE Trans. Computer-Aided Design, vol. 24, no. 7, pp. 1042--1053, July 2005.
• 9: Ravishankar Rao , Sarma Vrudhula , Chaitali Chakrabarti , Naehyuck Chang, An optimal analytical solution for processor speed control with thermal constraints, Proceedings of the 2006 international symposium on Low power electronics and design, October 04-06, 2006, Tegernsee, Bavaria, Germany [doi>10.1145/1165573.1165643]
• 10: Nikhil Bansal , Tracy Kimbrel , Kirk Pruhs, Speed scaling to manage energy and temperature, Journal of the ACM (JACM), v.54 n.1, p.1-es, March 2007 [doi>10.1145/1206035.1206038]
• 11: Rajarshi Mukherjee , Seda Ogrenci Memik, Physical aware frequency selection for dynamic thermal management in multi-core systems, Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, November 05-09, 2006, San Jose, California [doi>10.1145/1233501.1233612]
• 12: Haihua Su , Frank Liu , Anirudh Devgan , Emrah Acar , Sani Nassif, Full chip leakage estimation considering power supply and temperature variations, Proceedings of the 2003 international symposium on Low power electronics and design, August 25-27, 2003, Seoul, Korea [doi>10.1145/871506.871529]
• 13: Ashutosh Dhodapkar , Chee How Lim , George Cai , W. Robert Daasch, TEM2P2EST: A Thermal Enabled Multi-model Power/Performance ESTimator, Proceedings of the First International Workshop on Power-Aware Computer Systems-Revised Papers, p.112-125, November 12, 2000
• 14: Wonbok Lee , Kimish Patel , Massoud Pedram, Dynamic thermal management for MPEG-2 decoding, Proceedings of the 2006 international symposium on Low power electronics and design, October 04-06, 2006, Tegernsee, Bavaria, Germany [doi>10.1145/1165573.1165647]
• 15: Yingmin Li , Dharmesh Parikh , Yan Zhang , Karthik Sankaranarayanan , Mircea Stan , Kevin Skadron, State-Preserving vs. Non-State-Preserving Leakage Control in Caches, Proceedings of the conference on Design, automation and test in Europe, p.10022, February 16-20, 2004
• 16: Hakan Aydin , Rami Melhem , Daniel Mossé , Pedro Mejía-Alvarez, Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power Characteristics, Proceedings of the 13th Euromicro Conference on Real-Time Systems, p.225, June 13-15, 2001
• 17: Tohru Ishihara , Hiroto Yasuura, Voltage scheduling problem for dynamically variable voltage processors, Proceedings of the 1998 international symposium on Low power electronics and design, p.197-202, August 10-12, 1998, Monterey, California, United States [doi>10.1145/280756.280894]
• 18: PACE: A New Approach to Dynamic Voltage Scaling, IEEE Transactions on Computers, v.53 n.7, p.856-869, July 2004 [doi>10.1109/TC.2004.35]
• 19: Padmanabhan Pillai , Kang G. Shin, Real-time dynamic voltage scaling for low-power embedded operating systems, Proceedings of the eighteenth ACM symposium on Operating systems principles, October 21-24, 2001, Banff, Alberta, Canada
• 20: Ravindra Jejurikar , Cristiano Pereira , Rajesh Gupta, Leakage aware dynamic voltage scaling for real-time embedded systems, Proceedings of the 41st annual conference on Design automation, June 07-11, 2004, San Diego, CA, USA [doi>10.1145/996566.996650]
• 21: F. Yao , A. Demers , S. Shenker, A scheduling model for reduced CPU energy, Proceedings of the 36th Annual Symposium on Foundations of Computer Science (FOCS'95), p.374, October 23-25, 1995
• 22: Jiong Luo , Niraj K. Jha, Battery-aware static scheduling for distributed real-time embedded systems, Proceedings of the 38th conference on Design automation, p.444-449, June 2001, Las Vegas, Nevada, United States [doi>10.1145/378239.378553]
• 23: Daler Rakhmatov , Sarma Vrudhula, Energy management for battery-powered embedded systems, ACM Transactions on Embedded Computing Systems (TECS), v.2 n.3, p.277-324, August 2003 [doi>10.1145/860176.860179]
• 24: Kevin Skadron , Tarek Abdelzaher , Mircea R. Stan, Control-Theoretic Techniques and Thermal-RC Modeling for Accurate and Localized Dynamic Thermal Management, Proceedings of the 8th International Symposium on High-Performance Computer Architecture, p.17, February 02-06, 2002
• 25: Ravishankar Rao , Sarma Vrudhula , Chaitali Chakrabarti, Throughput of multi-core processors under thermal constraints, Proceedings of the 2007 international symposium on Low power electronics and design, August 27-29, 2007, Portland, OR, USA [doi>10.1145/1283780.1283824]
• 26: Intel Pentium 4 Processor 6x1 Sequence: Datasheet, Intel Corp., January 2006.
• 27: CPU Thermal Management: Application Note, Advanced Micro Devices. {Online}. Available: http://www.amd.com/epd/processors/6.32bitproc/x18448/18448.pdf
• 28: D. S. Naidu , Subbaram Naidu , Richard C. Dorf, Optimal Control Systems, CRC Press, Inc., Boca Raton, FL, 2002
• 29: AMD Athlon 64 Processor Power and Thermal Data Sheet, Advanced Micro Devices, August 2004.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

General Terms:
Algorithms, Performance, Theory

Keywords:
leakage dependence on temperature, power, thermal management, thermal model, throttling