第一章 导论 1
1.1背景 1
1.1.1并行计算机体系结构 2
1.1.2并行分布操作系统 6
1.2本书主要内容简介 12
1.2.1本书的研究重点 12
1.2.2本书的研究难点 15
1.3相关研究工作概述 16
1.3.1单系统映像方面的相关工作 16
1.3.2虚共享方面的相关工作 18
1.3.3存储一致性模型方面的相关工作 20
1.3.4页迁移方面的相关工作 21
1.4本书的主要工作和创新 22
1.5本书的结构 24
第二章 共享存储抽象层与并行分布操作系统的逻辑框架 24
2.1并行分布操作系统面临的机遇和挑战 26
2.2共享存储抽象层 33
2.2.1共享存储抽象层的概念 34
2.2.2共享存储空间的组织 37
2.2.3一致性的粒度与实现层次 40
2.2.4共享存储访问操作的过程 42
2.3并行分布操作系统的逻辑结构框架 45
2.3.1概念层次 45
2.3.2结构层次 47
2.3.3实现层次 48
2.4本章小结 50
第三章S3 C框架与线程一致性模型 51
3.1存储一致性模型及其不足 51
3.1.1存储一致性模型的发展阶段 53
3.1.2存储一致性模型简介 57
3.2存储一致性模型的S3C框架 62
3.3线程一致性模型 68
3.3.1系统抽象 68
3.3.2线程一致性模型的定义 69
3.3.3线程一致性模型的特点 76
3.4线程一致性模型的正确性 77
3.4.1用S3C框架来描述线程一致性模型 77
3.4.2线程一致性模型的正确性证明 79
3.5基于Linux的模拟实现方案 85
3.5.1 MTK系统简介 85
3.5.2 MIK系统的核心数据结构 85
3.5.3 MTK系统的功能模块 89
3.5.4线程一致性模型的实现机制 98
3.6模拟实验结果与性能分析 99
3.7本章小结 103
第四章 基于即态访问信息的动态页迁移技术 104
4.1并行计算机系统中的数据局部性 104
4.2页迁移技术 106
4.2.1页迁移技术中的关键问题 106
4.2.2几种典型的页迁移技术 111
4.3基于即态访问信息的动态页迁移技术 116
4.3.1即态访问信息 117
4.3.2基于即态访问信息的动态页迁移策略 121
4.3.3开销分析及算法的优化 128
4.3.4与其他动态页迁移策略的比较 128
4.4基于即态访问信息的动态页迁移策略的实现方案 130
4.4.1对Linux内核数据结构的修改 130
4.4.2基于即态访问信息的页迁移技术在Linux平台的实现方案 132
4.5性能测试和开销分析 137
4.6基于即态访问信息的动态页迁移策略的竞争性分析 139
4.6.1竞争性分析及其相关工作 139
4.6.2页复制情况下的竞争性分析 141
4.6.3页迁移情况下的竞争性分析 142
4.7关于页迁移策略的进一步考虑 147
4.7.1 Eager的动态页迁移策略 147
4.7.2页复制＋多写协议 149
4.8本章小结 150
第五章 结束语 151
5.1工作总结 151
5.2研究展望 152
参考文献 154