Applying real-time interface and calculus for dynamic power management in hard real-time systems

被引:28
作者
Huang, Kai [1 ]
Santinelli, Luca [2 ]
Chen, Jian-Jia [3 ]
Thiele, Lothar [1 ]
Buttazzo, Giorgio C. [2 ]
机构
[1] ETH, Comp Engn & Networks Lab, Zurich, Switzerland
[2] Scuola Super St Anna Pisa, Real Time Syst Lab, Pisa, Italy
[3] Karlsruhe Inst Technol, Inst Proc Control & Robot, Dept Informat, Karlsruhe, Germany
关键词
Power management; Real-time event streams; Real-time calculus; Real-time interface; REDUCTION;
D O I
10.1007/s11241-011-9115-z
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Power dissipation has been an important design issue for a wide range of computer systems in the past decades. Dynamic power consumption due to signal switching activities and static power consumption due to leakage current are the two major sources of power consumption in a CMOS circuit. As CMOS technology advances towards deep sub-micron domain, static power dissipation is comparable to or even more than dynamic power dissipation. This article explores how to apply dynamic power management to reduce static power for hard real-time systems. We propose online algorithms that adaptively control the power mode of a system, procrastinating the processing of arrived events as late as possible. To cope with multiple event streams with different characteristics, we provide solutions for preemptive earliest-deadline-first and fixed-priority scheduling policies. By adopting a worstcase interval-based abstraction, our approach can not only tackle arbitrary event arrivals, e. g., with burstiness, but also guarantee hard real-time requirements with respect to both timing and backlog constraints. We also present extensive simulation results to demonstrate the effectiveness of our approaches.
引用
收藏
页码:163 / 193
页数:31
相关论文
共 50 条
[1]   Applying real-time interface and calculus for dynamic power management in hard real-time systems [J].
Kai Huang ;
Luca Santinelli ;
Jian-Jia Chen ;
Lothar Thiele ;
Giorgio C. Buttazzo .
Real-Time Systems, 2011, 47 :163-193
[2]   Adaptive Dynamic Power Management for Hard Real-Time Systems [J].
Huang, Kai ;
Santinelli, Luca ;
Chen, Jian-Jia ;
Thiele, Lothar ;
Buttazzo, Giorgio C. .
2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, :23-+
[3]   Periodic Power Management Schemes for Real-Time Event Streams [J].
Huang, Kai ;
Santinelli, Luca ;
Chen, Jian-Jia ;
Thiele, Lothar ;
Buttazzo, Giorgio C. .
PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, :6224-6231
[4]   Power Efficient Scheduling for Hard Real-Time Systems on a Multiprocessor Platform [J].
Nistler, Peter J. ;
Gaudiot, Jean-Luc .
NETWORK AND PARALLEL COMPUTING, 2010, 6289 :106-120
[5]   The interplay of power management and fault recovery in real-time systems [J].
Melhem, R ;
Mossé, D ;
Elnozahy, E .
IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (02) :217-231
[6]   Causality problem in real-time calculus [J].
Karine Altisen ;
Matthieu Moy .
Formal Methods in System Design, 2016, 48 :1-45
[7]   Causality problem in real-time calculus [J].
Altisen, Karine ;
Moy, Matthieu .
FORMAL METHODS IN SYSTEM DESIGN, 2016, 48 (1-2) :1-45
[8]   Multiprocessor extensions to real-time calculus [J].
Leontyev, Hennadiy ;
Chakraborty, Samarjit ;
Anderson, James H. .
REAL-TIME SYSTEMS, 2011, 47 (06) :562-617
[9]   Multiprocessor extensions to real-time calculus [J].
Hennadiy Leontyev ;
Samarjit Chakraborty ;
James H. Anderson .
Real-Time Systems, 2011, 47 :562-617
[10]   Adaptive Power Management for Real-Time Event Streams [J].
Huang, Kai ;
Santinelli, Luca ;
Chen, Jian-Jia ;
Thiele, Lothar ;
Buttazzo, Giorgio C. .
2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, :7-+