| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-6页 |
| 第一章 绪论 | 第6-11页 |
| §1．1 科学计算和并行计算机的发展 | 第6-7页 |
| §1．2 国际国内虚拟分布式共享存储系统的研究概况 | 第7-9页 |
| 1．2．1 SVM的发展历史 | 第7-8页 |
| 1．2．2 SVM最近的研究进展 | 第8-9页 |
| §1．3 课题简介 | 第9-10页 |
| 1．3．1 课题来源 | 第9页 |
| 1．3．2 主要研究内容与工作 | 第9-10页 |
| §1．4 论文的组织 | 第10-11页 |
| 第二章 虚拟分布式共享存储系统原理 | 第11-22页 |
| §2．1 共享存储的组织（SHARED MEMORY ORGANIZATION） | 第11-12页 |
| 2．1．1 共享存储的分布（Data Location） | 第11页 |
| 2．1．2 地址空间结构（Address—Space Structure） | 第11-12页 |
| §2．2 CACHE一致性协议（CACHE CONSISTENCY PROTOCOL） | 第12-15页 |
| 2．2．1 写失效（Write-Invalidate）&写更新（Write-Update） | 第12-13页 |
| 2．2．2 单写（Single-Write）&多写协议（Multiple-Write） | 第13页 |
| 2．2．3 监听协议（Snooping Protocol）&目录协议（Directory_based Protocol） | 第13-15页 |
| §2．3 存储一致性模型（MEMORY CONSISTENCY MODEL） | 第15-17页 |
| §2．4 一致性粒度（GRANULARITY） | 第17-18页 |
| §2．5 实现层次（IMPLEMENTATION LAYER） | 第18页 |
| §2．6 SVM系统的典型案例 | 第18-22页 |
| 2．6．1 TreadMarks | 第18-20页 |
| 2．6．2 JIAJIA | 第20页 |
| 2．6．3 Quarks | 第20-22页 |
| 第三章 线程一致性模型 | 第22-31页 |
| §3．1 线程一致性模型的理论根据 | 第22-23页 |
| §3．2 多线内核体系结构的系统抽象 | 第23-24页 |
| §3．3 线程一致性模型的定义 | 第24-27页 |
| 3．3．1 线程状态 | 第24-25页 |
| 3．3．2 同构唤醒线程簇 | 第25页 |
| 3．3．3 存储访问请求的执行完毕 | 第25-26页 |
| 3．3．4 线程一致性模型的三个条件 | 第26-27页 |
| §3．4 线程一致性模型的证明 | 第27-28页 |
| §3．5 线程一致性模型的主要特点 | 第28页 |
| §3．6 TC一致性模型和RC一致性模型的性能对比 | 第28-31页 |
| 第四章 MTK分布共享存储系统的实现与性能分析 | 第31-51页 |
| §4．1 MTK系统概述 | 第31页 |
| §4．2 MTK系统的共享存储空间的组织 | 第31-32页 |
| §4．3 CACHE一致性协议 | 第32页 |
| §4．4 MTK的功能模块 | 第32-46页 |
| 4．4．1 核心数据结构 | 第32-34页 |
| 4．4．2 初始化模块 | 第34-35页 |
| 4．4．3 共享存储管理模块 | 第35-38页 |
| 4．4．4 同步模块 | 第38-41页 |
| 4．4．5 通信模块 | 第41-46页 |
| §4．5 线程一致性模型的实现机制 | 第46-47页 |
| §4．6 编程模型 | 第47-48页 |
| §4．7 性能分析 | 第48-51页 |
| 4．7．1 请求调页开销 | 第49页 |
| 4．7．2 一致性维护开销 | 第49页 |
| 4．7．3 通信开销 | 第49-50页 |
| 4．7．4 并行程序加速比 | 第50-51页 |
| 第五章 结束语 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-54页 |
