用户名: 密码: 验证码:
DVS技术支持的移动嵌入式系统软件低功耗计算研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
半导体技术的快速发展,为嵌入式处理器技术的不断提升创造了条件。随着处理器的集成度、复杂度的增长,以及性能的不断提高,其功耗也节节攀升。近年来,处理器单位面积的功耗已呈指数级增长。功耗的迅速增长已经成为制约处理器进一步发展的一个主要因素。而大多数的移动嵌入式系统,由于其应用环境的特殊性,不得不采用电池供电。相比于有线电源,电池的容量有限,因此移动嵌入式系统对功耗具有更加严格的要求。但相对于处理器技术的快速发展,电池技术发展严重滞后,因此如何降低嵌入式系统本身的功耗,合理延长现有电池供电时间已成为研究者关注的主要热点。
     嵌入式系统是一个软硬件混合体,其中硬件的运行直接导致能量的消耗。而硬件的行为都是通过软件进行控制的,因此硬件层之上的软件也对电能的消耗起着举足轻重的作用。通过软件对硬件行为进行控制,可有效降低系统功耗。因此涌现了一批硬件节能降耗手段,并提供相应的软件接口,尤其是以DVS技术为代表的处理器节能技术,为嵌入式软件提供了控制硬件功耗的有效机制。
     本文主要以DVS技术为基础,在以电池驱动的移动嵌入式系统中,从系统软件层面研究节能计算,以达到有效利用硬件节能降耗技术进行系统节能优化。特别是在保障系统实时性的同时降低系统能耗,从而获得电池放电期内性能最大化。本文主要从以下三个方面进行了研究:
     1、本文首先分析了移动嵌入式系统中的电池模型,以此为出发点研究了DVS技术支持的低功耗设计问题。DVS技术在调频调压过程中会影响到负载电流强度,从而进一步影响电池的放电量,因此需要研究电池模型在DVS技术下的修正。本文通过研究电池放电量和DVS的关系,建立了一种电池模型驱动的低功耗嵌入式系统的设计模型。通过在设计过程中引入电池特性、量化DVS对电池容量的影响,建立了电池模型驱动的低功耗嵌入式系统模型,并根据该模型推导出了低功耗嵌入式系统的设计指导原则。
     2、在上述硬件平台设计方法的支持下,本文还系统地研究了操作系统对低功耗调度的支持,特别是在实时调度和存储设备访问请求调度情况下的低功耗调度方法。本文首先研究了实时任务模型在DVS下的工作机理,通过离线计算,在保证任务集实时性的前提下,尽量在电池供电期内完成足够多的任务,形成了Offline任务集低功耗运行速度决策模型。由于离线计算是静态的,而操作系统处于运行时,能够获得整个系统的运行时信息,因此本文还研究了在线时的低功耗调度方法,完成了Online任务集低功耗调度决策模型。此外,本文针对操作系统对存储层次的访问进行低功耗优化,设计了硬盘设备功耗管理和访问请求调度,优化了硬盘设备的访问请求,降低了硬盘功耗。
     3、本文同时利用编译器对执行程序内部特性的了解,研究了通过编译器对执行程序进行改造,在运行时为操作系统提供低功耗调度支持。在此部分内容中,本文首先研究了如何利用编译器对程序进行细粒度、自适应的DVS节能改造。然后,通过编译器分析执行程序存储行为特性,建立了程序与任务的行为和功耗模型。在此基础上,设计了操作系统和编译器协同方式,为操作系统低功耗调度提供细粒度的支持。
     最后,本文分别针对基于电池模型的软硬件协同设计,实时系统低功耗调度以及编译器对操作系统的支持进行了实验验证和分析。实验结果表明本文所描述的基于DVS技术的移动嵌入式系统软件节能的研究,可分别从系统软件的不同层面降低系统功耗。本研究充分利用了DVS技术的优势以及电池特性,从电池与处理器等硬件层面出发,研究了DVS技术对低功耗实时调度、节能编译器等方面的影响,系统的给出了相应的解决方案。
With rapid development of semiconductor technologies, embedded circuit technology has been improved constantly. The integration and complexity of the chip is increased, as well the size is getting smaller and smaller. As the performance of processor increased, the power consumption of processor is bigger than ever before. Because of the improved integration and complexity, the power consumption is rising. Power consumption per unit area is rising linearly as circuit area increase. The rising of power consumption per unit becomes a constraint for processor development. Most of the mobile embedded systems are driven by battery. Because of the limitation of battery capacity, mobile embedded systems should be more power aware. Compared to the rapid development of processor technology, battery technology is lag behind. So extending the limited battery life is one of the important topics for portable embedded systems.
     Embedded system is a mixture of hardware and software. Power is consumed by hardware running. Software is the controller of hardware, and it drives the hardware to run. So software is the sole of embedded system, and it is consuming power by driving the hardware run indirectly. For power aware computing, the behavior and characteristic of software should be taking into account. Especially, the DVS technology provides an effective way for software to reduce the hardware power consumption. By the help of DVS, software can adjust the core supply voltage of processor dynamically.
     In this thesis, it focuses on applying DVS to mobile embedded system. There are some questions about using DVS in mobile embedded system. One question is what about the battery behavior will be affected by DVS, and the other is what about the effective of using DVS in real-time embedded system. So this thesis makes the following contributions:
     (1)First, it presents a battery driven power aware design method for mobile embedded system with DVS support. The discharged capacity of battery is not a constant, which will be affected by current intensity. And the current of battery is decided by hardware running status. So in this thesis, the relationship between battery capacity discharged and DVS is studied. Then this thesis gives a power aware mobile embedded system design method driven by battery. This method quantifies the DVS impact on battery capacity, and gives a theory model about power aware design. According to this model, it deduces a principle for mobile embedded system power aware design.
     (2)It proposes a power aware operating system scheduling and a power aware dispatching for storage devices access requests, especially for real-time system. It first studies the real-time task model with DVS support, and use offline schedule to try completing the tasks as much as possible during the battery life with the task deadline guaranteed. As the offline schedule is static, and it can't gain any running information. Operating system could collect the running information for whole system or any tasks. On this basis, an online schedule algorithm is developed to enhance the offline scheduler. Power consumption for peripheral equipments is also very important. This thesis takes HDD as an example, to study the power reduction technology for HDD using access requests schedule.
     (3) This thesis also studies how to use compiler to support lower power scheduling. The compiler is used to analyze the memory behavior of task, and build a task power model. Using this model, compiler gives a static DVS decision for task. And it also studies the cooperative protocol between Operating system and Compiler. Operating system uses the fine-grained information from compiler static decision in power aware task scheduling. This fine grained information would give some hint for online schedule.
     At last, this thesis evaluates the proposed power aware method and optimization. Experimental results show that these optimization methods can effectively reduce the power consumption for whole system. This research fully utilizes the characteristics of DVS technology and battery. It studies DVS technology effective for low power real-time scheduling and compilers from battery model, and gives a system level solution.
引文
[1]. Wayne Wolf, Embedded Computing,Computer, vol. 35, no. 1, Jan., 2002: 136-137
    [2]. Richard F. Drushel, The Apollo Guidance Computer (AGC),http://rocinante.colorado.edu/~wilms/computers/apollo.html. Retrieved on 24 January 2008
    [3]. Gartner 2002: Microprocessor, Microcontroller and Digital Signal Processor Forecast Through 2005
    [4]. Feng, W. The Importance of Being Low Power in High Performance Computing,CTWatch Quarterly, Volume 1, Number 3, August 2005
    [5]. No exponential is forever: but "Forever" can be delayed! [semiconductor industry].Moore, GE.;Solid-State Circuits Conference, 2003. Digest of Technical Papers.ISSCC. 2003 IEEE International 2003 Page(s):20 - 23 vol.1
    [6]. S. H. Gunther, F. Binns, D. M. Carmean, and J. C. Hall. Managing the impact of increasing microprocessor power consumption. Intel Technology Journal, Feb 2001.
    [7]. Mesa-Martinez, F. J. Nayfach-Battilana, J. Renau. Power model validation through thermal measurements. ACM SIGARCH Computer Architecture News archive.Volume 35, Issue 2, May 2007: 302-311
    [8]. Michael Keating, David Flynn, Rob Aitken, Alan Gibbons, Kaijian Shi. Low Power Methodology Manual: For System-on-Chip Design [M]. Springer, 2007.
    [9]. Rajeev Rao, Ashish Srivastava, David Blaauw, Dennis Sylvester. "Statistical Analysis of Subthreshold Leakage Current for VLSI Circuits". IEEE Transactions on Very large Scale Integration (VLSI) Systems, 12(2):131-139, February 2004.
    
    [10]. DE, V. AND BORKAR, S. 1999. Technology and design challenges for low power and high performance. In Proceedings of the International Symposium on Low Power Electronics and Design ISLPED'99 . ACM Press, 163-168.
    [11]. Qing Wu; Pedram, M.; Xunwei Wu, "Clock-gating and its application to low power design of sequential circuits," Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on , vol.47, no.3, pp.415-420, Mar 2000
    [12]. Dake Liu; Svensson, C.Power consumption estimation in CMOS VLSI chips[J], IEEE Journal of Solid-State Circuits, vol.29, no.6, Jun 1994:663-670.
    [13]. Chandrakasan, A.P.; Sheng, S.; Brodersen, R.W., "Low-power CMOS digital design[J]," IEEE Journal of Solid-State Circuits, vol.27, no.4, Apr 1992: 473-484
    [14]. Ricardo Gonzalez, Benjamin M. Gordon, and Mark A. Horowitz. Supply and Threshold Voltage Scaling for Low Power CMOS. IEEE Journal of Solid-State Circuits, VOL. 32,NO. 8, AUGUST 1997:1210-1216.
    [15]. Jui-Ming Chang; Pedram, M. Energy minimization using multiple supply voltages[J], IEEE Transactions on Very Large Scale Integration (VLSI) Systems.vol.5, no.4, Dec 1997: 436-443
    [16]. Kun-Lin Tsai; Ju-Yueh Lee; Shanq-Jang Ruan; Feipei Lai, Low power scheduling method using multiple supply voltages[C], 2006 IEEE International Symposium on Circuits and Systems, May 2006: 21-24
    [17]. L. Nielsen, C. Niessen, J. Sparso, K. Van Berkel,Low-power operation using self-timed circuits and adaptive scaling of the supply voltage[J], IEEE Trans on VLSI Systems, vol.2, Dec. 1994:391-397.
    [18]. Flautner et al., A Combined Hardware-Software Approach for Low-Power SoCs: Applying Adaptive Voltage Scaling and Intelligent Energy Management[C],Proceedings of System-on-Chip and ASIC Design Conference 2003.
    [19]. Sandeep Dhar, Dragan Maksimovic, Bruno Kranzen Closed-loop adaptive voltage scaling controller for standard-cell ASICs[C]. ISLPED '02: Proceedings of the 2002 international symposium on Low power electronics and design, August 2002.
    [20]. Mohamed Elgebaly, Manoj Sachdev. Variation-aware adaptive voltage scaling system [J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems,Volume 15 Issue 5, May 2007: 560-571.
    [21]. Mark Hartman.PowerWise Adaptive Voltage Scaling Minimizes Energy Consumption [J]. Information Quarterly, Volume 3, Number 1, 2004:27-29.
    [22]. M. Doyle, T. F. Fuller, and J. Newman, Modeling of galvanostatic charge and dis-charge of the lithium/polymer/insertion cell [J], Journal of the Electrochemical Society,vol. 140,no. 6, 1993: 1526-1533.
    [23]. T. F. Fuller, M. Doyle, and J. Newman, Simulation and optimization of the dual lithium ion insertion cell [J], Journal of the Electrochemical Society, vol. 141,no. 1, 1994: 1-10.
    [24]. T. F. Fuller, M. Doyle, and J. Newman, Relaxation phenomena in lithium-ion-insertion cells[J], Journal of the Electro-chemical Society, vol. 141, no.4, 1994:982-990.
    [25]. Marc Doyle and John Newman. The use of mathematical modeling in the design of lithium/polymer battery systems[J], Electrochimica Acta, Volume 40,Issues 13-14, October 1995: 2191-2196
    [26]. Kiyonami Takano, Ken Nozakia, Yoshiyasu Saitoa, Akira Negishia, Ken Katoa and Yoshio Yamaguchi. Simulation study of electrical dynamic characteristics of lithium-ion battery. Journal of Power Sources. Volume 90, Issue 2,1 October 2000:214-223
    [27]. Fortran programs for the simulation of electrochemical systems. [Online].Available: http://www.cchem.berkeley.edu/jsngrp/fortran.html
    [28]. S. C. Hageman, Simple PSpice models let you simulate common battery types[J], Electronic Design News, vol. 38, 1993: 117- 129.
    [29]. Gold, S. A PSPICE macromodel for lithium-ion batteries[J], Twelfth Annual Battery Conference on Applications and Advances, 1997, 14-17 Jan 1997:215-222.
    [30]. D. Rakhmatov and S. Vrudhula, An analytical high-level battery model for use in energy management of portable electronic systems[C], in Proceedings of the International Conference on Computer Aided Design (ICCAD'01), 2001, pp.488-493.
    [31]. D. Rakhmatov, S. Vrudhula, and D. A. Wallach, Battery lifetime predictions for energy-aware computing[C], in Proceedings of the 2002 International Symposium on Low Power Electronics and Design (ISLPED '02), 2002:154-159.
    [32]. D Rakhmatov, S Vrudhula, DA Wallach, A model for battery lifetime analysis for organizing applications on a pocket computer[J], IEEE transactions on VLSI systems, vol. 11, no. 6, 2003: 1019-1030.
    [33]. J. Manwell and J. McGowan, Lead acid battery storage model for hybrid energy systems[J], Solar Energy, vol. 50, 1993: 399-405.
    [34]. Manwell, JF and McGowan, JG Extension of the kinetic battery model for wind/hybrid power systems[C], in Proceedings of the 5th European Wind Energy Association Conference (EWEC '94), 1994:284-289.
    [35]. J. Manwell, J. McGowan, B.-G E.I., S. W., and L. A., Evaluation of battery models for wind/hybrid power system simulation,[C] in Proceedings of the 5th European Wind Energy Association Conference (EWEC '94), 1994, pp.1182-1187.
    [36]. V. Rao, G Singhal, A. Kumar, and N. Navet, "Battery model for embedded systems[C]," in Proceedings of the 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design (VLSID'05). Washington, DC, USA: IEEE Computer Society, 2005: 105-110.
    [37]. D. Panigrahi, C. Chiasserini, S. Dey, R. Rao, A. Raghunathan, and K. Lahiri.Battery Life Estimation of Mobile Embedded Systems[C]. In Proceedings of International Conference on VLSI Design, January 2001: 55-63.
    [38]. C. Chiasserini and R. Rao, Pulsed battery discharge in communication devices[C], in Proceedings of the 5th International Conference on Mobile Computing and Networking, 1999:88 - 95.
    [39]. C. Chiasserini and R. Rao, A model for battery pulsed discharge with recovery effect[C], in Wireless Communications and Networking Conference, 1999: 636 -639.
    [40]. C. Chiasserini and R. Rao, Improving battery performance by using traffic shaping techniques[J], IEEE Journal on Selected Areas in Communications, vol.19,no. 7,2001:1385-1394.
    [41]. J. Lorch and A. Smith, Software strategies for portable computer energy management[J], IEEE Personal Commun. vol. 5, June 1998: 60-73.
    [42]. Yung-Hsiang Lu, Giovanni De Micheli. "Comparing System-Level Power Management Policies". IEEE Design & Test of Computers, 18(2):10-19, March 2001.
    [43]. L. Benini and G. De Micheli, Dynamic Power Management: Design Techniques and CAD Tools[M]. Norwell, Kluwer Academic Publishers, 1998
    [44]. S. Gary et al., PowerPC 603, a microprocessor for portable computers [J],IEEE Design & Test of Computers, vol. 11, 1994: 14-23.
    [45]. Advanced micro devices, in AM29SLxxx Low-Voltage Flash Memories,1998.
    [46]. E. Harris et al., Technology directions for portable computers[C], Proc. IEEE,vol. 83,Apr. 1996:636-657.
    [47]. M. Stemm and R. Katz, Measuring and reducing energy consumption of network interfaces in hand-held devices[J], IE1CE Trans. Commun., vol. E80-B,Aug. 1997: 1125-1131.
    
    [48]. SA-1100 Microprocessor Technical Reference Manual, Intel, 1998.
    [49]. C.H. Hwang and A. C. Wu, A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation[C], Proc. Int'l Conf. Computer-Aided Design, IEEE CS Press, 1997, pp. 28-32.
    [50]. F. Douglis et al., Adaptive Disk Spin-Down Policies for Mobile Computers,Computing Systems, vol. 8, no. 4, 1995:381-413.
    [51]. A. Karlin et al., Competitive Randomized Algorithms for Non-Uniform Problems [J], Algorithmica, vol. 11, no. 6, June 1994, pp. 542-571.
    [52]. D. Ramanathan and R. Gupta, System Level On-Line Power Management Algorithms[C], Proc. Design Automation and Test in Europe, IEEE CS Press, Los Alamitos, Calif., 2000, pp. 606-611.
    [53]. L. Benini, A. Bogliolo, and G D. Micheli. A Survey of Design Techniques for System-Level Dynamic Power Management[J]. IEEE Transactions on VLSI Systems, 8(3), June 2000:299-316.
    [54]. M.B. Srivastava et al, Predictive System Shutdown and Other Architecture Techniques for Energy Efficient Programmable Computation[J], IEEE Trans.VLSI Systems, vol. 4, no. 1, Mar. 1996:42-55.
    [55]. E.-Y. Chung et al., Dynamic Power Management Using Adaptive Learning Tree[C], Proc. Int'l Conf. Computer-Aided Design, IEEE CS Press, 1999:274-279.
    [56]. L. Benini et al., Policy Optimization for Dynamic Power Management[J],IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 16,no. 6,June 1999: 813-833.
    [57]. Q. Qiu and M. Pedram, "Dynamic Power Management Based on Continuous-Time Markov Decision Processes," Proc. Design Automation Conf.,ACM Press, New York, 1999,, pp. 555-561.
    [58]. 13. T. Simunic, L. Benini, and G.D. Micheli, "Event-Driven Power Management of Portable Systems," Proc. Int'l Symp. System Synthesis, IEEE CS Press, Los Alamitos, Calif., 1999, pp. 18-23.
    [59]. 14. T. Simunic et al., "Dynamic Power Management for Portable Systems,"Int'l Conf. Mobile Computing and Networking, ACM Press, New York, 2000, pp.11-19.
    [60]. C. Im, H. Kim, and S. Ha. Dynamic Voltage Scheduling Technique for Low-powerMultimediaApplications Using Buffers. ISLPED, 2001: 34-39.
    [61]. Y.-H. Lu, L. Benini, and G D. Micheli. Dynamic Frequency Scaling With Buffer Insertion for Mixed Workloads[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 21(11), November 2002:1284-1305.
    [62]. Q. Qiu, Q.Wu, and M. Pedram. Dynamic PowerManagement in A Mobile Multimedia System With Guaranteed Quality-of-service[C]. DAC, 2001:834-839.
    [63]. L. Benini, R. Hodgson, and P. Siegel, System-Level power estimation and optimization [C], in Int. Symp. Low Power Architecture and Design, Aug. 1998:173-178.
    [64]. IBM and MontaVista Software, Dynamic Power Management for Embedded Systems, http://www.research.ibm.com/arl/projects/dpm.html. November 2002.
    [65]. ZHU, Y. AND MUELLER, F. 2004. Feedback EDF scheduling exploiting dynamic voltage scaling[C]. In Proceedings of IEEE Real-Time Embedded Technology and Applications Symposium (RTAS). Toronto, Canada. 2004: 84-93.
    [66]. SINHA, A. AND CHANDRAKASAN, A. 2001. Dynamic voltage scheduling using adaptive filtering of workload traces[C]. In Proceedings of International Conference on VLSI Design (VLSID). 2001.
    [67]. YUAN, W. AND NAHRSTEDT, K. 2003. Energy-efficient soft real-time CPU scheduling for mobile multimedia systems[C]. In Proceedings of ACM Symposium on Operating Systems Principles (SOSP).2003
    [68]. LORCH, J. AND SMITH, A. 2004. PACE: a new approach to dynamic voltage scaling [J]. IEEE Trans. Comput. 53, 7, 2004:856-869.
    [69]. GRUIAN, F. 2001a. Hard real-time scheduling for low-energy using stochastic data and dvs processors. In Proceedings of International Symposium on Low Power Electronics and Design (ISLPED).
    [70]. ZHANG, Y., LU, Z., LACH, J., SKADRON, K., AND STAN, M. 2005.Optimal procrastinating voltage scheduling for hard real-time systems[C]. In Proceedings of Desing Automation Conference (DAC).
    [71]. ZHU, Y. AND MUELLER, F. Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling, Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems. Volume 40, Issue 7, 2005: 203-212.
    [72]. Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling, Real-Time Systems archive, Volume 31, Issue 1-3, December 2005:33-63.
    [73]. MAHALANOBIS, A., KUMAR, B. V. K. V, AND SIMS, S. Distance-classifier correlation filters for multiclass target recognition. Appl. Optics 35, 1996.
    [74]. D Mosse, B Childers, R Melhem, ANDMELHEM, R. Compiler-assisted dynamic power-aware scheduling for real-time applications[C]. In Proceedings of Workshop on Compiler and OS for Low Power (COLP). 2000.
    [75]. SAEWONG, S. AND RAJKUMAR, R. Practical voltage-scaling for fixed-priority RT-systems. In Proceedings of IEEE Real-Time Embedded Technology and Applications Symposium (RTAS). 2003.
    [76]. AYDIN, H., MELHEM, R., MOSS'E, D., AND MEJIA-ALVAREZ, P.Dynamic and aggressive scheduling techniques for power-aware real-time systems.In Proceedings of IEEE Real-Time Systems Symposium (RTSS). 2001:95-105.
    [77]. H. Aydin, R. Melhem, D. Moss'e and P.M. Alvarez. Optimal Reward-Based Scheduling for Periodic Real-Time Tasks. IEEE Transactions on Computers 50(2),February 2001: 111-130.
    [78]. H. Aydin. Enhancing Performance and Fault Tolerance in Reward-Based Scheduling[D].Ph.D.Dissertation,University of Pittsburgh,August 2001.
    [79].LORCH,J.AND SMITH,A.Improving dynamic voltage scaling algorithms with PACE[C].In Proceedings of ACM SIGMETRICS.2001.
    [80].LORCH,J.AND SMITH,A.PACE:a new approach to dynamic voltage scaling[J].IEEE Trans.Comput.53,7,2004:856-869.
    [81].JR Lorch,AJ Smith.Improving dynamic voltage scaling algorithms with PACE[J].ACM SIGMETRICS Performance Evaluation Review,Volume 29,Issue 1,2001:50-61.
    [82].R Xu,C Xi,R Melhem,D Mosse.Practical PACE for embedded systems[C].Proceedings of the 4th ACM international conference on Embedded software,2004:54-63.
    [83].W.Yuan and K.Nahrstedt.Energy-Effcient Soft Real-Time CPU Scheduling for Mobile Multimedia Systems[C].In ACM SOSP'03,October 2003.
    [84].W Yuan,K Nahrstedt.Energy-efficient CPU scheduling for multimedia applications[J].ACM Transactions on Computer Systems(TOCS),Volume 24,Issue 3,2006:292-331.
    [85].W Yuan,K Nahrstedt,SV Adve,DL Jones,RH Kravets.GRACE-1:Cross-Layer Adaptation for Multimedia Quality and Battery Energy[J].IEEE TRANSACTIONS ON MOBILE COMPUTING,VOL.5,NO.7,JULY 2006:799-815.
    [86].KIM,W.,SHIN,D.,YUN,H.,KIM,J.,AND MIN,S.Performance comparison of dynamic voltage scaling algorithms for hard real-time systems[C].In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS).2002.
    [87].ZHANG,Y.,LU,Z.,LACH,J.,SKADRON,K.,AND STAN,M.Optimal procrastinating voltage scheduling for hard real-time systems[C].In Proceedings of Desing Automation Conference(DAC).2005.
    [88].Seo,T Kim,ND Dutt.Optimal integration of inter-task and intra-task dynamic voltage scaling techniques for hard real-time applications.Proceedings of the 2005IEEE/ACM International conference on Computer-aided design.2005:450-455.
    [89].刘吴,卜爱国针。对电压可调处理器的低功耗设计策略,电路与系统学报,2006年第11卷第5期。
    [90].吴琦,熊光泽,廖勇。DVS系统硬实时周期任务动态调度算法。电子科技大学学报,2007年第36卷第5期。
    [91].彭蔓蔓,李仁发,王宇明。一种基于程序段的动态电压缩放算法。计算 机研究与发展Vol.45 No.6,2008:1093-1098.
    [92].张盛,王乃龙,周润德,动态电压调整的系统级功耗管理模型,清华大学学报(自然科学版),2005年04期。
    [93].Seng JS,Tullsen DM.The effect of compiler optimizations on pentium 4power consumption[C].In:IEEE,ed.Proc.of the 7th Annual Workshop on Interaction between Compilers and Computer Architectures.Washington:IEEE Computer Society Press,2003:1-6.
    [94].M.Valluri and L.John.Is compiling for performance=compiling for power?[C],In Proceedings of the 5th Annual Workshop on Interaction between Compilers and Computer Architectures,Jan.2001.
    [95].Kandemir,M.,Vijaykrishnan,N.,Irwin,M.J.,and Ye,W.2000.Influence of compiler optimizations on system power.In Proceedings of the 37th Conference on Design Automation(Los Angeles,California,United States,June 05-09,2000).DAC'00.ACM Press,New York,NY,2000:304-307.
    [96].Kim,H S;Irwin,M J;Vijaykrishnan,N;Kandemir,M.,Effect of compiler optimizations on memory energy[C].IEEE WORKSHOP SIGNAL PROCESS SYST SIPS DES IMPLEMENT.2000:663-672.
    [97].C.L.Su et al.Low power architecture design and compilation techniques for high-performance processors[C].In IEEE COMPCON,Feb.1994.
    [98].V.Tiwari,S.Malik,and A.Wolfe.Power analysis of embedded software:A first step towards software power minimization.Technical Report CE-M94-4,Princeton Univ.,Dept.of Elect.Eng.,April 1994.
    [99].Tiwari V,Malik S,Wolfe A.Compilation techniques for low energy:An overview.In:IEEE[C],IEEE Symp.on Low-Power Electronics.Washington:IEEE Computer Society Press,1994.1-3.
    [100].A.V.Aho,R.Sethi,and J.D.Ullman.Compilers,Princzples,Techniques and ToolS.Addison Wesley,1988.
    [101].M.Benitez and J.Davidson.A retargetable integrated code improver.Technical Report CS-93-64,Univ.of Virginia,Dept of Computer Sc.,Nov.1993.
    [102].Stefan Steinke,Ruediger Schwarz,Lars Wehmeyer,Peter Marwedel.Low power code generation for a RISC processor by Register Pipelining.Technical Report 754,University of Dortmund,Dept.of Computer Science Ⅻ,2001.
    [103].Rabbah,R.M.and Palem,K.V.2003.Data remapping for design space optimization of embedded memory systems[J].Trans.on Embedded Computing Sys.2,2(May.2003),186-218.
    [104].V.Bala,E.Duesterwald,and S.Banerjia.Transparent dynamic optimization: The design and implementation of Dynamo.Technical Report HPL-1999-78,HP Laboratories,1999.
    [105].Michal Cierniak,Guei-Yuan Lueh,James M.Stichnoth,Practicing JUDO:Java under dynamic optimizations[C],Proceedings of the ACM SIGPLAN 2000conference on Programming language design and implementation,p.13-26,June 18-21,2000,Vancouver,British Columbia,Canada
    [106].P.Unnikrishnan,G.Chen,M.Kandemir,D.R.Mudgett,Dynamic compilation for energy adaptation[C],Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design,November 10-14,2002,San Jose,California.2002:158-163.
    [107].Unnikfishnan,P.,Kandemir,M.,and Li,F.2006.Reducing dynamic compilation overhead by overlapping compilation and execution[C].In Proceedings of the 2006 Conference on Asia South Pacific Design Automation (Yokohama,Japan,January 24-27,2006).ASP-DAC'06.ACM Press,New York,NY,929-934.
    [108].C-H Hsu and U.Kremer.The design,implementation,and evaluation of a compiler algorithm for CPU energy reduction[C].In Proc.of PLDI-2003,June 2003:38-48.
    [109].FEN XIE,MARGARET MARTONOSI,and SHARAD MALIK.Intra-program Dynamic Voltage Scaling:Bounding Opportunities with Analytic Modeling[J].ACM Transactions on Architecture and Code Optimization,Vol.1,No.3,September 2004:323-367.
    [110].Chung-Hsing Hsu,Ulrich Kremer,Michael Hsiao.Compiler-Directed Dynamic VF Scheduling for Energy Reduction in Microprocessors[C].ISLPED'01,August 6-7,Huntington Beach,California,USA,2001.
    [111].唐志敏,Guang R.Gao,张兆庆,赵荣彩。编译指导的多线程低功耗技术研究[J],计算机研究与发展,2002年12期。
    [112].易会战,陈娟,杨学军,等.基于语法树的实时动态电压调节低功耗算法[J].软件学报,2005,16(10):1726-1734)
    [113].易会战,杨学军,有效的低功耗编译优化方法:部件使用局部化[J],《软件学报》2004年第15卷第10期。
    [114].V.Haldar,C.Probst,V.Venkatachalam,and M.Franz.Virtual machine driven dynamic voltage scaling.Technical Report CS-03-21,University of California,Irvine,CA,Oct 2003.
    [115].C-H Hsu and U.Kremer.The design,implementation,and evaluation of a compiler algorithm for CPU energy reduction. In Proc. of PLDI-2003, pages 38.48,June 2003.
    [116]. F. Xie, M. Martonosi, and S. Malik. Bounds on power savings using runtime dynamic voltage/frequency scaling: An exact algorithm and a linear-time heuristic approximation. In Proc. of ISLPED, August 2005.
    [117]. HSU C. Compiler-directed dynamic voltage and frequency scaling for cpu power and energy reduction [D]. PhD thesis, Rutgers: The State University of New Jersey, New Brunswick, 2003.
    [118]. VENKATACHALAM V, FRANZ M. Power reduction techniques for microprocessor systems [J]. ACM Computing Surveys, 2005, 37(3): 195-237.
    [119]. LAHIRI K, RAGHUNATHAN A, DEY S, et al. Battery-driven system design:a new frontier in low power design[C]. IEEE 3ed Proceeding of the ASP-DAC/7th Asia and South Pacific and the 15th International Conference on VLSI Design.Washington: IEEE, 2002: 261-267.
    [120]. MARTIN T. Balancing batteries, power, and performance: system issues in cpu speed-setting for mobile computing [D]. Pennsylvania: University of Pittsburgh, 1999.
    [121]. KISTLER T, FRANZ M. Continuous program optimization: a case study [J].ACM Transaction on Program Lang System, 2003, 25(4): 500-548.
    [122]. QURESHI M K, PATT Y N. Utility-based cache partitioning: a low-overhead,high-performance, runtime mechanism to partition shared caches [C] 39th Annual IEEE/ACM International Symposium on Microarchitecture. Orlando,IEEE Computer Society, 2006.
    [123]. ZHUANG X, PANDE S. Power-efficient prefetching for embedded processors [J]. ACM Transactions on Embedded Computing Systems (TECS),Special Issue on Best Papers from LCTES-04, Vol 6, No. 1, 2007.
    [124]. LINDEN D. Handbook of batteries and fuel cells [M]. New York:McGraw-Hill, 1984.
    [125]. SYRACUSE K C, CLARK W D K. A statistical approach to domain performance modeling for oxyhalide primary lithium batteries [C]. Proceeding of Annual Battery Conference on Applications and Advances. Long Beach, CA, USA:[s. n.], 1997.
    [126]. PEDRAM M, WU Q. Design considerations for battery-powered electronics[C]. Proceeding of Design Automation Conference. New Orleans, LA,USA:ACM, 1999:861-866.
    [127]. RAKHMATOV D, VRUDHULA S B K. Time to failure estimation for batteries in portable systems [C]. Proceedings of the 2001 International Symposium on Low Power Electronics and Design. Huntington Beach: ACM,2001:88-91.
    [128]. BURD T, BRODERSEN R. Energy efficient CMOS microprocessor design [C]. 28th Hawaii International Conference on System Sciences. Hawaii: IEEE,1995.
    [129]. PERING T, BURD T, BRODERSEN R. Dynamic voltage scaling and the design of a low-power microprocessor system[C]. Proceedings of the 25th Annual International Symposium on Computer Architecture. Barcelona, Spain: ACM,1998.
    [130]. GOCHMAN S, RONEN R, ANATI I, et al. The Intel Pentium M processor:microarchitecture and performance[J]. Intel Technology Journal, 2003,7(2):21-36.
    [131]. Intel Corp. Intel? PXA255 Processor Design Guide [R]. [S. 1.]: Intel, 2003.
    [132]. LIU J. Real-time Systems[M]. Prentice Hall, 2000.
    [133]. BURD T, BRODERSEN R. Design issues for dynamic voltage scaling[C].Proceedings of the 2000 international symposium on Low power electronics and design, Rapallo, Italy. 2000: 9-14.
    [134]. LU Y, CHUNG E Y, SIMUNIC T, BENINI L, AND MICHELI G Quantitative comparison of power management algorithms[C]. Proceedings of Design Automation and Test in Europe, Mar 2000.
    [135]. BENINI L, BOGLIOLO A, DE MICHELI G A survey of design techniques for system-level dynamic power management[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Volume 8, Issue 3, Jun 2000:299 - 316
    [136]. LEHOCZKY J, SHA L, DING Y The rate monotonic scheduling algorithm:exact characterization and average case behavior, Proceedings of Real Time Systems Symposium, 1989 , 5-7 Dec 1989: 166-171.
    [137]. PILLAI P. AND SHIN K. Real-time dynamic voltage scaling for low-power embedded operating systems[C]. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (Banff, Alberta, Canada, October 21- 24, 2001). SOSP '01. ACM, New York, NY: 89-102.
    [138]. KRANTZ S, KRESS S, AND KRESS R. Jensen's Inequality[M]. Birkhauser.1999.
    [139]. RUIBIN X, DANIEL M, RAMI M. Minimizing expected energy consumption in real-time systems through dynamic voltage scaling[J]. ACM Transactions on Computer Systems (TOCS), Volume 25 Issue 4 December 2007:9.1-9.40
    [140]. QIANG W, MARGARET M, DOUGLAS W, REDDI V, DAN C, YOUFENG WU, JIN L, DAVID B, "A Dynamic Compilation Framework for Controlling Microprocessor Energy and Performance[C], 38th Annual IEEE/ACM International Symposium on Microarchitecture , micro 2005:271-282.
    [141]. Clark, L.T.; Hoffman, E.J.; Miller, J.; Biyani, M.; Luyun Liao; Strazdus, S.;Morrow, M.; Velarde, K.E.; Yarch, M.A., An embedded 32-b microprocessor core for low-power and high-performance applications[J], IEEE Journal of Solid-State Circuits, vol.36, no.11, Nov 2001: 1599-1608.
    [142]. BASU A, KIRMAN N, KIRMAN M, CHAUDHURI M, MARTINEZ J.Scavenger: A New Last Level Cache Architecture with Global Block Priority[C].Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture. IEEE Computer Society Washington, DC, USA. 2007: 421-432
    [143]. PAPOULIS A, Poisson Process and Shot Noise 2nd Ed[M]. McGraw-Hill,New York, 1984.
    [144]. RUEMMLER C AND WILKES J. Unix disk access patterns[C]. In USENIX Winter Conference, 1993:405-420
    [145]. XIE F, MARGARET M, SHARAD M, Compile-Time Dynamic Voltage Scaling Settings: Opportunities and Limits[C]. Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation,San Diego, California, USA, June 9-11, 2003: 49-62
    [146]. ABOUGHAZALEH N, MOSSE D, CHILDERS B, MELHEM R.Collaborative operating system and compiler power management for real-time applications[J]. ACM Transactions on Embedded Computing Systems (TECS),Vol. 5, No. 1, February 2006:82-115
    
    [147]. Intel. Sitsang / PXA255 Evaluation Platform User's Guide. September 2003.
    [148]. Intel. Intel? PXA255 Processor Developer's Manual. March, 2003.
    [149]. Intel. Intel?PCA Power Management Software Design Guide. September 04,2002.
    [150]. Contreras G; Martonosi M. Power prediction for Intel XScale? processors using performance monitoring unit events. Proceedings of the 2005 international symposium on Low power electronics and design. 8-10 Aug. 2005:221-226.
    [151]. X-Hyper255B Xscale PXA255 Evaluation Board, HyBus Co., Ltd, 2003.
    [152]. Son SW, Chen G, Kandemir M, Choudhary. A Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems.Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming. Chicago, IL, USA, 2005: 174-185.
    [153]. M.C. Carlisle, A. Rogers, J. H. Reppy, and L. J. Hendren. Early experiences with Olden. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing, August 1993.
    [154]. McVoy, L. and Staelin, C. lmbench. Portable Tools for Performance Analysis. Proceedings of USENIX 1996 Annual Technical Conference. 1996.
    [155]. C-K Luk, R. Cohn, R. Muth, R. Muth, H. Patil, A. Kaluser, G Lowney, S.Wallace, V.J. Reddi, and K. Hazelwood. PIN: Building customized program analysis tools with dynamic instrumentation. In Proceedings of PLDI'05, June 2005:190-200.
    [156]. Q. Wu, V.J. Reddi, Y. Wu, J. Lee, D. Connors, D. Brooks, M. Martonosi, and D.W. Clark. A dynamic compilation framework for controlling microprocessor energy and performance. In Proceedings of the 38th MICRO, Nov 2005.
    [157]. Canturk Isci, Gilberto Contreras and Margaret Martonosi. Live, Runtime Phase Monitoring and Prediction on Real Systems with Application to Dynamic Power Management. The 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06), 2006.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700