基于ScratchPad Memory的实时性研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-16页 |
| ·课题研究背景与意义 | 第9-10页 |
| ·国内外研究现状 | 第10-14页 |
| ·论文的主要工作 | 第14页 |
| ·论文的组织结构 | 第14-16页 |
| 第二章 实时系统WCET分析和SPM综述 | 第16-31页 |
| ·实时性WCET分析 | 第16-21页 |
| ·WCET分析基本概念 | 第16-17页 |
| ·WCET分析基本目标 | 第17页 |
| ·WCET分析方法 | 第17-21页 |
| ·SPM综述 | 第21-30页 |
| ·SPM与Cache的比较 | 第21-23页 |
| ·采用SPM的片上系统结构 | 第23-24页 |
| ·SPM的管理机制 | 第24-26页 |
| ·编译期SPM存储管理方法 | 第26-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 带冲突检测的最坏情况执行路径搜索方法 | 第31-46页 |
| ·分支约束与节点冲突形式 | 第31-34页 |
| ·分支约束的定义及分类 | 第31-32页 |
| ·将分支约束转换成冲突关系 | 第32-34页 |
| ·主要数据结构的简要说明 | 第34-36页 |
| ·节点间冲突关系的检测算法 | 第36-39页 |
| ·算法描述 | 第36-37页 |
| ·算法说明 | 第37-39页 |
| ·带冲突检测的基于路径的WCET计算方法 | 第39-42页 |
| ·算法说明 | 第39-40页 |
| ·算法描述 | 第40-42页 |
| ·示例程序 | 第42-45页 |
| ·程序代码和对应的控制流图 | 第42-43页 |
| ·示例工作过程说明 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 基于时间密度的SPM静态管理方法 | 第46-59页 |
| ·研究背景 | 第46-47页 |
| ·整体研究框架分析 | 第47-49页 |
| ·对象访问频度计算 | 第49-51页 |
| ·基于时间密度的静态分配策略 | 第51-56页 |
| ·获取最坏情况执行路径 | 第51页 |
| ·建立扩展的控制流图 | 第51-52页 |
| ·建立时间估算模型 | 第52-54页 |
| ·分配策略描述 | 第54-56页 |
| ·仿真试验 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第五章 工作总结与展望 | 第59-61页 |
| ·工作总结 | 第59-60页 |
| ·研究展望 | 第60-61页 |
| 参考文献 | 第61-67页 |
| 致谢 | 第67-68页 |
| 攻读硕士学位期间发表的论文 | 第68页 |
