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

《信息科学技术学术著作丛书》序前言第1章 绪论 1.1 研究背景 1.1.1 绿色需求对现代嵌入式系统的重要性 1.1.2 编译器对嵌入式软件绿色优化的重要性 1.2 国内外研究现状 1.2.1 面向总线系统的绿色优化技术研究 1.2.2 面向存储系统的绿色优化技术研究 1.2.3 面向处理器的绿色优化技术研究 1.2.4 软件自动化测试及能耗调试相关研究 1.3 组织结构 1.4 本章小结 参考文献第2章 绿色编译及评估模型 2.1 绿色编译器定义 2.2 绿色编译优化框架 2.3 绿色评估模型 2.3.1 绿色编译优化评估模型 2.3.2 能耗错误检测评估模型 2.4 本章小结 参考文献第3章 面向嵌入式系统的指令调度方法 3.1 面向时序推测处理器绿色指标的指令调度方法 3.1.1 时序推测处理器简介 3.1.2 图博弈模型 3.1.3 编译器可控的时序推测处理器绿色评估指标 3.1.4 基于图博弈模型的指令调度方法 3.1.5 实验与结果分析 3.2 面向总线翻转编码的绿色指令调度方法 3.2.1 总线绿色评估模型 3.2.2 总线翻转编码 3.2.3 反馈信息指导的面向总线的绿色指令调度算法 3.2.4 实验结果与分析 3.3 本章小结 参考文献第4章 多目标数据分配优化方法 4.1 数据分配对系统绿色指标的影响 4.2 绿色评估模型指导的多目标数据分配优化方法 4.2.1 多目标数据分配总体优化框架 4.2.2 可交换类指令操作数重排优化 4.2.3 面向绿色需求的寄存器重分配方法 4.2.4 面向存储系统绿色指标的栈数据分配方法 4.2.5 实验结果与分析 4.3 本章小结 参考文献第5章 面向新型存储技术的绿色编译优化方法 5.1 新型存储体系结构对绿色优化的影响 5.1.1 PCM面临的挑战及解决方案 5.1.2 STT-RAM面临的挑战及解决方案 5.2 面向混合便签式存储器的低能耗数据分配方法 5.2.1 背景知识 5.2.2 数据分配整数线性规划方法 5.2.3 迭代图着色算法 5.2.4 实验结果与分析 5.3 面向易失性STT-RAM缓存的低功耗编译优化方法 5.3.1 缓存刷新机制简介 5.3.2 数据分配方案同刷新频度的关系 5.3.3 数据分配整数线性规划解决方案 5.3.4 启发式分配方法 5.3.5 实验结果与分析 5.4 面向混合缓存的低功耗编译技术 5.4.1 混合缓存简介 5.4.2 混合缓存中迁移操作导致的负载 5.4.3 基于缓存加锁的方法 5.4.4 实验结果与分析 5.5 本章小结 参考文献第6章 基于符号执行的能耗错误检测及反例生成技术研究 6.1 能耗错误简介 6.2 符号执行技术 6.3 基于符号执行技术的能耗错误分析方法 6.3.1 能耗错误过程内分析 6.3.2 能耗错误过程间分析 6.4 应用举例 6.5 实验评估 6.5.1 实验构建 6.5.2 结果分析 6.6 本章小结 参考文献第7章 绿色编译新型优化方法探究 7.1 基于计算博弈论的分块多层次绿色编译优化 7.2 基于总线翻转编码和多维度集成学习的绿色编译技术 7.3 基于编译的多核环境下的并行程序绿色优化 7.3.1 基于数据依赖的程序数据级并行性挖掘 7.3.2 基于编译的异构多核环境下的低能耗多因素优化 7.4 基于编译的动静态结合能耗错误检测和定位方法 7.5 本章小结 参考文献第8章 总结与展望后记——三言两语

　　编译器作为软件开发和构建的重要工具，在对软件进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标已受到人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标不但受硬件工艺和技术的制约，更受到其上运行软件的影响。何炎祥、陈勇编著的这本《面向嵌入式系统的绿色编译理论与方法研究》从能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的问题出发，系统而全面地介绍绿色编译优化理论及其关键技术在嵌入式系统中的应用。　　《面向嵌入式系统的绿色编译理论与方法研究》大部分内容是作者近年来的最新研究成果，具有较强的原创性，可作为高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关学科高年级本科生或研究生的教材，也可供软件优化等相关领域的研究人员借鉴。