分布式系统的同步(续).pptVIP

陈香兰@2007.3.21 分布式系统同步（续） 高级操作系统Advanced Operating System 熊 焰 Yxiong@ustc.edu.cn 0551_3600689 中国科学技术大学计算机系 3.3 选举算法 许多分布式算法需要一个进程充当协调者、发起者、排序者或者其他特定的角色 例如：集中式互斥算法中的协调者进程 通常，选择哪个进程充当协调者并不重要，重要的是要有进程负责,并且需要所有进程的一致认可。 最大进程号 如果所有进程的地位都相同，没有特性上的区别，就无法选择其中一个为特殊进程； 假设每个进程都有一个特殊的号，通常选举算法总是找拥有最大号的进程，将它指定为协调者，不同的选举算法在选举时采用不同的方法。 选举的目的 我们假设每个进程都知道所有其他进程的进程号，但不知道目前哪些进程在工作，哪些进程不在工作； 选举算法的目的是在选举开始后，确保在所有进程都同意的基础上选出协调者。 两个选举算法 欺负（Bully）算法 环算法 3.3.1 欺负（Bully）算法 Bully算法由Garcia-Molina在1982年提出 当一个进程P发现协调者不再响应请求时，它就发起选举。进程P负责选举如下： P向所有进程号比它大的进程发送选举（ELECTION）消息； 若无人响应，P获胜成为协调者； 若有进程号比它大的进程响应，响应者接管，P的工作完成。 由于总是进程号最大的进程获胜，故该算法命名为欺负算法。 欺负（Bully）算法 在某一时刻，一个进程只能从进程号比它小的进程那里得到一个选举（ELECTION）消息，当它到达时，接收者就发送回OK消息，表明它的存在并接管，然后接收者主持选举（除非它正在主持别的选举）。 除了一个进程外即进程号最大的进程，其余进程都会放弃选举，这个进程就是新的协调者，它将选举获胜的消息发送给所有进程，告之自己是新的协调者。 若一个进程刚刚崩溃过，但又很快恢复，它主持选举，若它刚好是当前运行进程中号最大的，它就会获得选举的胜利，从而接管协调者的工作。 欺负（Bully）算法举例 一组由0~7号共8个进程组成，开始7号进程是协调者，但是它突然发生了故障，进程4第一个注意到这一点，所以它向所有比它进程号大的进程，即进程5、6、7发送选举消息。 进程5和6接收消息后发送回OK。进程4接收到第一个应答时就知道自己已经结束了，因为已经有比它进程号大的进程即将接管它的工作成为新的协调者，它就等待着看谁将在选举中获胜。 进程5和6都主持选举，每个进程仅把消息发送给比自己进程号大的进程 进程6向进程5发OK消息，进程5收到OK消息后停止选举，而这个时候进程6知道进程7已经死了，所以，它将是获胜者。 进程6接管，向所有的运行进程发送COORDINATOR协调者消息 进程4收到消息，发现进程7已死，进程6是新协调者，进程4就可继续工作。 这样，进程7的失效得到了处理 3.3.2 环算法 环算法（基于没有令牌的环） 假设所有的进程是按物理或逻辑环排序的，每个进程都知道谁是它的下邻居。 当一个进程发现协调者不再起作用时，它就创建一个包含它自身进程号的选举消息发送给它的下邻居。 如果下邻居失效，消息将绕过它到达它的下邻居，或者再下一个，直到找到一个运行进程。 每一个发送者都将自己的进程号加入到消息表中。 最后，消息到达了始发者手中，始发者接收到包括自己进程号的消息后，将消息的类型转化为协调者消息，该消息将再一次绕环运行，向所有的进程通知谁是协调者（在成员表中进程号最大的那个）。 当消息循环一周后，被销毁，每个进程都恢复工作。 举例 进程2、5同时发现前任协调者进程7失效，它们各自建立一个选举消息沿环发送。 最终，两条消息都将沿环运动，进程2和5分别将它们转化成协调者消息，消息中有完全一样的成员，相互顺序也相同，当两条消息再绕环一周后，均被销毁，有多余的消息循环没有坏处，最多是浪费了一点带宽。 3.4 原子事务 迄今为止我们研究的所有同步技术本质上都是处于底层的，比如信号量。 这些技术都需要编程人员涉及互斥、临界区管理、死锁预防、崩溃恢复等问题的细节。 而程序员喜欢的是更高层次的抽象， 也就是要隐藏这些技术问题，允许编程人员将精力集中在算法和进程如何并行运行上。 这样的抽象是存在的，而且被广泛应用在分布式系统中。我们称其为原子事务，或简称事务。术语原子操作也被广泛使用。 3.4.1 原子事务简介1、商业模型 原子事务的最初模型来源于商业社会。 假设D公司需要一批装饰品，他们与潜在的供应商W公司进行联系，希望6月份能交付10万件10厘米的装饰品。W公司提出12月份交付10万件淡紫色装饰品。D公司同意对方开出的价格，但不喜欢紫色，并且希望6月份到货，而且因为自己的客户是国际客户，因此，坚持