分布式系统_11_协调及协定.pptVIP

讨论 E1 （安全性）：满足 没有进程被替换 E2（活性）：满足 根据可靠消息传递的假设 性能 最好的情况N-2个消息 标识最大的进程发现协调者错误，发送N-2个协调者消息 最坏情况O(N2)个消息 标识最小的进程发现协调者错误，然后N-1个进程开始选举，每个进程都发送消息到较大标识的进程 * 7.4 组播通信 特点 一个进程只调用一个组播操作来发送一个消息到组中的每个进程 不是多次发送同一个消息到不同进程 效率：程序员方便，硬件的支持 传递保证：无法保证 系统模型 组标识：G 封闭组：只有G内的成员可以发送消息给G 开放组：组G外的成员也可以发送消息给G * 静态组与动态组 静态组：组内成员不可变更的组，组成员按照某种方式事先定义，以后无论发生什么情况都不可变更 动态组：允许组成员动态地加入退出。一个进程可以提出请求，加入（Join）一个组，从而成为这个组的成员，也可以要求离开或由于失效而退出（Leave）这个组 * 静态组与动态组 动态组提供面向视图（View-Oriented）的组成员服务（Group Membership Service） 视图（View）是组中当前活跃的成员（进程）列表，每个视图都有一个唯一的标志，组成员服务跟踪组的成员关系随时间的变化。当组成员列表发生变化，组成员服务负责通知组的各个成员，组成员就会安装（Install）新的视图 * 消息通信服务 根据消