Temperature- and energy-constrained scheduling in multitasking systems

Weixun Wang, Xiaoke Qin, Prabhat Mishra
2010 Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design - ISLPED '10  
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both power and thermal management during each level of system design. In this paper, we propose a formal technique based on model checking using extended timed automata to solve the processor frequency assignment problem in a temperature-and energy-constrained multitasking system. The state space explosion problem is
more » ... ated by transforming and solving a Pseudo-Boolean satisfiability problem. Our approach is capable of finding efficient solutions under various constraints and applicable to other problem variants as well. Our method is independent of any system and task characteristics. Experimental results demonstrate the usefulness of our approach.
doi:10.1145/1840845.1840863 dblp:conf/islped/WangQM10 fatcat:mnm5kmijtbei3mou3672rtluqy