第6章 高级操作系统同步化.ppt

* 分布式算法（Ricart-Agrawala算法） 在一个进程P打算进入临界区R之前，向所有其他进程广播消息 临界区R名、进程号、时间戳 当一个进程P’收到消息后，做如下决定： 若P’不在临界区R中，也不想进入R，它就向P发送OK； 若P’已经在临界区R中，则不回答，并将P放入请求队列； 若P’也同时要进入临界区R，但是还没有进入时，则将发来的消息和它发送给其余进程的时间戳对比。如果P时间戳小，则向P发送OK;否则，不回答，并将P放入请求队列； 当P收到所有的OK消息后，进入R。否则，等待。 当P退出R时，如果存在等待队列，则取出一个请求者，向其发送OK消息。 * 分布式算法举例 举例： 共有0，1，2三个进程。 进程0，2申请进入临界区 0 2 0 0 2 2 * 分布式算法评价 缺点： n点失败 n点瓶颈 2（n-1)个消息 改进方案： 超时重发 组通信 简单多数同意（1/2） * 令牌环算法 构造一个逻辑环，得到令牌才可进入临界区 问题：令牌丢失检测 * 三种互斥算法的比较 算法 每次进出 需要的消息 进入前的延迟（按消息次数） 存在问题 集中式 3 2 协调者崩溃 分布式 2（n-1） 2（n-1） 任何一个进程崩溃 令牌环 1到∞ 0到n-1 丢失令牌，进程崩溃 * 6.4 选举算法 作用： 在分布式进程之间做出统一的的决定 例如：确定协调者 前提： 每个进程具有唯一的号码，如IP地址 每个进程知道其它进程的号码 选举标准： 确定具有最大号码的进程 * 霸道（Bully）算法 将进程进行排序 P向高的进程发E消息 如果没有响应，P选举获胜 如果有进程Q响应,则P结束，Q接管选举并继续下去。 4 5 6 5 6 4 6 5 6 * 环算法 所有进程按逻辑或物理次序排序，形成一个环 当一个进程P发现协调者C失效后，向后续进程发送E消息 每个进程继续向后传递E消息，直到返回P P再将新确定的协调者C’传给所有进程 5 2 * 无线网络系统的选举算法 例：选举一个协调者，它具有最大的能力 1、发起者，提出选举 * 无线网络系统的选举算法 2、向邻居节点扩展，形成一个生成树（spanning tree） * 无线网络系统的选举算法 3、沿生成树向父节点返回[i，cmax]，cmax为最大值 4、发起者，向其余节点发布协调者 * 大型系统的选举 大型系统中需要选举多个节点 如p2p系统中的超级节点 对如何选择超级节点（superpeer）的要求: 普通节点对超级节点的访问延迟要小 超级节点应均匀地分布在覆盖网络中 相对于覆盖网络中的节点数量，应有一定数量的预先定义好的超级节点 每个超级节点所服务的普通节点个数不能超过规定的数量 例：一个小型chord系统m=8(长度), k=3(预留) P AND为超级节点的键值 N个节点中平均有2k个超级节点 * 大型系统的选举 M维空间中的超级节点选举 首先，在N个随机选择的节点中，放置N个令牌 每个节点不允许拥有一个以上的令牌 每个令牌具有排斥力，推动另一个令牌移动 通过互相排斥，最终达到在空间中的均匀分布 例：使用排斥力在二维空间中移动令牌 * * 协作：需要命名（资源定位）和同步（协调处理） 同步：时间上的动作一致。如，队列中一起迈步 进程之间的同步控制： --分布式调度管理的关键技术之一： 时钟：调度的依据、协同一致 选举：确定协调者 互斥：并发控制、 事务管理： * 需求 * 日中天：正午时间 在n天后的日中天，地球旋转不到360o，说明每天地球旋转花费的时间不一样长。 太阳系的几乎所有天体包括小行星都自转,而且是按照右手定则的规律自转, 所有或者说绝大多数天体的公转也都是右手定则。从南极看是顺时针旋转,从北极看是逆时针旋转。 * 巴黎国际时间局 Bureau International de l’Heure（BIH） TAI – International Atomic Time UTC – uninversal coordinated time统一协调时间 86,400个TAI秒(1天)比一个太阳天少 3 msec. 1000天少3秒。1年不到1秒。 解决方法，每偏差大于0.8sec，加1个闰秒 迄今为止（1958年-2002年），UTC中加入了30个闰秒 GEOS: Geostationary environmental operational satellite(地球环境业务卫星) * C 光速 Δi 时钟误差 29颗卫星，2万公里高度的轨道 * C 光速 Δi 时钟误差 * 两个时钟，朝相反方向漂移 * 两个时钟，朝相反方向漂移 * Δ两个时钟之间的误差，不是与标准时钟的误差。 2 ρΔt ≤ δ 优化问题： * 请求