书籍详情
《面向嵌入式系统的绿色编译理论与方法研究何炎祥科学》[47M]百度网盘|亲测有效|pdf下载
  • 面向嵌入式系统的绿色编译理论与方法研究何炎祥科学

  • 出版社:昇腾图书专营店
  • 出版时间:2014-05
  • 热度:7069
  • 上架时间:2024-06-30 09:08:33
  • 价格:0.0
书籍下载
书籍预览
免责声明

本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源,一旦发现资源涉及侵权,将立即删除。希望所有用户一同监督并反馈问题,如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正

内容介绍

   图书基本信息
图书名称 面向嵌入式系统的绿色编译理论与方法研究 作者 何炎祥
定价 65.00元 出版社 科学出版社
ISBN 9787030405012 出版日期 2014-05-01
字数 252000 页码 187
版次 1 装帧 平装
开本 12开 商品重量 0.4Kg

   内容简介
编译器作为软件开发和构建的重要工具,在进行系统化、结构化的优化方面具有无可比拟的优势。随着嵌入式系统的广泛普及和应用,其绿色指标的好坏受到了人们的广泛关注。而嵌入式系统是软硬件的结合体,其绿色指标显著受其硬件工艺和技术的制约。《面向嵌入式系统的绿色编译理论与方法研究》从能耗以及资源的均衡使用度这两个影响嵌入式系统绿色指标的主要方面出发,系统而全面的介绍了绿色编译优化理论及其关键技术在嵌入式系统中的应用。其主要内容包括绿色编译器定义、绿色编译优化框架、绿色评估模型、面向嵌入式系统绿色需求的指令调度方法和多目标数据分配方法、针对新型存储技术的栈数据分配方法、能耗错误检测和定位方法、新型绿色编译优化技术以及绿色编译优化的未来发展趋势。

   作者简介

   目录
《信息科学技术学术著作丛书》序
前言
章绪论
1.1研究背景
111绿色需求对现代嵌入式系统的重要性
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.1PCM面临的挑战及解决方案
5.1.2STT—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章总结与展望
后记——三言两语

   编辑推荐
《信息科学技术学术著作丛书:面向嵌入式系统的绿色编译理论与方法研究》大部分内容是作者近年来的新研究成果,具有较强的原创性,可作为高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关学科高年级本科生或研究生的教材,也可供软件优化等相关领域的研究人员借鉴。

   文摘

   序言