07-协调和协定.ppt

分布式系统 协调和协定 第七章 协调和协定 简介 分布式互斥 选举 组播通信 共识和相关问题 小结 简介 构造分布式系统的主要动力:资源共享和协作 分布式系统中的进程需要协调动作和对共享资源达成协定 分布式中的协作 互斥 选举 组播 可靠性和排序语义 进程间的协定 共识和拜占庭协定 简介 故障模型 无故障模型 良性故障 随机故障 Internet现状 网络分区 非对称路由 连接的非传递性 简介 通道假设 进程通过可靠的通道连接 进程假设 进程仅在崩溃时出现故障 故障检测器 不可靠的故障检测器 产生值: Unsuspected和Suspected 可靠的故障检测器 产生值: Unsuspected和Failed 简介 不可靠故障检测器的实现示例 每个进程以周期T通告自己正常消息 检测器以时间D作为最大消息传输延迟 若检测器在时间T+D内没有收到进程的通告消息，则设定此进程的状态为“Suspected” 时间参数T、D可动态设置 第七章 协调和协定 简介 分布式互斥 选举 组播通信 共识和相关问题 小结 分布式互斥 目的 仅基于消息传递，实现对资源的互斥访问。 假设 异步系统 无故障进程 可靠的消息传递 执行临界区的应用层协议 enter( ) //进入临界区——若必要，可以阻塞进入 resourceAccesses( ) //在临界区访问共享资源 exit( ) //离开临界区——其它进程现在可以进入 分布式互斥 基本要求 安全性 　在临界区内一次最多有一个进程可以执行 活性 　进入和离开临界区的请求最终成功执行 →顺序 　如果一个进入临界区的请求发生在先，则进去临界区时仍按此顺序。 分布式互斥 算法的性能评价 带宽消耗 　　在每个enter和exit操作中发送的消息数 客户延迟 　　由enter和exit操作引起的延迟 吞吐量 　　用同步延迟来衡量，即一个进程离开临界区和下一个进程进入临界区之间的延迟。 分布式互斥 中央服务器算法 构架 分布式互斥 满足安全性和活性要求，但不满足顺序要求。 性能 - 带宽消耗 　　enter():２个消息，即请求消息和授权消息 　　exit(): 1个消息，即释放消息 - 客户延迟 　　消息往返时间导致请求进程延迟 　- 同步延迟 　　 1个消息的往返时间 　 - 性能瓶颈 　　服务器 分布式互斥 基于环的算法 构架 分布式互斥 满足安全性和活性要求，但不满足顺序要求。 性能 - 带宽消耗 　　由于令牌的传递，会持续消耗带宽 - 客户延迟 　　Min: 0个消息，正好收到令牌 　　Max: N个消息，刚刚传递了令牌 　 - 同步延迟 　　 Min: 1个消息，进程依次进入临界区 　　 Max: N个消息，一个进程连续进入临界区，期间无　　　　　　 其他进程进入临界区 分布式互斥 使用组播和逻辑时钟的算法 基本思想 - 进程进入临界区需要所有其它进程的同意 　　 组播+应答 - 并发控制 　　 采用Lamport时间戳避免死锁 分布式互斥 算法伪码 初始化: state:=RELEASED; 为了进入临界区 state:=WAITED; 组播请求给所有进程; T:=请求的时间戳; Wait until (接收到的应答数=(N－1)); state:=HELD; 在pj(i≠j)接收一个请求Ti,pi if (state = HELD or (state = WANTED and (T, pj) (Ti, pi))) then 将请求放入pi队列,不给出应答; else 马上给pi应答; end if 为了退出临界区; state := RELEASED; 对已进入队列的请求给出应答; 分布式互斥 示例 　p1、p2并发请求进入临界区 分布式互斥 满足安全性、活性和顺序要求。 性能 - 带宽消耗 　　enter(): 2(N－1)，即(N－1)个请求、 (N－1)个应答 - 客户延迟 　　 1个消息往返时间 - 同步延迟 　　 1个消息的传输时间 分布式互斥 Maekawa投票算法 基本思想 - 进程进入临界区需要