[分布式导论5.pptVIP

第五章: 同步 时钟同步Clock Synchronization 逻辑时钟Logical Clocks 全局状态Global State 选举算法Election Algorithms 互斥Mutual Exclusion 分布式事务Distributed Transactions 时钟同步 物理时钟Physical Clocks 时钟同步算法Clock Synchronization Algorithms 使用同步时钟Use of Synchronized Clocks 时钟同步Clock Synchronization Example of UNIX make UNIX的make只是重新编译已经出现变化的文件 在分布式系统中，有些困难 解决方案：同步分布式系统中的所有时钟 物理时钟Physical Clocks 计算机计时器的工作原理 通常是一个精确的石英晶体，有两个寄存器：一个计数器和一个保持寄存器（holding register） 每个石英震荡将计数器中的数字减1，当计数器的值变成0，发出一个中断，再将保持寄存器中的值放入计数器 每个中断被称为一个时钟嘀嗒 (clock tick) 时钟偏移 (Clock Skew) 在分布式系统中，不可能保证不同的计算机系统中的石英晶体有同样的频率 时间值之间的不同被称为时钟偏移（clock skew） 解决方案: 一些系统需要外部的物理时钟 国际原子时间 (TAI) 原子时钟 (Atomic clock) 元素铯133 的原子9,192,631,770次跃迁被定义为1秒 国际原子时间International Atomic Time (TAI) 全世界有约50家实验室拥有铯133 时钟 BIH(巴黎的原子时钟机构)将这些时间平均，作为TAI 问题 现在每 86,400 TAI 秒小于一个平均的solar day，误差是3毫秒 UTC(统一协调时间) Universal Coordinated Time (UTC) BIH当TAI和solar time的时间相差 800 毫秒之后引入一个闰秒(leap seconds ) 当BIH引入一个闰秒的是欧，电力公司需要调整UTC时间 计算机操作系统必须有特别的软件才能产生闰秒 UTC Service 国际标准时间研究所National Institute of Standard Time (NIST) 拥有一个名为WWV的短波电台用于在每个UTC秒结束的时候产生一个脉冲 在英国，Rugby拥有一个名为MSF的同样的电台 有一些地球卫星也提供UTC服务 Cristian’s Algorithm 如果一个系统中有一台机器拥有WWV接收器，并且希望系统中其它机器能够与这台机器同步 称拥有WWV接收器的机器为时间服务器(time server) 每台机器向时间服务器发送消息询问当前时间，时间服务器将当前的时间CUTC发送回去 Problems 当发送方得到回应，将自己的时间调整到CUTC 主要问题：时间不能回头time must never run backward 只能一点一点地引入变化 小问题: 回应的消息需要时间发送给发送方 Cristian算法尝试估计这个时间 为了提高精确度，Cristian建议不只用一次测量结果，而是用多次测量结果 Berkeley Algorithm 时间服务器是主动的,不断轮询每个机器的时间 基于结果,计算所有的平均值,并将计算结果告知其它机器,让其它机器根据结果调整时钟 Averaging Algorithms 将时间分成定长的同步时间间隔，在每个间隔开始的时候，每个机器把自己的时钟时间广播给其它的机器 广播之后，机器启动本地的一个计时器来保证在一个S的时间间隔内收集从其它机器到来的时间 计算其它机器时间的平均值 放弃m个最高的和m个最低的 尝试对每个消息加上一个估计的传播时间来修正收到的时间 Example: Network Time Protocol (NTP) 使用同步时钟Use of Synchronized Clocks 现在，软件和硬件的同步时钟都已经有了广泛应用 已经可以将上百万的时钟在一个UTC的微秒内进行同步 Application 保证对服务器的至多一次（at-most-once）的消息发送 保证Cache的一致性 逻辑时钟Logical Clocks Lamport时间戳Lamport timestamps 逻辑时钟Logical Clocks 最重要的是时钟的内部一致性，并不关心时钟是否特别接近于真正的时间 如果两个进程不交互，没有必要让他们的时钟同步因为缺少同步不会导致任何问题 所有进程是否都同意当前的时间并不重要，关键是大家都同意事件发生的先后顺序 Lamp