分布式系统DistributedSystems第9讲协调和协定Lecture92.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节从更一般的角度讨论