分布式共享存储系统.docVIP

PAGE PAGE 10 分布式共享存储系统 TOC \o 1-3 第七章 分布式共享存储系统 PAGEREF _Toc531078920 \h 1 7.1引言 PAGEREF _Toc531078921 \h 1 7.1.1 并行计算机的存储系统组织 PAGEREF _Toc531078922 \h 1 7.1.2常见的共享存储系统 PAGEREF _Toc531078923 \h 3 7.2可扩放的高速缓存一致性协议 PAGEREF _Toc531078924 \h 7 7.2.1高速缓存一致性 PAGEREF _Toc531078925 \h 7 7.2.2 基于目录的高速缓存一致性协议 PAGEREF _Toc531078926 \h 8 7.3执行正确性模型和存储一致性模型 PAGEREF _Toc531078927 \h 13 7.3.1执行正确性模型和访存事件次序 PAGEREF _Toc531078928 \h 13 *7.3.2目录协议中访存事件次序的实现 PAGEREF _Toc531078929 \h 15 7.3.3存储一致性模型 PAGEREF _Toc531078930 \h 17 7.3.4存储一致性模型的框架模型 PAGEREF _Toc531078931 \h 20 7.3.5高速缓存一致性协议和存储一致性模型 PAGEREF _Toc531078932 \h 22 7.4 硬件DSM实例研究 PAGEREF _Toc531078933 \h 22 7.4.1 Stanford的DASH多计算机(CC-NUMA结构) PAGEREF _Toc531078934 \h 22 7.4.2 Kendall Square Research的KSR1(COMA结构) PAGEREF _Toc531078935 \h 26 7.5 共享虚拟存储系统SVM PAGEREF _Toc531078936 \h 29 7.5.1 SVM系统中的关键技术 PAGEREF _Toc531078937 \h 29 7.5.2 实例研究：JIAJIA共享虚拟存储系统 PAGEREF _Toc531078938 \h 33 7.6 小结：共享存储系统发展趋势 PAGEREF _Toc531078939 \h 40 习题 PAGEREF _Toc531078940 \h 41 参考文献 PAGEREF _Toc531078941 \h 44 本章首先介绍DSM的基本概念和可扩放的高速缓存一致性协议以及存储器一致性模型；接着在实例研究中详细讨论了两种有代表性的硬件DSM体系结构的机器—采用CC-NUMA的Stanford大学的DASH原型机和采用COMA结构的Kendall Square Research研制的KSR1；然后介绍了共享虚拟存储系统中的一些关键技术并以实例研究的方式讨论了JIAJIA共享虚拟存储系统；最后给出共享存储系统的发展趋势。 7.1引言 7.1.1 并行计算机的存储系统组织 并行计算机按照存储系统组织及编程界面的不同，可以大致分为两类：即共享存储的多处理机系统和消息传递的分布式存储多计算机系统。 1.共享存储系统和分布式存储系统 共享存储的并行机通常也称作紧密耦合多处理机，它具有一个所有处理器都可以一致访问的全局物理内存，并且可以通过对同一存储中共享数据（变量）的读写来提供一个简单通用的程序设计模型。用户还可以在这种系统上方便地仿真其它程序设计模型。程序设计的方便性和系统的可移植性使得并行软件的开发费用大为降低。然而，共享存储多处理机由于共享访问介质，使得在访问共享存储时要面临较重的竞争和较长的延迟，相对于分布式系统而言，这些问题会严重地损害其峰值性能和可扩放性。共享存储的多处理机如图7.1（b）所示，其中P表示处理器，M表示存储器。 分布式存储的并行机通常也叫做多计算机，是由多个具有本地存储模块的相互独立的处理节点通过互连网络连接而成的。其分布存储所具有的可扩放的性质使这类系统有可能获得非常高的计算性能。然而，不同节点上的进程间通信要使用消息传递模型，即通过显式的收发原语来完成。由于程序设计者需要认真考虑数据分配和消息通信，因而较共享存储系统上的程序设计要困难一些。另外不同地址空间的进程迁移使得问题更加复杂化。这样看来，分布式存储系统尽管硬件方面变得可扩放了，但软件方面的问题却更复杂了。消息传递的多计算机如图7.1（a）所示。 图 7.1 消息传递多计算机和共享存储多处理机 在共享存储系统中，所有处理器共享主存储器，每一处理器都可以把信息存入主存储器，或从中取出信息，处理器之间的通信通过访问共享变量来实现。而在消息传递系统中，每个处理器都有一个