面向嵌入式系统的绿色编译理论与方法PDF格式文档图书下载
第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
- 《面向嵌入式系统的绿色编译理论与方法》何炎祥,陈勇著 2014
- 《面向对象的嵌入式系统开发》朱成果编著 2007
- 《嵌入式计算:体系结构、编译器和工具的VLIN方法》(美)费希尔(Fisher,J.A.)等著 2006
- 《面向MOOC的图书馆嵌入式服务创新》《图书情报工作》杂志社编 2018
- 《嵌入式操作系统实用教程》沙祥主编 2017
- 《从实践中学嵌入式Linux操作系统》华清远见嵌入式学院编著 2012
- 《面向物联网的嵌入式系统开发 基于CC2530和STM32微处理器》廖建尚,冯锦澎,纪金水编著 2019
- 《嵌入式操作系统 Linux篇》程姚根,苗德行主编 2014
- 《Cortex-M3之STM32嵌入式系统设计》廖义奎编著 2012
- 《串行通信技术 面向嵌入式系统开发》周云波编著 2019
- 《大脑的延伸》周兆华,何炎祥编著 1996
- 《高级操作系统》何炎祥等编著 1999
- 《编译程序构造》何炎祥编 1988
- 《面向对象数据库》何炎祥,郑振楣等编著 1995
- 《编译原理》何炎祥主编 2000
- 《操作系统原理》苏开根,何炎祥编著 1988
- 《并行程序设计方法》何炎祥编著 1994
- 《一级考试模拟试题集》何炎祥等编 1998
- 《二级考试模拟试题集》何炎祥等著 1998
- 《操作系统原理》何炎祥等编著 2004
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016