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