面向嵌入式系统绿色需求的编译技术研究
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-14页 |
| 第1章 绪论 | 第14-32页 |
| ·研究背景 | 第14-16页 |
| ·绿色需求对现代嵌入式系统的重要性 | 第14-15页 |
| ·编译器对嵌入式软件绿色优化的重要性 | 第15-16页 |
| ·国内外研究现状 | 第16-29页 |
| ·面向总线系统的绿色优化技术研究 | 第16-21页 |
| ·面向存储系统的绿色优化技术研究 | 第21-25页 |
| ·面向处理器的绿色优化技术研究 | 第25-27页 |
| ·软件自动化测试及能耗调试相关研究 | 第27-29页 |
| ·主要创新点 | 第29-30页 |
| ·组织结构 | 第30-32页 |
| 第2章 绿色编译及绿色评估模型 | 第32-37页 |
| ·绿色编译器定义 | 第32-33页 |
| ·绿色评估模型 | 第33-35页 |
| ·绿色编译优化评估模型 | 第34-35页 |
| ·能耗错误检测评估模型 | 第35页 |
| ·本章小结 | 第35-37页 |
| 第3章 面向嵌入式系统的指令调度方法 | 第37-71页 |
| ·面向TS处理器绿色指标的指令调度方法 | 第37-60页 |
| ·TS处理器简介 | 第37-39页 |
| ·图博弈模型 | 第39-40页 |
| ·编译器可控的TS处理器绿色评估指标 | 第40-42页 |
| ·基于图博弈模型的指令调度方法 | 第42-55页 |
| ·实验与结果分析 | 第55-60页 |
| ·面向总线翻转编码的绿色指令调度方法 | 第60-69页 |
| ·总线绿色评估模型 | 第60-61页 |
| ·总线翻转编码 | 第61-62页 |
| ·反馈信息指导的面向总线的绿色指令调度算法 | 第62-66页 |
| ·实验与结果分析 | 第66-69页 |
| ·本章小结 | 第69-71页 |
| 第4章 多目标数据分配优化方法 | 第71-94页 |
| ·数据分配对系统绿色指标的影响 | 第71-72页 |
| ·绿色评估模型指导的多目标数据分配优化方法 | 第72-89页 |
| ·数据分配总体优化框架 | 第72-74页 |
| ·可交换类指令操作数重排优化 | 第74-76页 |
| ·面向绿色需求的寄存器重分配方法 | 第76-85页 |
| ·面向存储系统绿色指标的栈数据分配方法 | 第85-89页 |
| ·实验与结果分析 | 第89-93页 |
| ·实验构建 | 第89-90页 |
| ·实验结果与分析 | 第90-93页 |
| ·本章小结 | 第93-94页 |
| 第5章 基于符号执行的能耗错误检测及反例生成技术 | 第94-113页 |
| ·能耗错误简介 | 第94-95页 |
| ·符号执行技术 | 第95-96页 |
| ·基于符号执行技术的能耗错误分析方法 | 第96-104页 |
| ·能耗错误过程内分析 | 第96-103页 |
| ·能耗错误过程间分析 | 第103-104页 |
| ·应用举例 | 第104-111页 |
| ·实验结果与分析 | 第111-112页 |
| ·实验构建 | 第111页 |
| ·实验结果与分析 | 第111-112页 |
| ·本章小结 | 第112-113页 |
| 第6章 总结与展望 | 第113-116页 |
| 中英文参考文献 | 第116-123页 |
| 攻博期间发表的主要学术论文 | 第123-124页 |
| 攻博期间合作发表的主要学术论文 | 第124-125页 |
| 参与主要科研项目 | 第125-126页 |
| 致谢 | 第126-128页 |
| 报送博士学位简况表 | 第128-129页 |
