收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

面向嵌入式系统绿色需求的编译技术研究

陈勇  
【摘要】:随着各种手持嵌入式智能设备的广泛普及和应用,人们的生活质量得到了大幅度提升,但由此而引起的资源和环境问题也越来越严重。以低能耗、低污染为主要目标的绿色需求已经成为现代社会可持续发展的必然选择。 为降低嵌入式系统的能耗,提高嵌入式设备中各种资源的利用率,减少不必要的设备损耗,降低电子垃圾等有害物质的排放速度,一方面需要从材料的选取、设备的制造工艺等硬件部分进行改进,另一方面更需要对其上运行的软件进行相关优化,以充分发挥各种低能耗硬件设备的功效,适应不断增长的绿色需求。编译器作为软件开发和语言转换的工具,不但能够结合具体的嵌入式系统各部分硬件的特性进行针对性的优化,以指导生成的目标程序具有较高的绿色指标,而且能够利用其对源程序的分析结果,帮助程序员在程序开发过程中尽早的发现源程序中可能存在的能耗等绿色相关错误,提高软件的质量,减少其开发过程中因测试和调试而造成的资源和能源消耗。要系统化、自动化的对软件进行优化,必然离不开编译器的支持。 但传统编译优化技术主要以性能优化为主,较少的考虑能耗、资源等绿色相关因素的影响。而性能优化与绿色优化并不总是一致的。通常情况下,性能优化是以资源和能源的消耗为代价的(如使用较多的寄存器资源,提高处理器运行速率),因而不能仅仅依靠传统编译优化来满足绿色优化的需求。其次,传统编译辅助信息主要集中于对程序语言语法错误以及可能的空指针、数组越界等功能性错误的检测。而能耗错误等绿色相关错误并非功能性错误,传统编译器给出的信息对于检测这类错误,提高软件开发效率以及质量几乎无能为力。为弥补传统编译器在绿色优化中的不足,本文将对嵌入式系统的绿色需求进行分析,通过在编译的过程中对嵌入式系统中的软件进行针对性优化,减少其运行时的能耗,均衡设备中各种资源的使用,提高系统整体资源的利用度,以满足日益增长的绿色需求。主要研究内容和创新点包括以下四个方面: 1、结合了现有绿色需求的相关概念以及编译器本身的主要功能,给出了一种绿色编译器的定义,明确了该编译器优化的主要目标及其特点。同时,在该定义的指导下,对编译器指导的总体绿色评估模型进行了形式化描述,以有效的指导和评估绿色编译优化的顺利进行。 2、为充分发挥时序推测处理器的低能耗特性,减少其因为流水线的数据向前推送机制而导致的时序错误,降低因此而消耗的无效能源,对形式化的绿色评估模型进行了具体化,构建了以数据依赖为主要指标的时序推测处理器的绿色评估指标,并在此基础上提出了一种基于图博弈模型的指令调度算法。通过提高数据之间“写后读”依赖的时钟周期,减少因此而产生的数据向前推送操作,获得时序推测处理器绿色指标的大幅度提升。此外,针对带有总线翻转编码的总线系统,分析了绿色评估模型中总线相关的绿色评估指标,并以此为标准,设计了一种反馈信息指导的绿色指令调度算法。利用程序执行的动态反馈信息,结合总线翻转编码的特点,充分减少相邻总线之间的翻转次数,均衡各根总线之间的翻转负载,以提高该系统的绿色指标。 3、不同的数据分配方案对存储资源的使用、系统总的能源消耗等绿色相关指标将产生重要影响。为进一步提高系统的绿色指标,针对存储器层次存储单元的特点,分析了绿色评估模型中影响存储系统绿色指标的相关因子,设计了可交换类指令重排优化方法、基于扩展图着色的寄存器重分配优化方法和栈数据重分配方法,对编译器后端的寄存器以及栈数据进行重新调整,以获得较均衡的寄存器访问频度和栈存储单元访问频度,减少指令数据总线的动态翻转能耗。同时,为进一步提升系统的绿色指标,在前两种优化的基础上增加了迭代式优化,通过迭代优化使得寄存器使用更加均衡,相邻指令间的动态能耗更小。 4、为提高软件开发的质量,减少能耗错误导致的无用能源损耗,总结了能耗相关错误的相关特征,并以该特征为基础,结合符号执行技术,设计了能耗错误检测和定位方法。该方法首先利用过程内分析,获得单个函数的符号执行信息,然后利用过程间分析对单个函数的符号执行信息进行全局分析,以获得较为准确的执行开销、锁变量匹配等相关信息,检测出对应的能耗相关错误。同时,符号执行记录了对应的分支路径信息,利用该信息不但能够较好的生成对应的测试用例,而且可以结合约束求解器快速定位错误位置,为开发出高绿色指标的软件提供保障。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴承勇,连瑞琦,张兆庆,乔如良;协作式全局指令调度与寄存器分配[J];计算机学报;2000年05期
2 杨桃栏;GFT中的向量编译技术[J];国防科技大学学报;1988年02期
3 连瑞琦;张兆庆;;低功耗编译的若干相关技术[J];计算机科学;2004年08期
4 张军超;连瑞琦;张兆庆;;多寄存器组网络处理器上的寄存器分配技术[J];计算机学报;2006年01期
5 姜军;尉红梅;漆锋滨;;一种寄存器分配的优化策略[J];计算机应用与软件;2006年02期
6 张瑞红;;FOR语句在PL/0编译器中的不同实现[J];科技信息(学术研究);2007年29期
7 周婉婷;;高层次综合的算子调度与寄存器分配[J];中国集成电路;2007年11期
8 敬茂华;陶文金;;中缀式到逆波兰式的转换及求值[J];电脑编程技巧与维护;2010年07期
9 袁小龙,沈绪榜;一种高级综合中的寄存器分配算法[J];计算机工程与应用;1998年04期
10 吴圣宁;李思昆;;嵌入式处理器寄存器分配的一种混合演化算法[J];计算机科学;2007年08期
11 张海军;郑艳;李中升;;基于编译的低功耗技术研究[J];计算机工程与科学;2009年S1期
12 纪金龙,钟津立;并行程序设计的模型、语言及编译技术[J];小型微型计算机系统;1995年02期
13 王文义,苏士美;可视化集成软件环境VISE的研究与实现[J];计算机工程与应用;2000年02期
14 雷海燕,林争辉;一种寄存器分配算法[J];计算机工程;2001年08期
15 胡定磊,陈书明;低功耗编译技术综述[J];电子学报;2005年04期
16 任坤;严晓浪;孙玲玲;翁延玲;;基于改进图染色算法的ASIP寄存器分配器[J];浙江大学学报(工学版);2010年12期
17 伍抗逆;李斌;陈吉红;;面向开放式数控系统平台的NC代码解释器开发[J];中国机械工程;2006年02期
18 吴圣宁;李思昆;;若干编译优化技术的工程实现[J];计算机工程与应用;2007年03期
19 黄磊;冯晓兵;;结合的指令调度与寄存器分配技术[J];计算机应用研究;2008年04期
20 赵兴耀,单雅英;代码生成中的寄存器分配及优化[J];计算机工程;1983年01期
中国重要会议论文全文数据库 前10条
1 王绵斌;黄毅臣;张洁;耿鹏云;;基于概率分析方法的输变电工程造价风险评估模型[A];电网工程造价管理优秀论文[C];2011年
2 郭建军;戴葵;王志英;;一种多核处理器存储层次性能评估模型[A];第八届全国信息隐藏与多媒体安全学术大会湖南省计算机学会第十一届学术年会论文集[C];2009年
3 王梦麟;周明;靳焰;;联合作战模拟系统通信行动评估模型的建立[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
4 张学杰;;模糊神经网络在炮兵火力配系效能评估中的应用[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
5 王玉明;;美国构建政府绩效评估指标体系的探索与启示[A];“落实科学发展观推进行政管理体制改革”研讨会暨中国行政管理学会2006年年会论文集[C];2006年
6 纪建悦;刘红;吕帅;;基于二分法的企业智力资本评估研究[A];第十届中国管理科学学术年会论文集[C];2008年
7 孙志高;;空调水系统循环泵的选择与节能分析[A];江苏省制冷学会第四届年会论文集[C];2000年
8 陶荣尧;朱锦明;;宝钢高炉大喷煤冶炼的能耗状况及对环境的影响[A];2001中国钢铁年会论文集(上卷)[C];2001年
9 谢如鹤;刘广海;;铁路冷藏运输能耗调查及分析[A];中国制冷学会冷藏运输专业委员会学术年会论文集[C];2007年
10 王秀芳;包亦望;邱岩;刘小根;;水泥熟料的小能量振动破碎理论与实验研究[A];中国力学学会学术大会'2009论文摘要集[C];2009年
中国博士学位论文全文数据库 前10条
1 陈勇;面向嵌入式系统绿色需求的编译技术研究[D];武汉大学;2013年
2 吴圣宁;嵌入式处理器编译器关键技术研究[D];国防科学技术大学;2007年
3 李运;招商引资项目评估模型研究[D];大连理工大学;2011年
4 魏继增;可配置可扩展处理器关键问题研究[D];天津大学;2010年
5 朱二周;基于CPU/GPU平台的虚拟化技术研究[D];上海交通大学;2012年
6 赵亮;信息系统安全评估理论及其群决策方法研究[D];上海交通大学;2011年
7 陈平;代码复用攻击与防御技术研究[D];南京大学;2012年
8 任坤;DSP编译器关键技术研究[D];浙江大学;2007年
9 杜国柱;企业商业生态系统健壮性评估模型研究[D];北京邮电大学;2008年
10 徐建军;面向寄存器软错误的容错编译技术研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 孟昭天;基于GCC的ARCA3的编译器移植[D];哈尔滨工业大学;2010年
2 杨思敏;出具证明编译器中证明生成的研究[D];中国科学技术大学;2010年
3 徐艳;简单微型编译器Micro-X的设计与实现[D];电子科技大学;2011年
4 邵院华;基于QEMU仿真器的指令优化技术的研究与实现[D];电子科技大学;2013年
5 刘壮丽;面向TTA架构处理器的编译器技术的研究与实现[D];天津大学;2010年
6 陈月艳;企业网络营销策略研究[D];辽宁工程技术大学;2000年
7 吴明;变风量空调系统的能耗研究[D];西安建筑科技大学;2003年
8 蒋松强;新疆高等级公路安全设施效益评估模型的研究[D];新疆农业大学;2004年
9 刘娜;高科技企业价值评估方法选择研究[D];中南大学;2003年
10 楼少华;城市污水处理能量模型研究[D];重庆大学;2004年
中国重要报纸全文数据库 前10条
1 记者 毛庆 通讯员 先行;明年能耗水耗要比2004年降低10%[N];南京日报;2005年
2 范丽娜;黑龙江循环经济发展初见成效[N];中国矿业报;2007年
3 罗剑华;家中所有电器一天待机电耗约等于1度电[N];大众科技报;2006年
4 记者 宋健;上半年全国单位GDP能耗上升0.8%[N];人民政协报;2006年
5 记者 余万芳见习记者 魏金金;绍兴节能降耗系列新政开始“发威”[N];绍兴日报;2007年
6 刘铮;我国单位GDP能耗:三年来首次下降[N];新华每日电讯;2007年
7 记者 陶文忠通讯员 曲凤波 修蕾;大庆采油九厂再紧能耗阀门[N];中国石油报;2008年
8 安和 景明;能耗大户,降耗加把劲[N];无锡日报;2009年
9 记者 彭展 通讯员 彭媛 吴岳飞;巴陵石化烯烃部装置能耗连月下降[N];中国石化报;2009年
10 国家质检总局标准法规中心 刘昕 崔路;欧盟修改家电能耗标签指令[N];中国国门时报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978