多机系统下数据Cache的设计
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 一. 绪论 | 第8-15页 |
| ·课题背景及来源 | 第8-9页 |
| ·多处理器体系结构发展现状 | 第9-11页 |
| ·Cache技术发展现状 | 第11-13页 |
| ·论文研究内容 | 第13-14页 |
| ·论文安排 | 第14-15页 |
| 二.“龙腾R2”Cache体系结构 | 第15-24页 |
| ·“龙腾R2”体系结构概述 | 第15-17页 |
| ·“龙腾R2”指令集系统结构 | 第15-16页 |
| ·“龙腾R2”微处理器的结构 | 第16-17页 |
| ·存储管理单元体系结构 | 第17-19页 |
| ·Cache体系结构 | 第19-24页 |
| ·Cache体系结构确定 | 第19页 |
| ·Cache大小的选择 | 第19-20页 |
| ·Cache内存映射技术 | 第20-21页 |
| ·Cache替换算法选择 | 第21-23页 |
| ·Cache预取策略 | 第23-24页 |
| 三.Cache一致性协议研究 | 第24-35页 |
| ·高速缓存一致性 | 第24-25页 |
| ·存储一致性模型 | 第25-26页 |
| ·侦听协议分类 | 第26-31页 |
| ·写无效，Cache写回-MSI | 第27-28页 |
| ·写无效，Cache写回-MESI | 第28-30页 |
| ·写无效，Cache写直达-VI | 第30-31页 |
| ·写更新，Cache写回-Dragon | 第31页 |
| ·性能分析 | 第31-32页 |
| ·基本实现技术 | 第32-35页 |
| ·无效操作 | 第32页 |
| ·数据定位 | 第32-33页 |
| ·侦听实现 | 第33-35页 |
| 四.“龙腾R2”数据Cache的设计 | 第35-51页 |
| ·地址映象方式 | 第35-36页 |
| ·存储标志WIM位说明 | 第36-37页 |
| ·数据Cache的写回策略 | 第37页 |
| ·一致性协议设计 | 第37-42页 |
| ·对侦听和本地请求的仲裁 | 第42-43页 |
| ·数据Cache的实现 | 第43-51页 |
| ·数据Cache RAM模块 | 第43-44页 |
| ·数据Cache控制模块 | 第44-46页 |
| ·数据Cache命中模块 | 第46-48页 |
| ·数据Cache替换逻辑 | 第48页 |
| ·数据Cache预取模块 | 第48-49页 |
| ·数据Cache输入输出模块 | 第49-51页 |
| 五.“龙腾R2”数据Cache的验证 | 第51-61页 |
| ·验证相关技术 | 第51-55页 |
| ·验证方法 | 第51-52页 |
| ·系统仿真模型 | 第52-53页 |
| ·断言验证 | 第53-55页 |
| ·Vera | 第55页 |
| ·数据Cache的验证 | 第55-59页 |
| ·仿真平台的构建 | 第56-57页 |
| ·基于Vera平台的随机验证 | 第57-59页 |
| ·验证结果 | 第59页 |
| ·SMP系统仿真 | 第59-61页 |
| ·仿真模型构建 | 第59-60页 |
| ·侦听协议验证 | 第60-61页 |
| 六.结束语 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 发表论文和参加科研情况说明 | 第66-67页 |
| 致谢 | 第67-68页 |
| 西北工业大学业 学位论文知识产权声明书 | 第68页 |
| 西北工业大学 学位论文原创性声明 | 第68页 |
