第十一章-分布式共享内存.ppt

4.释放一致性（自由一致性） 获得访问权：通知系统进程正准备进入临界区，所有其它成员所做的修改结果都要加以传播，并由本地的处理器来更新。 释放访问权：通知系统，进程准备退出临界区，对共享内存所作的本地修改将传播到其它的各个成员。 在访问共享变量前，进程所有先前的获取访问都必须成功地完成； 分布式共享存储器在遵守以下规定时是释放一致的 在允许释放访问前，进程先前的所有读写操作都必须结束； 获取访问和释放访问必须是处理器一致的。 4. 释放一致性 举例 释放一致性的有效序列 P1: W(x)1 P2: Rel(L) W(x)2 P3: R(x)1 R(x)2 Acq(L) Acq(L) Rel(L) 说明：进程P1执行获取访问，两次改变共享变量，然后执行释放操作 进程P2执行获取访问，读取x。 进程P3读共享变量，但在读共享变量前没有执行获取访问 释放一致性 急性释放一致性(EAGER release consistency) 当执行了释放操作，执行此操作的处理机将所有修改的数据传给所有那些已经有其缓冲拷贝且可能需要它的处理机 惰性释放一致性（LAZY release consistency） 在执行释放时，不发送任何数据。 在执行获取操作时，处理机试图从拥有这些变量的机器上取得它们的最新值 5.入口一致性 （ 1）只有某一进程的保护共享变量全部被更新以后，该进程才允许执行同步变量的获取访问； （2）在一进程以互斥模式访问该进程的同步变量之前，不允许其他进程持有此同步变量，即使在非互斥模式下； （3）在结束互斥模式下对一个同步变量的访问后，任意其他进程必须与该变量的拥有者核查，才能试图以非互斥模式访问该同步变量。 一致性模型总结 不用同步操作的一致性模型 一致性 说明 严格 所有的共享访问事件都有绝对时间顺序 顺序 所有进程都以相同的顺序检测到所有的共享访问事件 因果 所有进程都以相同的顺序检测到所有因果联系的事件 PRAM 所有的进程按照预定的顺序检测到来自一个处理器的写操作,来自其它处理器的写操作不必以相同的顺序看见 处理器 PRAM一致性+存储器相关性 一致性模型总结 使用同步操作的一致性模型 一致性 说明 弱 同步完成后,共享数据才可能保持一致 释放 当离开临界区时,共享数据就保持一致 入口 当进入临界区时,和该临界区相关的共享数据保持一致 Thanks ! * 第十一章 分布式共享内存 11.1 概 述 11.2 设计和应用 11.3 一致性模型 11.4 小结 主要内容 11.1 概 述 分布式共享内存（Distributed Shared Memory):它使得不同机器上的进程不用通过共享物理内存就可以使用共享数据。DSM是一个共享内存的程序模型，它在某些方面要优于基于消息的模型。 DSM使不同的机器无需共享物理内存就可以访问共享数据。进程访问DSM中的数据就如同访问本机的内存一样。DSM运行系统还应保证在不同机器上执行的进程可以观察到别人对DSM的修改。 图1.1 DSM 抽象 分布式共享内存 物理 内存 物理 内存 物理 内存 分布式共享内存 DSM应用的中心问题有三个：一是当系统容纳相应多的设备时，怎样保持系统的高性能；二是访问DSM将导致大量通信开销的产生；三是访问DSM的进程相当多时，怎样保证系统的一致性。 本章将讨论DSM的一些设计和应用问题，重点在于一致性模型。 11.1.1 消息传递与DSM的比较 1.程序模型 不需要编码、解码 数据的安全 数据的表示（是否统一的） 进程同步方法 异步的通信方式 2.效率 为DSM编写的并行程序的执行功能，在相同的硬件平台上，与基于消息传递模型编写的程序基本相等，至少在机器数量相对少的情况下是这样。 11.1.2 DSM的主要处理方式 分布式共享内存主要有三种处理方式： 基于硬件的方式 依靠硬件来装载、存储指令以完成DSM的 寻址操作及远程内存结点的通信。（适合于多 处理机系统） 2.基于虚拟页的方式 这种方式与传统的虚拟存储器系统类似, 不同之处在于:操作系统不是从磁盘中而是通 过网络从另一个处理机中获取页。 3.基于库的方式 一些程序设计语言或语言的扩展,支持 DSM方式。进程通过库调用来完成对DSM中 数据的访问。 基于虚拟页的方式应得到更多的关注 11.2 设计和应用 数据结构 同步模型