信息科学技术学术著作丛书：面向嵌入式系统的绿色编译理论与方法研究
出版时间:
2014-05
版次:
1
ISBN:
9787030405012
定价:
65.00
装帧:
平装
开本:
32开
纸张:
胶版纸
页数:
200页
字数:
252千字
正文语种:
简体中文
2人买过
-
编译器作为软件开发和构建的重要工具，在对软件进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标已受到人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标不但受硬件工艺和技术的制约，更受到其上运行软件的影响。《面向嵌入式系统的绿色编译理论与方法研究》从能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的问题出发，系统而全面地介绍绿色编译优化理论及其关键技术在嵌入式系统中的应用。 《信息科学技术学术著作丛书》序
前言
第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.1PCM面临的挑战及解决方案99
5.1.2STTRAM面临的挑战及解决方案100
5.2面向混合便签式存储器的低能耗数据分配方法100
5.2.1背景知识101
5.2.2数据分配整数线性规划方法103
5.2.3迭代图着色算法105
5.2.4实验结果与分析111
5.3面向易失性STTRAM缓存的低功耗编译优化方法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
-
内容简介:
编译器作为软件开发和构建的重要工具，在对软件进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用，其绿色指标已受到人们的广泛关注。而嵌入式系统是软硬件的结合体，其绿色指标不但受硬件工艺和技术的制约，更受到其上运行软件的影响。《面向嵌入式系统的绿色编译理论与方法研究》从能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的问题出发，系统而全面地介绍绿色编译优化理论及其关键技术在嵌入式系统中的应用。
-
目录:
《信息科学技术学术著作丛书》序
前言
第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.1PCM面临的挑战及解决方案99
5.1.2STTRAM面临的挑战及解决方案100
5.2面向混合便签式存储器的低能耗数据分配方法100
5.2.1背景知识101
5.2.2数据分配整数线性规划方法103
5.2.3迭代图着色算法105
5.2.4实验结果与分析111
5.3面向易失性STTRAM缓存的低功耗编译优化方法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
查看详情
-
全新
天津市西青区
平均发货14小时
成功完成率90.02%
-
全新
北京市丰台区
平均发货26小时
成功完成率87.06%
-
全新
江苏省南京市
平均发货15小时
成功完成率82.13%
-
全新
江苏省南京市
平均发货7小时
成功完成率98.27%
-
全新
江苏省无锡市
平均发货14小时
成功完成率94.59%
-
全新
广东省广州市
平均发货18小时
成功完成率87.61%
-
全新
江苏省南京市
平均发货7小时
成功完成率95.87%
-
全新
北京市西城区
平均发货16小时
成功完成率91.62%
-
全新
江苏省无锡市
平均发货15小时
成功完成率93.79%
-
全新
天津市河东区
平均发货24小时
成功完成率90.29%
-
全新
北京市朝阳区
平均发货9小时
成功完成率96.86%
-
全新
北京市顺义区
平均发货9小时
成功完成率94.02%
-
全新
北京市通州区
平均发货39小时
成功完成率76.19%
-
全新
广东省广州市
平均发货17小时
成功完成率89.06%
-
全新
北京市朝阳区
平均发货13小时
成功完成率93.07%
-
全新
北京市通州区
平均发货43小时
成功完成率76.19%
-
全新
广东省广州市
平均发货7小时
成功完成率88.41%
-
全新
北京市通州区
平均发货33小时
成功完成率83.17%
-
全新
北京市通州区
平均发货37小时
成功完成率79.07%
-
全新
北京市通州区
平均发货64小时
成功完成率81.25%
-
全新
江西省吉安市
平均发货59小时
成功完成率87.46%
占位居中
