共享存储概述

共享存储如同其名字所隐喻的，是物理存储器中一段可由两个以上的进程共享的存储空间。共享存储段具有大小和物理存储地址。想要访问共享存储段的进程可以连接这段存储区域到自己的地址空间中任何适合的地方，其他进程也一样。这样，多个进程便可以访问相同的物理存储。其中箭头表示进程的逻辑存储与物理存储的映射关系。共享存储计算机系统由于支持传统的单地址编程空间，减轻了程序员的编程负担，因此它具有较强的通用性，且可以方便地移植现有的应用软件。早期的共享存储计算机采用集中式的共享存储器，即多个处理机通过总线、交叉开关或多级互联网络等与共享存储器相连，所有处理机访问存储器时都有相同的延迟。
然而，由于多个处理机共享存储器，使得存储器成为系统瓶颈。为此，在规模较大的共享存储计算机系统中，把共享存储器分成许多模块，并使它们分布于各结点之间(一个结点可能有一个或多个处理机)，这种系统称为分布式共享存储(DSM)计算机系统，即每个结点包含共享存储器的一部分，结点之间通过可伸缩性好的互联网络相连。分布式的存储器和可伸缩的互联网络增加了访存带宽，但导致不均匀的访存延迟。为了缓解由存储共享引起的冲突以及由存储器分布引起的访存延迟，共享存储计算机系统的处理器中一般都有高速缓冲存储器。但高速缓冲存储器的使用带来了高速缓冲存储器一致性问题。另外，存储器的分布使处理机访问不同的存储单元有不同的延迟。为了保证并行程序的正确执行，需要有某种高速缓冲存储器一致性协议和存储一致性模型。

高速缓冲存储器一致性协议是把系统中的一个处理机新写的值传播给其他处理机的机制。高速缓冲存储器一致性协议都是为实现某种存储一致性模型而设计的。存储一致性模型是系统设计者和程序员之间的一种约定，它给出了判断共享存储程序及结构正确的标准，其中顺序一致性模型被普遍作为共享存储程序执行正确的标准，也是定义其他弱一致性模型的基础。在顺序一致性模型中，多个处理器并行执行程序的结果等于把每个处理机所执行的指令流按某种方式顺序地交织在一起在单机上执行的结果。如果在多处理机环境下的一·个并行执行的结果和同一程序在单处理机多进程环境下的执行结果相同，则此并行执行正确。在共享存储系统中，为了实现顺序一致性模型，需要对访存事件次序施加严格的限制，为了放松对访存事件次序的限制，人们提出了一系列弱存储一致性模型。这些弱存储一敛性模型的基本思想是：在顺序一致性模型中，虽然为了保征正确执行而对访存事件次序施加了严格的限制，但在大多数不会引起访存冲突的情况下，这些限制是多余的，因此可以让程序员承担部分执行正确性的责任，即在程序中指出需要维护一致性的访存操作，系统只保证在用户指出的需要保持一致性的地方维护数据一致性，而对用户未加说明的部分，则可以不考虑处理机之间的数据相关。

根据存储器的分布、一致性的维护以及实现方式等特征，常见的共享存储系统的体系结构有以下几种：(1)无高速缓冲存储器的集中式共享存储结构这种结构的处理机没有高速缓冲存储器，多个处理机通过交叉开关或多级互联网络等直接访问共享存储器。由于任一存储单元在系统中只有一个备份，这类系统不存在高速缓冲存储器一致性问题，系统的可伸缩性受限于交叉开关或多级互联网络的带宽。采用这种结构的典型例子是并行向量机及大型机，如美国Cray公司的Cray-XMP、YMP-C90等。

(2)基于高速缓冲存储器的集中式共享存储结构 在这种结构的系统中，每个处理机都有高速缓冲存储器，多个处理机一般通过总线与存储器相连。每个处理机的高速缓冲存储器通过侦听总线来维持数据一致性。由于总线是独占性资源，这类系统的伸缩性是有限的。这种结构常见于采用对称式多处理机(SMP)系统的服务器和工作站中，如4DEC，SUN，Sequent以及SGl等公司的多机工作站产品。