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

1 (p1): 第1章 绪论
1 (p1-1): 1.1研究背景
1 (p1-1-1): 1.1.1绿色需求对现代嵌入式系统的重要性
2 (p1-1-2): 1.1.2编译器对嵌入式软件绿色优化的重要性
3 (p1-2): 1.2国内外研究现状
3 (p1-2-1): 1.2.1面向总线系统的绿色优化技术研究
8 (p1-2-2): 1.2.2面向存储系统的绿色优化技术研究
13 (p1-2-3): 1.2.3面向处理器的绿色优化技术研究
16 (p1-2-4): 1.2.4软件自动化测试及能耗调试相关研究
18 (p1-3): 1.3组织结构
18 (p1-4): 1.4本章小结
18 (p1-5): 参考文献
26 (p2): 第2章 绿色编译及评估模型
26 (p2-1): 2.1绿色编译器定义
27 (p2-2): 2.2绿色编译优化框架
31 (p2-3): 2.3绿色评估模型
31 (p2-3-1): 2.3.1绿色编译优化评估模型
32 (p2-3-2): 2.3.2能耗错误检测评估模型
33 (p2-4): 2.4本章小结
33 (p2-5): 参考文献
35 (p3): 第3章 面向嵌入式系统的指令调度方法
35 (p3-1): 3.1面向时序推测处理器绿色指标的指令调度方法
35 (p3-1-1): 3.1.1时序推测处理器简介
38 (p3-1-2): 3.1.2图博弈模型
39 (p3-1-3): 3.1.3编译器可控的时序推测处理器绿色评估指标
41 (p3-1-4): 3.1.4基于图博弈模型的指令调度方法
55 (p3-1-5): 3.1.5实验与结果分析
59 (p3-2): 3.2面向总线翻转编码的绿色指令调度方法
59 (p3-2-1): 3.2.1总线绿色评估模型
61 (p3-2-2): 3.2.2总线翻转编码
61 (p3-2-3): 3.2.3反馈信息指导的面向总线的绿色指令调度算法
65 (p3-2-4): 3.2.4实验结果与分析
68 (p3-3): 3.3本章小结
69 (p3-4): 参考文献
71 (p4): 第4章 多目标数据分配优化方法
71 (p4-1): 4.1数据分配对系统绿色指标的影响
73 (p4-2): 4.2绿色评估模型指导的多目标数据分配优化方法
73 (p4-2-1): 4.2.1多目标数据分配总体优化框架
74 (p4-2-2): 4.2.2可交换类指令操作数重排优化
76 (p4-2-3): 4.2.3面向绿色需求的寄存器重分配方法
85 (p4-2-4): 4.2.4面向存储系统绿色指标的栈数据分配方法
89 (p4-2-5): 4.2.5实验结果与分析
93 (p4-3): 4.3本章小结
93 (p4-4): 参考文献
96 (p5): 第5章 面向新型存储技术的绿色编译优化方法
96 (p5-1): 5.1新型存储体系结构对绿色优化的影响
99 (p5-1-1): 5.1.1 PCM面临的挑战及解决方案
100 (p5-1-2): 5.1.2 STT-RAM面临的挑战及解决方案
100 (p5-2): 5.2面向混合便签式存储器的低能耗数据分配方法
101 (p5-2-1): 5.2.1背景知识
103 (p5-2-2): 5.2.2数据分配整数线性规划方法
105 (p5-2-3): 5.2.3迭代图着色算法
111 (p5-2-4): 5.2.4实验结果与分析
114 (p5-3): 5.3面向易失性STT-RAM缓存的低功耗编译优化方法
115 (p5-3-1): 5.3.1缓存刷新机制简介
117 (p5-3-2): 5.3.2数据分配方案同刷新频度的关系
119 (p5-3-3): 5.3.3数据分配整数线性规划解决方案
122 (p5-3-4): 5.3.4启发式分配方法
125 (p5-3-5): 5.3.5实验结果与分析
136 (p5-4): 5.4面向混合缓存的低功耗编译技术
137 (p5-4-1): 5.4.1混合缓存简介
138 (p5-4-2): 5.4.2混合缓存中迁移操作导致的负载
142 (p5-4-3): 5.4.3基于缓存加锁的方法
145 (p5-4-4): 5.4.4实验结果与分析
150 (p5-5): 5.5本章小结
150 (p5-6): 参考文献
154 (p6): 第6章 基于符号执行的能耗错误检测及反例生成技术研究
154 (p6-1): 6.1能耗错误简介
155 (p6-2): 6.2符号执行技术
157 (p6-3): 6.3基于符号执行技术的能耗错误分析方法
157 (p6-3-1): 6.3.1能耗错误过程内分析
164 (p6-3-2):…