面向嵌入式系统绿色需求的编译理论与方法研究

批准号:
61373039
项目类别:
面上项目
资助金额:
78.0 万元
负责人:
何炎祥
依托单位:
学科分类:
F0202.系统软件、数据库与工业软件
结题年份:
2017
批准年份:
2013
项目状态:
已结题
项目参与者:
李飞、李莉、邵凌霜、吴伟、陈勇、李清安、江南、徐超、吴炳廉
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
微信扫码咨询
中文摘要
随着各种嵌入式设备的广泛普及和应用,其产生的能耗、电子垃圾等对环境的影响越来越严重,如何对其上运行的软件进行控制,减少嵌入式设备工作时对环境的影响已经迫在眉睫。编译器作为软件开发的重要工具,对指导软件开发和软件优化具有独特的优势,是实现软件绿色需求必不可少的工具。为此,本项目拟从编译器的角度出发,对实现嵌入式系统绿色需求的相关方法进行研究,主要内容包括:1)研究嵌入式系统的绿色编译器框架,以保证各种绿色编译优化方法以及相关调试技术能够在该框架中顺利有效的实施。2)研究编译器可控的绿色评估模型,以指导和评估编译器的绿色优化效果。3) 根据现有嵌入式系统的存储结构、总线结构以及多核处理器的特点,研究针对性绿色优化方法,使生成的软件代码能够获得较高的绿色评估值。4) 研究基于编译的静态分析和动态分析相结合的能耗错误检测和定位方法,以方便开发者修改程序中的能耗错误,提高最终程序的绿色指标。
英文摘要
With the widely spread and applications of the embedded devices, the heat, radiation and e-waste are bringing more and more serious inpact on the environment. How to reduce the serious inpact by carefully controlling the software on the embedded device is a imminent problem. As the most important tool of software development, compiler has unique advantages to direct the software development and optimization for green requirement. In this project, we will research the green compilation methods for embedded devices based on the basic theory of compiler. The major contents include: 1) Framework for the green compilation of emebeded systems, which will be used to make sure that all the green compile debugging and optimization methods can be implemented effectively. 2) The green assessment model for green compiler, which will be used to give effective guidance and evaluation to a variety of green compiler techniques. 3) Accoding to the characteristics of the storage structure, bus architecture and multicore processors of the existing embedded systems, we will use unique green optimization to make sure that the resulting software get higher green assessed value. 4) Research on the compiler-based methods that combined with static and dynamic analysis to detecting and locating the energy bugs. It can help developer get high green quality software.
随着各种嵌入式设备的广泛普及和应用,其产生的能耗、电子垃圾等对环境的影响越来越严重,如何对其上运行的软件进行控制,减少嵌入式设备工作时对环境的影响已经迫在眉睫。编译器作为软件开发的重要工具,对指导软件开发和软件优化具有独特的优势,是实现软件绿色需求必不可少的工具。为此,本项目拟从编译器的角度出发,对实现嵌入式系统绿色需求的相关方法进行研究,主要内容包括:1)研究嵌入式系统的绿色编译器框架,以保证各种绿色编译优化方法以及相关调试技术能够在该框架中顺利有效的实施。2)研究编译器可控的绿色评估模型,以指导和评估编译器的绿色优化效果。3) 根据现有嵌入式系统的存储结构、总线结构以及多核处理器的特点,研究针对性绿色优化方法,使生成的软件代码能够获得较高的绿色评估值。4) 研究编译指导的静态分析和动态分析相结合的能耗错误检测和定位方法,以帮助开发修正程序中的能耗错误,提高最终程序的绿色指标。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Feedback Learning Based Dead Write Termination for Energy Efficient STT-RAM Caches
用于节能 STT-RAM 缓存的基于反馈学习的死写终止
DOI:10.1049/cje.2017.03.014
发表时间:2017-05
期刊:Chinese Journal of Electronics
影响因子:1.2
作者:李建华
通讯作者:李建华
Compiler-Assisted Refresh Minimization for Volatile STT-RAM Cache
易失性 STT-RAM 缓存的编译器辅助刷新最小化
DOI:10.1109/tc.2014.2360527
发表时间:2015-08
期刊:IEEE Transactions on Computers
影响因子:3.7
作者:Yiran Chen;Yiran Chen;Chun Jason Xue;Chun Jason Xue
通讯作者:Chun Jason Xue
DOI:--
发表时间:2017
期刊:计算机工程与科学
影响因子:--
作者:刘子骏;何炎祥;张军;李清安;沈凡凡
通讯作者:沈凡凡
DOI:10.13700/j.bh.1001-5965.2015.0108
发表时间:2015-05
期刊:Journal of Beijing University of Aeronautics and Astronautics
影响因子:--
作者:He Yanxiang;He Yanxiang;Yu Tao;Liu Jianbo;Xu Chao
通讯作者:Xu Chao
DOI:--
发表时间:2017
期刊:中国科技论文
影响因子:--
作者:张晓曈;何炎祥
通讯作者:何炎祥
基于DNN开发框架的高性能优化方法研究
- 批准号:61972293
- 项目类别:面上项目
- 资助金额:60.0万元
- 批准年份:2019
- 负责人:何炎祥
- 依托单位:
基于编译的嵌入式系统优化研究
- 批准号:61170022
- 项目类别:面上项目
- 资助金额:58.0万元
- 批准年份:2011
- 负责人:何炎祥
- 依托单位:
可信软件构造理论与方法研究
- 批准号:91118003
- 项目类别:重大研究计划
- 资助金额:300.0万元
- 批准年份:2011
- 负责人:何炎祥
- 依托单位:
可信编译理论与实现方法研究
- 批准号:90818018
- 项目类别:重大研究计划
- 资助金额:50.0万元
- 批准年份:2008
- 负责人:何炎祥
- 依托单位:
面向低速率拒绝服务攻击防范的安全适应性机制研究
- 批准号:60773008
- 项目类别:面上项目
- 资助金额:25.0万元
- 批准年份:2007
- 负责人:何炎祥
- 依托单位:
低速率的拒绝服务攻击模型和防范研究
- 批准号:60642006
- 项目类别:专项基金项目
- 资助金额:7.0万元
- 批准年份:2006
- 负责人:何炎祥
- 依托单位:
国内基金
海外基金
