第3章 分布式系统的同步.pptVIP

第3章 分布式系统的同步 中国科技大学软件学院 丁箐 主要内容 3.1 时钟同步 3.2 互斥 3.3 选举算法 3.4 原子性事务 3.5 分布式系统中的死锁 主要内容 3.1 时钟同步 3.2 互斥 3.3 选举算法 3.4 原子性事务 3.5 分布式系统中的死锁 3.1 时钟同步 分布式算法的特点 相关信息散布在多个场地上 每个进程只能基于本地信息做决定 应避免因单点故障造成整个系统的失败 不存在公共时钟或精确的全局时间 时钟同步问题 例：makefile误差 逻辑时钟 计时器：石英晶体+计数器 时钟偏差（clock skew） 逻辑时钟：相对时间 物理时钟：真实时间 “之前”关系: ? 事件a在b之前出现，则a?b a为发送消息m，b为接收m，则a?b 具有传递性：a?b, b?c,则a?c 并发事件（concurrent） Lamport算法 对每一事件a，在所有进程中都认可给它分配一个时间值C(a） if a?b;则C(a)C(b) ?a,b C(a)? C(b) C是递增的 校正算法 a?b， if C(b)C(a), 则C(b) = C(a) +1 Lamport算法 物理时钟与现实时钟 （1）如何用现实世界的时钟将它们同步起来； （2）如何使各时钟之间保持同步。 太阳日：连续的两次日中天的时间 太阳秒：solar-day/8