面向嵌入式系统绿色需求的编译理论与方法研究
项目介绍
AI项目解读
基本信息
- 批准号:61373039
- 项目类别:面上项目
- 资助金额:78.0万
- 负责人:
- 依托单位:
- 学科分类:F0202.系统软件、数据库与工业软件
- 结题年份:2017
- 批准年份:2013
- 项目状态:已结题
- 起止时间:2014-01-01 至2017-12-31
- 项目参与者:李飞; 李莉; 邵凌霜; 吴伟; 陈勇; 李清安; 江南; 徐超; 吴炳廉;
- 关键词:
项目摘要
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) 研究基于编译的静态分析和动态分析相结合的能耗错误检测和定位方法,以方便开发者修改程序中的能耗错误,提高最终程序的绿色指标。
结项摘要
随着各种嵌入式设备的广泛普及和应用,其产生的能耗、电子垃圾等对环境的影响越来越严重,如何对其上运行的软件进行控制,减少嵌入式设备工作时对环境的影响已经迫在眉睫。编译器作为软件开发的重要工具,对指导软件开发和软件优化具有独特的优势,是实现软件绿色需求必不可少的工具。为此,本项目拟从编译器的角度出发,对实现嵌入式系统绿色需求的相关方法进行研究,主要内容包括:1)研究嵌入式系统的绿色编译器框架,以保证各种绿色编译优化方法以及相关调试技术能够在该框架中顺利有效的实施。2)研究编译器可控的绿色评估模型,以指导和评估编译器的绿色优化效果。3) 根据现有嵌入式系统的存储结构、总线结构以及多核处理器的特点,研究针对性绿色优化方法,使生成的软件代码能够获得较高的绿色评估值。4) 研究编译指导的静态分析和动态分析相结合的能耗错误检测和定位方法,以帮助开发修正程序中的能耗错误,提高最终程序的绿色指标。
项目成果
期刊论文数量(15)
专著数量(0)
科研奖励数量(0)
会议论文数量(2)
专利数量(0)
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
一种面向GPGPU的行为感知的存储调度策略
- DOI:--
- 发表时间:2017
- 期刊:计算机工程与科学
- 影响因子:--
- 作者:刘子骏;何炎祥;张军;李清安;沈凡凡
- 通讯作者:沈凡凡
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
- 作者:李建华
- 通讯作者:李建华
Automatic code generation method based on Esterel
- 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:--
- 发表时间:2015
- 期刊:微电子学与计算机
- 影响因子:--
- 作者:吴炳廉;吴炳廉;何炎祥;何炎祥
- 通讯作者:何炎祥
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
面向微博短文本的细粒度情感特征抽取方法
- DOI:--
- 发表时间:2014
- 期刊:北京大学学报(自然科学版)
- 影响因子:--
- 作者:贺飞艳;何炎祥;刘楠;刘健博;彭敏
- 通讯作者:彭敏
基于Petri网的Web服务组合验证方法
- DOI:--
- 发表时间:2015
- 期刊:计算机科学
- 影响因子:--
- 作者:沈华;何炎祥;张明武
- 通讯作者:张明武
用于微博情感分析的一种情感语义增强的深度学习模型
- DOI:--
- 发表时间:2016
- 期刊:计算机学报
- 影响因子:--
- 作者:何炎祥;孙松涛;牛菲菲;李飞
- 通讯作者:李飞
基于LLVM的编译实验课程设计
- DOI:--
- 发表时间:2019
- 期刊:计算机教育
- 影响因子:--
- 作者:李清安;袁梦霆;王汉飞;吴黎兵;何炎祥
- 通讯作者:何炎祥
一种面向网格资源预留的索引链表研究
- DOI:--
- 发表时间:2011
- 期刊:武汉理工大学学报(信息与管理工程版)
- 影响因子:--
- 作者:吴黎兵;于天水;何炎祥;李飞
- 通讯作者:李飞
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
何炎祥的其他基金
基于DNN开发框架的高性能优化方法研究
- 批准号:
- 批准年份:2019
- 资助金额:60 万元
- 项目类别:面上项目
基于编译的嵌入式系统优化研究
- 批准号:61170022
- 批准年份:2011
- 资助金额:58.0 万元
- 项目类别:面上项目
可信软件构造理论与方法研究
- 批准号:91118003
- 批准年份:2011
- 资助金额:300.0 万元
- 项目类别:重大研究计划
可信编译理论与实现方法研究
- 批准号:90818018
- 批准年份:2008
- 资助金额:50.0 万元
- 项目类别:重大研究计划
面向低速率拒绝服务攻击防范的安全适应性机制研究
- 批准号:60773008
- 批准年份:2007
- 资助金额:25.0 万元
- 项目类别:面上项目
低速率的拒绝服务攻击模型和防范研究
- 批准号:60642006
- 批准年份:2006
- 资助金额:7.0 万元
- 项目类别:专项基金项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}