| 中文摘要 | 第1-6页 |
| 英文摘要 | 第6-8页 |
| 第一章 导论 | 第8-23页 |
| §1．1 课题背景 | 第8-14页 |
| 1．1．1 并行计算机体系结构 | 第9-11页 |
| 1．1．2 并行分布操作系统 | 第11-14页 |
| §1．2 课题研究的内容 | 第14-17页 |
| 1．2．1 课题研究重点 | 第15-16页 |
| 1．2．2 课题研究难点 | 第16-17页 |
| §1．3 相关研究工作 | 第17-20页 |
| 1．3．1 单系统映像方面的相关工作 | 第17-18页 |
| 1．3．2 虚共享方面的相关工作 | 第18-19页 |
| 1．3．3 存储一致性模型方面的相关工作 | 第19-20页 |
| 1．3．4 页迁移方面的相关工作 | 第20页 |
| §1．4 本文的主要工作和创新 | 第20-22页 |
| §1．5 论文结构 | 第22-23页 |
| 第二章 共享存储抽象层与并行分布操作系统的逻辑框架 | 第23-39页 |
| §2．1 并行分布操作系统面临的机遇和挑战 | 第23-27页 |
| §2．2 共享存储抽象层 | 第27-34页 |
| 2．2．1 共享存储抽象层的概念 | 第27-29页 |
| 2．2．2 共享存储空间的组织 | 第29-31页 |
| 2．2．3 一致性的粒度与实现层次 | 第31-32页 |
| 2．2．4 共享存储访问操作的过程 | 第32-34页 |
| §2．3 并行分布操作系统的逻辑结构框架 | 第34-38页 |
| 2．3．1 概念层次 | 第34-36页 |
| 2．3．2 结构层次 | 第36-37页 |
| 2．3．3 实现层次 | 第37-38页 |
| §2．4 小结 | 第38-39页 |
| 第三章 S~3C框架与线程一致性模型 | 第39-71页 |
| §3．1 存储一致性模型及其不足 | 第39-45页 |
| §3．2 存储一致性模型的S~3C框架 | 第45-48页 |
| §3．3 线程一致性模型的定义 | 第48-54页 |
| 3．3．1 系统抽象 | 第49页 |
| 3．3．2 线程一致性模型的定义 | 第49-52页 |
| 3．3．3 线程一致性模型的特点 | 第52-54页 |
| §3．4 线程一致性模型的正确性 | 第54-59页 |
| 3．4．1 用S~3C框架来描述线程一致性模型 | 第54-55页 |
| 3．4．2 线程一致性模型的正确性证明 | 第55-59页 |
| §3．5 基于LINUX的模拟实现方案 | 第59-67页 |
| 3．5．1 MTK系统 | 第59页 |
| 3．5．2 MTK系统的功能模块 | 第59-66页 |
| 3．5．3 线程一致性模型的实现机制 | 第66-67页 |
| §3．6 模拟实验结果与性能分析 | 第67-70页 |
| §3．7 本章小结 | 第70-71页 |
| 第四章 基于即态访问信息的动态页迁移技术 | 第71-95页 |
| §4．1 并行计算机系统中的数据局部性 | 第71-72页 |
| §4．2 页迁移技术 | 第72-78页 |
| 4．2．1 页迁移技术中的关键问题 | 第72-75页 |
| 4．2．2 几种典型的页迁移技术 | 第75-78页 |
| §4．3 基于即态访问信息的动态页迁移技术 | 第78-87页 |
| 4．3．1 即态访问信息 | 第79-81页 |
| 4．3．2 基于即态访问信息的动态页迁移策略 | 第81-86页 |
| 4．3．3 开销分析及算法的优化 | 第86页 |
| 4．3．4 与其它动态页迁移策略的比较 | 第86-87页 |
| §4．4 基于即态访问信息的动态页迁移策略的实现方案 | 第87-92页 |
| 4．4．1 对Linux内核数据结构的修改 | 第87-89页 |
| 4．4．2 基于即态访问信息的页迁移技术在Linux平台的实现方案 | 第89-92页 |
| §4．5 性能测试和开销分析 | 第92-93页 |
| §4．6 关于页迁移策略的进一步考虑 | 第93-94页 |
| 4．6．1 Eager的动态页迁移策略 | 第93页 |
| 4．6．2 页复制+多写协议 | 第93-94页 |
| §4．7 本章小结 | 第94-95页 |
| 第五章 结束语 | 第95-97页 |
| §5．1 工作总结 | 第95-96页 |
| §5．2 研究展望 | 第96-97页 |
| 攻博期间发表论文情况 | 第97-98页 |
| 致谢 | 第98-99页 |
| 参考文献 | 第99-107页 |
