可共享多通道Cache设计及存储体系的CPN建模与验证
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题的背景与意义 | 第11-12页 |
| ·CMP及其存储体系的发展现状 | 第12-14页 |
| ·CPN建模的意义与应用 | 第14-15页 |
| ·论文的主要工作 | 第15页 |
| ·论文的组织结构 | 第15-16页 |
| 第二章 面向多核的共享多通道Cache体系设计 | 第16-32页 |
| ·现有多核处理器存储体系结构研究 | 第16-18页 |
| ·面向多核的共享多通道Cache体系综述 | 第18-21页 |
| ·Cache的映射机制 | 第19-20页 |
| ·FA-AUMCC体系结构 | 第20-21页 |
| ·FA-AUMCC体系的写策略 | 第21页 |
| ·FA-AUMCC体系的模块设计 | 第21-26页 |
| ·TAG模块的数据存储与控制分析 | 第22-24页 |
| ·BUFFER模块的数据存储与控制分析 | 第24-25页 |
| ·SRAM模块的数据存储与控制分析 | 第25-26页 |
| ·FA-AUMCC体系的Cache一致性协议 | 第26-31页 |
| ·典型Cache一致性协议介绍 | 第26-28页 |
| ·FA-AUMCC一致性协议设计 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第三章 基于CPN的FA-AUMCC体系建模 | 第32-45页 |
| ·CPN工具简介 | 第32-34页 |
| ·CPN简介 | 第32-33页 |
| ·CPN Tools简介 | 第33-34页 |
| ·FA-AUMCC体系的CPN层次化模型框架 | 第34页 |
| ·CPN层次化建模 | 第34-44页 |
| ·数据建模 | 第34-36页 |
| ·TOP层模型 | 第36-37页 |
| ·TAG模块模型 | 第37-41页 |
| ·BUFFER模块模型 | 第41页 |
| ·SRAM模块模型 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 FA-AUMCC体系模型验证与分析 | 第45-63页 |
| ·FA-AUMCC模型正确性验证 | 第45-46页 |
| ·子模块模型的正确性验证 | 第46-51页 |
| ·Tag模块模型的正确性验证 | 第46-49页 |
| ·Buffer模块模型的正确性验证 | 第49页 |
| ·Sram模块模型的正确性验证 | 第49-51页 |
| ·FA-AUMCC体系模型仿真分析 | 第51-62页 |
| ·并行数据访问测试例仿真 | 第51-56页 |
| ·冲突数据访问测试例仿真 | 第56-62页 |
| ·本章小结 | 第62-63页 |
| 第五章 总结与展望 | 第63-64页 |
| ·总结 | 第63页 |
| ·展望 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 攻读硕士期间发表的论文 | 第69页 |