Browse > Article

On Energy-Optimal Voltage Scheduling for Fixed-Priority Hard Real-Time Systems  

윤한샘 (서울대학교 컴퓨터공학부)
김지홍 (서울대학교 전기컴퓨터공학부)
Abstract
We address the problem of energy-optimal voltage scheduling for fixed-priority hard real-time systems. First, we prove that the problem is NP-hard. Then, we present a fully polynomial time approximation scheme (FPTAS) for the problem. for any $\varepsilon$>0, the proposed approximation scheme computes a voltage schedule whose energy consumption is at most (1+$\varepsilon$) times that of the optimal voltage schedule. Furthermore, the running time of the proposed approximation scheme is bounded by a polynomial function of the number of input jobs and 1/$\varepsilon$. Experimental results show that the approximation scheme finds more efficient voltage schedules faster than the best existing heuristic.
Keywords
variable voltage processor; dynamic voltage sealing; real-time systems;
Citations & Related Records
연도 인용수 순위
  • Reference
1 N. Kim, M. Ryu, S. Hong, M. Saksena, C. Choi, H. Shin. Visual Assessment of a Real-Time System Design: A Case Study on a CNC Controller. In Proc. of Real-Time Systems Symposium, pp. 300-310, 1996   DOI
2 C. Locke, D. Vogel and T. Mesler. Building a Predictable Avionics Platform in Ada: A Case Study. In Proc. of Real-Time Systems Symposium, 1991   DOI
3 G. Quan and X. Hu. An Optimal Voltage Schedule for Real-Time Systems on a Variable Voltage Processor. In Proc. of Design, Automation and Test in Europe, 2002
4 Y. Shin, K. Choi and T. Sakurai. Power Optimization of Real-Time Embedded Systems on Variable Speed Processors. In Proc. of International Conference on Computer-Aided Design, pp. 365-368, 2000   DOI
5 G. J. Woeginger. When Does a Dynamic Programming Formulation Guarantee the Existence of an FPTAS? In Proc. of ACM-SIAM Symposium on Discrete Algorithms, pp. 820-829, 1999
6 On Energy-Optimal Off-Line Scheduling for Fixed-Priority Hard Real-Time Systems On a Variable Speed Processor. Technical report, 2003. Available from http://davinci.snu.ac.kr/Download/opt_fp_vs.pdf
7 A. Ben-Tal and A. Nemirovski. Lectures on Modem Convex Optimization: Analysis, Algorithms, and Engineering Applications. SIAM, 2001
8 M. Garey and D. Johnson. Computers and Intractability. W.H. Freeman and Company, 1979
9 F. Yao, A. Demers and S. Shenker. A Scheduling Model for Reduced CPU Energy. In Proc. of IEEE Annual Foundations of Computer Science, pp. 374-382, 1995   DOI
10 P. Pillai and K. G. Shin. Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems. In Proc. of ACM Symposium on Operating Systems Principles, 2001   DOI
11 F. Gruian. Hard Real-Time Scheduling for Low-Energy Using Stochastic Data and DVS Processors. In Proc. of International Symposium on Low Power Electronics and Design, pp. 46-51, 2001   DOI
12 Y. Shin and K. Choi. Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems. In Proc. of Design Automatioin Conference, pp. 134-139, 1999   DOI
13 G. Quan and X. Hu. Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors. In Proc. of Design Automatioin Conference, pp. 828-833, 2001   DOI
14 I. Hong, G. Qu, M. Potkonjak and M. B. Srivastava. Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors. In Proc, of Real-Time Systems Symposium, pp. 178-187, 1998   DOI
15 AMD Corporation. PowerNow! Technology. http://www.amd.com, 2000
16 Transmeta Corporation. Crusoe Processor, http://www.transmeta.com, 2000
17 H. Aydin, R. Melhem, D. Mosse and P. M. Alvarez. Dynamic and Aggressive Scheduling Techniques for Power-Aware Real-Time Systems. In Proc. of Real-Time Systems Symposium, 2001   DOI
18 W. Kim, J. Kim and S. L. Min. A Dynamic Voltage Scaling Algorithm for Dynamic-Priority Hard Real-Time Systems Using Slack Time Analysis. In Proc. of Design, Automation and Test in Europe, 2002   DOI
19 Intel Corporation. Intel XScale Technology. http://developer.intel.com/design/intelxscale, 2001
20 T. Sakurai and A. Newton. Alpha-power Law MOSFET Model and Its Application to CMOS Inverter Delay and Other Formulars. IEEE Journal of Solid State Circuits, vol. 25, no. 2, pp. 584-594, 1990   DOI   ScienceOn