硬件事务存储微体系结构及其验证研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 目录 | 第10-12页 |
| 图表索引 | 第12-15页 |
| 1 绪论 | 第15-27页 |
| ·课题背景 | 第15-17页 |
| ·事务存储概述 | 第17-19页 |
| ·事务存储概念的提出 | 第17-19页 |
| ·事务存储的特性与分类 | 第19页 |
| ·事务存储研究现状 | 第19-21页 |
| ·本文解决的关键问题 | 第21-23页 |
| ·嵌入式RISC处理器Gemini | 第23-25页 |
| ·本文主要工作与内容安排 | 第25-27页 |
| 2 硬件事务存储微结构 | 第27-53页 |
| ·硬件事务存储结构实现方式 | 第27-29页 |
| ·处理器微结构分析 | 第29-31页 |
| ·硬件事务存储的微结构设计 | 第31-44页 |
| ·事务优先级控制单元 | 第32-33页 |
| ·事务执行模型及状态机 | 第33-38页 |
| ·事务读/写标志位 | 第38-40页 |
| ·事务读/写地址buffer | 第40-42页 |
| ·事务执行检查点checkpoint | 第42页 |
| ·事务提交/回退及冲突检测单元 | 第42-44页 |
| ·软硬件编程接口 | 第44-46页 |
| ·性能评估 | 第46-50页 |
| ·相关工作 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 3 支持高速缓存一致性与HTM的存储结构 | 第53-91页 |
| ·缓存一致性与事务存储 | 第53-55页 |
| ·基于处理器微结构的协议设计 | 第55-66页 |
| ·TMESI协议 | 第55-59页 |
| ·缓存数据状态标志位 | 第59-61页 |
| ·处理器存储流水线控制 | 第61-64页 |
| ·同步原语 | 第64-66页 |
| ·多核实验平台构建 | 第66-73页 |
| ·目录及其响应处理 | 第67-70页 |
| ·网络接口 | 第70-73页 |
| ·实验方法 | 第73-81页 |
| ·实验平台配置 | 第73-74页 |
| ·评测程序 | 第74-81页 |
| ·实验结果 | 第81-89页 |
| ·物理性能 | 第81-83页 |
| ·应用性能 | 第83-89页 |
| ·相关工作 | 第89-90页 |
| ·本章小结 | 第90-91页 |
| 4 基于FPGA的硬件验证平台 | 第91-121页 |
| ·片上多核系统的仿真验证 | 第91-95页 |
| ·基于FPGA验证平台的设计实现 | 第95-102页 |
| ·设计目标与功能特性 | 第95-97页 |
| ·平台框架体系 | 第97-98页 |
| ·硬件平台设计 | 第98-102页 |
| ·FPGA配置 | 第99-100页 |
| ·时钟信号 | 第100-101页 |
| ·设计实现 | 第101-102页 |
| ·验证工作流程 | 第102-107页 |
| ·综合流程 | 第102页 |
| ·硬件系统划分 | 第102-105页 |
| ·设计移植 | 第105-107页 |
| ·验证评估实例 | 第107-117页 |
| ·验证配置 | 第107-108页 |
| ·验证实例 | 第108-116页 |
| ·扩展性 | 第116-117页 |
| ·相关工作 | 第117-118页 |
| ·本章小结 | 第118-121页 |
| 总结与展望 | 第121-125页 |
| 参考文献 | 第125-133页 |
| 作者攻读博士学位期间发表的论文 | 第133页 |
| 作者攻读博士学位期间参与的科研工作 | 第133页 |
