07-协调和协定new.pptVIP

分布式系统 协调和协定 第七章 协调和协定 简介 分布式互斥 选举 组播通信 共识和相关问题 小结 简介 构造分布式系统的主要动力:资源共享和协作 分布式系统中的进程需要协调动作和对共享资源达成协定 分布式中的协作 互斥 选举 组播 可靠性和排序语义 进程间的协定 共识和拜占庭协定 简介 故障模型 无故障模型 良性故障 随机故障 Internet现状 网络分区 非对称路由 连接的非传递性 简介 通道假设 进程通过可靠的通道连接 进程假设 进程仅在崩溃时出现故障 故障检测器 不可靠的故障检测器 产生值: Unsuspected和Suspected 可靠的故障检测器 产生值: Unsuspected和Failed 简介 不可靠故障检测器的实现示例 每个进程以周期T通告自己正常消息 检测器以时间D作为最大消息传输延迟 若检测器在时间T+D内没有收到进程的通告消息，则设定此进程的状态为“Suspected” 时间参数T、D可动态设置 第七章 协调和协定 简介 分布式互斥 选举 组播通信 共识和相关问题 小结 分布式互斥 目的 仅基于消息传递，实现对资源的互斥访问。 假设 异步系统 无故障进程 可靠的消息传递 执行临界区的应用层协议 enter( ) //进入临界区