第十一章分布式共享存储器.pptVIP

第十一章 分布式共享存储器 11.3 使用目录的DSM 链式目录 缓存器块的替换 ：假设从C1到CN都有单元X的副本，并且单元X和单元Y都直接映射到缓存器同一行上。如果处理机Pi读单元Y，必须从它的缓存器中先驱逐单元X。在这种情况下，有两种可能性： (1) 沿着链路向Ci-1发送一个报文，将Ci-1的指针指向Ci+1，将Ci从链路中脱离开。 (2) 使从Ci到CN中的单元X无效。 第十一章 分布式共享存储器 11.3 使用目录的DSM 链式目录 双向链式结构：另外一种解决替换问题的方法是使用双向链。这种方案为每个缓存器副本保持一个向前和一个向后的指针，这样当缓存器替换时，协议不必遍历整个链。双向链目录优化替换条件是以更大的平均报文长度(由于传送更多的目录指针)、缓存器中的指针的存储空间加倍和更为复杂的一致性协议为代价的。 第十一章 分布式共享存储器 11.4 DSM系统的实现 实现DSM的基本方法 DSM有三种实现方法，有的系统使用了不止一种方法。 (1) 硬件实现。把传统的高速缓存技术扩展到可扩充的体系结构中。 (2) 操作系统和程序库的实现。通过虚拟存储器的管理机构达到共享和一致性。 (3) 编译程序的实现。把共享访问自动转换成同步和一致性原语。 第十一章 分布式共享存储器 11.4 DSM系统的实现 结构和粒度 DSM的硬件实现方法典型地支持了较小的粒度。 页的大小：较大的页能够减少分页的开销，但是可能引起争用可能性越大。另一个影响页大小选择的因素是必须保留该系统中有关页的目录信息：页越小，则目录越大。 结构化共享存储器的一个实现方法是根据数据类型进行共享。这种方法是把共享存储器作为面向对象的分布式系统中的对象而进行构造。 另一个方法是把共享存储器构造成像一个数据库。Linda就是一个这种模式的系统。它把它的共享存储器安排成为一个相联存储器，叫做元组(tuple)空间。 第十一章 分布式共享存储器 11.4 DSM系统的实现 数据定位与访问 集中的服务员：集中的服务员来跟踪所有共享数据。这种集中的方法有两个缺陷：服务员串行执行定位查询，从而削弱了并行性；服务员负载过重，降低了整个系统的速度。 广播数据请求：不幸的是，广播的可扩充性不好，所有的节点(不仅是数据所在的节点)都必须处理广播请求。广播在网络上的等待有可能使访问花费很长时间才能完成。 基于所有者的分布式的模型：每一块数据都有一个与之相联系的所有者，这个所有者就是拥有数据主副本的节点。当数据在整个系统中迁移时，它的所有者也会随之而改变。当另一个节点需要数据的一个副本时，就向所有者发送请求。所有者如果仍保留着这个数据，就返回该数据；若所有者已将数据发送给其他节点，则把这一请求转发给那个新所有者。缺点是一个请求可能被转发多次后才能到达当前所有者。 第十一章 分布式共享存储器 11.4 DSM系统的实现 一致性协议 两类一致性协议：写无效协议和写更新协议 在写无效协议中，一块数据可能有很多个只读副本，但是，只有一个是可写副本。这种协议之所以被称作写无效协议，是因为在开始一次写操作之前，除了将被写的那个副本之外，其他副本均变成无效。 在写更新方式中，一次写操作将更新所有副本。 Dash系统简化的写无效协议(DC代表目录控制器) Plus写更新协议，MCM代表存储一致性控制器 第十一章 分布式共享存储器 11.4 DSM系统的实现 颠簸 DSM系统特别容易出现颠簸。如果两个节点对一个数据项同时进行写，该数据项就有可能以高速率来来回回地被传送(乒乓效应)，任何实际工作都做不成 。 Munin系统允许程序员把共享数据和类型联系起来：写一次、写多次、生产者—消费者、专用、迁移、结果、常读、同步及一般的读/写。为避免两个竞争写者的颠簸，一个程序员可以把类型指定为写多次，系统将使用延迟写策略。 Mirage系统在一致性协议中，增加了一个动态可调整参数，它决定一页在一个节点上保持可用的最小时间量(△)。例如若一个节点对一个共享页执行一次写操作，则此页在该节点上时间△内是可写的。 * * 第十一章 分布式共享存储器 11.1 基本概念 什么是分布式共享存储器系统 分布式共享存储器系统是分布式操作系统中的一个资源管理部件，它在没有物理上共享的存储器的分布式操作系统中实现了共享存储器模式。这种共享存储器模式在分布式系统中提供了一个可供系统内所有节点所共享的虚拟地址空间。程序设计者可以像使用传统的存储器一样使用该虚拟地址空间。这种物理上分布逻辑上共享的存储器就叫做分布式共享存储器(Distributed Shared Memory—DSM)。 每一个节点都可以拥有存储在共享空间的数据，数据的所有者也可以跟随数据从