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

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) 研究编译指导的静态分析和动态分析相结合的能耗错误检测和定位方法，以帮助开发修正程序中的能耗错误，提高最终程序的绿色指标。