Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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

고정 우선순위 경성 실시간 시스템에 대한 최적의 전압 스케줄링

  • 윤한샘 (서울대학교 컴퓨터공학부) ;
  • 김지홍 (서울대학교 전기컴퓨터공학부)
  • Published : 2004.10.01
Download PDF
⟨ Previous Next ⟩

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.

본 논문에서는 고정 우선순위 경성 실시간 시스템에 대한 에너지 측면에서의 최적의 전압 스케줄링 문제를 고려한다. 먼저, 이 문제가 NP-hard임을 증명한다. 다음으로 이 문제에 대한 fully polynomial time approximation scheme(FPTAS)을 제시한다 제안한 FPTAS는 주어진 임의의 $\varepsilon$>0에 대해 에너지 소모량이 최적의 전압 스케줄에 비해 (1＋$\varepsilon$)배 이내에 있는 전압 스케줄을 문제의 입력의 크기와 1/$\varepsilon$의 다항함수 이내의 시간에 계산해준다. 실험 결과, 제안된 FPTAS는 기존의 휴리스틱에 비해 더 효율적인 전압 스케줄을 더 빠른 시간에 찾아주었다.

Keywords

References

  1. 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 https://doi.org/10.1109/4.52187
  2. Intel Corporation. Intel XScale Technology. http://developer.intel.com/design/intelxscale, 2001
  3. AMD Corporation. PowerNow! Technology. http://www.amd.com, 2000
  4. Transmeta Corporation. Crusoe Processor, http://www.transmeta.com, 2000
  5. 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 https://doi.org/10.1109/REAL.2001.990600
  6. 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 https://doi.org/10.1109/REAL.1998.739744
  7. 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 https://doi.org/10.1109/DATE.2002.998389
  8. 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 https://doi.org/10.1145/502034.502044
  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 https://doi.org/10.1109/SFCS.1995.492493
  10. 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 https://doi.org/10.1109/LPE.2001.945370
  11. 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 https://doi.org/10.1109/DAC.1999.781298
  12. 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 https://doi.org/10.1145/378239.379074
  13. 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
  14. 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 https://doi.org/10.1109/ICCAD.2000.896499
  15. 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
  16. 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
  17. A. Ben-Tal and A. Nemirovski. Lectures on Modem Convex Optimization: Analysis, Algorithms, and Engineering Applications. SIAM, 2001
  18. M. Garey and D. Johnson. Computers and Intractability. W.H. Freeman and Company, 1979
  19. 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 https://doi.org/10.1109/REAL.1996.563726
  20. 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 https://doi.org/10.1109/REAL.1991.160372