多核处理器中目录控制器设计与实现-软件工程专业论文.docxVIP

声独 创 性 明 声 本人声明所呈交的学位论文是我本人在导师指导下进行的研究工作及取得 的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含 其他人已经发表和撰写过的研究成果，也不包含为获得囡防科学技术大学或其它 教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任 何贡献均已在论文中作了明确的说明并表示谢意。 学位论文题目: 多核处理器中目录控制器的设计与实现 学位论文作者签名: 监委 日期: 立。!铲年 P 月 2夕日 学位论文版权使用授权书 本人完全了解国防科学技术大学有关保留、使用学位论文的规定。本人授权 国防科学技术大学可以保留并向国家有关部门或机构送交论文的复印件和电子 文档，允许论文被查阅和借阅;可以将学位论文的全部或部分内容编入有关数据 库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。 (保密学位论文在解密后适用本授权书。) 学位论文题目: 多核处理器中目录控制器的设计与实现 学位论文作者签名: 飞 k哈  日期: )(}If 年  2 月 2--1日 作者指导教师签名:  ZF 叫 日期: 2/ r !if  3 月2-5 日 万方数据 万方数据 万方数据 国 国防科学技术大学研究生院工程硕士学位论文 目 录 摘 要 i ABSTRACT iii 第一章 绪论 1 1.1 课题的研究背景与意义 1 1.2 相关研究 2 1.3 论文的主要工作 3 1.4 论文的组织结构 4 HYPERLINK \l _TOC_250000 第二章 基于目录的 Cache 一致性协议 6 2.1 Cache 一致性问题产生的原因 6 2.1.1 Cache 写操作导致的 Cache 一致性问题 6 2.1.2 进程迁移导致的 Cache 一致性问题 7 2.1.3 绕过 Cache 的 I/O 操作导致的 Cache 一致性问题 8 2.2 目录协议的原理与实现策略 9 2.2.1 目录协议的原理 9 2.2.2 目录协议的实现策略 11 2.3 提升目录协议性能的方法 14 2.4 本章小结 15 第三章 目录控制器的工作原理16 3.1 多核处理器基本结构 16 3.2 目录控制器的一致性事务 17 3.2.1 L2Cache 请求事务 18 3.2.2 目录响应事务 19 IO 请求事务 19 IO 响应事务 19 3.2.5 监听事务 20 3.2.6 L2Cache 监听应答事务 20 3.3 一致性事务与 Cache 之间的关系 20 3.3.1 一致性事务与 L2Cache 之间的关系 21 3.3.2 一致性事务与 L3Cache 之间的关系 22 3.4 一致性事务的处理流程 23 第 I 页 万方数据 万方数据 3.4.1 L2Cache 请求事务的处理流程 24 3.4.2 IO 请求事务的处理流程 27 3.4.3 L2Cache 监听应答事务的处理流程 28 3.5 本章小结 32 第四章 目录控制器的设计与实现33 4.1 目录控制器整体设计方案 33 4.1.1 均衡监听设计 34 4.1.2 死锁避免设计 35 4.1.3 目录表的结构设计 36 4.2 请求接收单元的设计与实现 38 4.3 目录操作单元的设计与实现 39 4.3.1 目录组的结构优化设计 40 4.3.2 目录表的查询机制 41 4.4 监听响应发送单元的设计与实现 43 4.5 目录控制器的接口设计 44 DCU 与 NOC 之间的接口设计 45 DCU 和 L3Cache 之间的接口 47 4.6 本章小结 49 第五章 模拟验证50 5.1 模拟验证的内容与方法 50 5.2 DCU 的功能验证 50 5.2.1 模拟工具 51 5.2.2 测试激励的编写 51 5.2.3 基于断言的验证 52 5.2.4 覆盖率检查 53 5.3 功能验证的结果 54 CmdReceive 单元的功能验证 54 DirHandle 单元的功能验证 56 SnpRspSend 单元的功能验证 57 5.3.4 DCU 整体功能验证 58 5.4 本章小结 59 第六章 总结与展望60 致 谢62 第 II 页 第 PAGE 第 PAGE IV 页 万方数据 参考文献63 作者在学期间取得的学术成果65 表 目 录 表 3.1 L3Cache 与一致性事务之间的关系 23 表 3.2 L2cReadShared 事务的处理流程 24 表 3.3 L2cReadExclusive 事务的处理流程 25 表 3.4 L2cInvalid 事务的处理流程 26 表