分布式系统DistributedSystems第9讲协调与协定Lecture9.docxVIP

分布式系统 Distributed Systems第 9 讲 协调和协定Lecture 9 Coordination and Agreement 王晓阳、张 奇 复旦大学 计算机科学技术学院 1 目录 9.1 简介 9.2 分布式互斥 9.3 选举 9.4 组通信中的协调与协定 9.4.1 基本组播 9.4.2 可靠组播 9.4.3 有序组播 9.5 共识与相关问题 9.5.1 系统模型和问题定义 9.5.2 同步系统中的共识问题 9.5.3 同步系统中的拜占庭将军问题 9.5.4 异步系统的不可能性 9.6 小结 2 9.1 简介 分布式系统中进程如何协调它们的动作或对一个或多个值达成协定。 与第11讲一样，一个重要的差别是所研究的分布式系统的是异步的还是同步的。 介绍如何考虑故障以及在设计算法时如何处理故障 不容许故障的算法 针对良性故障的算法 如何容许随机故障 分布式系统理论的一个基本结果：在异步分布式系统中，即使良性故障条件下，也不可能保证一组进程能对一个共享值达成协定。 3 9.1 简介 9.2节将研究分布式互斥问题 这是在内核和多线程应用中避免竞争条件的问题在分布式系统中的扩展 9.3节介绍如何“选举”一组进程中的一个来完成特定任务 例如：进程与一个指定的时间服务器同步 9.4节介绍组播通信中的协调和协定 研究组播的可靠性和排序语义 9.5节从更一般的角度讨论协定问题，主要形式是共识和拜占庭协议 4 9.1 简介 故障假设和故障检测器 本章假设每对进程都可通过可靠的通道连接 尽管底层网络组件可能出现故障，但进程使用能屏蔽故障的可靠通信协议 还假设进程故障不隐含对其他进程的通信能力的威胁 意味着没有进程依赖于其他进程来转发消息 注意: 一个可靠的通道最终将消息传递到接收者的输入缓冲区。 在同步系统中，我们假设在必要的地方有硬件冗余，以便在出现底层故障时，可靠通道不仅最终能传递每个消息，而且能在指定的时间内完成传递工作 在某个时间间隔内，一些进程之间的通信可能成功，而另一些进程之间的通信则被延迟。 5 Instructor’s Guide for Coulouris, Dollimore, Kindberg and Blair, Distributed Systems: Concepts and Design Edn. 5 © Pearson Education 2012 Figure 15.1A network partition 6 9.1 简介 故障假设和故障检测器 在点对点的网络上，复杂的网络拓扑结构和独立的路由选择意味着连接可能是非对称的(asymmetric) 进程p到进程q可以通信，但反之不行 连接还可能是非传递的 进程p到进程q，以及进程q到进程r都可以通信，但是进程p到进程r不能通信 因此，可靠性假设要包括任何有故障的链接或路由器最终会被修复或避开的内容。 除非特别说明，本章只假定进程在崩溃时出故障 这个假设对许多系统已经足够 9.5节，将介绍如何对待随机（拜占庭）故障的情况 不论何种故障，一个正确的进程是在所考虑的运行中任何点都没有故障的进程 注意：正确性应用于整个运行，而不是运行的一部分 7 9.1 简介 故障假设和故障检测器 故障检测器（failure detector） 用于处理有关某个进程是否已出现故障的查询 故障检测器通常是由每个进程中的一个对象实现的，此对象与其他进程的对应部分一起执行一个故障检测算法 每个进程中的这个对象叫做本地故障检测器（local failure detector） 8 9.1 简介 故障假设和故障检测器 不可靠故障检测器（unreliable failure detector） 当给出一个进程标识时，一个不可靠故障检测器会产生两个值： Unsuspected：表示检测器最近已收到表明进程没有故障的证据 例如：最近从该进程收到一个消息，但是进程可能在此后出现的了错误 Suspected：表示故障检测器有迹象表明进程可能出现故障了 例如：在多于最长沉默时间里没有收到来自进程的消息 这样的怀疑也可能是错的 可靠的故障检测器（reliable failure detector） 能够精确检测进程故障的检测器 对于进程的问询，可以给出： Unsuspected：表示检测器最近已收到表明进程没有故障的证据 Failed：表示检测器确定进程已崩溃 9 9.1 简介 故障假设和故障检测器 不可靠故障检测器实现 每个进程p向其他所有进程发送消息”p is here”，并且每隔T秒发送一次 故障检测器用最大消息传输时间D秒，作为评估值 如果进程q的本地故障检测器在最后一次T+D秒内没有收到”p is here”消息，则向q报告p是Suspected 但