第3章分布式系统的同步学习课件.pptVIP

先写日志（WAL） 就地更新（in-place） 日志纪录 〈事务标识，文件标识，块号，前像，后像〉 例： * 先写日志协议 回滚（Rollback）: 反做（undo）废弃事务的更新结果 只有当日志成功地写入稳存之后，才可以修改文件。 如果事务执行成功并被提交，则它的提交记录将被写入日志。 如果事务异常中止，则用日志来备份初始状态。从日志的未尾开始，向回逐个读取日志记录，反做记录中描述的修改，即回滚处理。 在系统崩溃后,日志也可用来进行的恢复。 * 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/86400 平均太阳秒：如，格林威治时间 * 现实时钟 铯原子钟：9192631770次跃迁=1秒 TAI秒：国际原子时间 UTC秒：世界时间（在TAI秒中加入闰秒） 时间服务：WWV电台、GEOS卫星 10 20 * 时钟同步算法 如何与现实时钟同步 如何使不同机器之间相互