4. 分布式系统中的同步

一般来说,去中心化的算法具有以下特性。

  • 相关信息分布在多台计算机上。
  • 进程只根据本地信息做出决定。
  • 不应该有一个单一的临界点,它的失败会导致算法的崩溃。
  • 没有通用的时钟或其他准确的全球时间来源。

前三点都谈到了收集所有信息以在一个地方做出决定的不可接受性。在没有集中化的情况下提供同步需要与传统操作系统中使用的方法不同的方法。最后一点也很重要——在分布式系统中,按时达成一致绝非易事。从 UNIX make 程序的例子可以看出时间一致的重要性。主要的理论问题是缺少全局时钟和无法修复全局状态(分析情况 - 检测死锁,组织中间存储)。 


时间同步

硬件时钟(而不是计时器 - 临时信号计数器和具有计数器初始值的寄存器)基于石英振荡器,并且在不同计算机中的频率可能会有所不同。

1978 年,Lamport 证明了时间同步是可能的,并提出了一种用于这种同步的算法。但是,他指出不需要绝对同步。如果两个进程不交互,那么它们不需要相同的时间。此外,在大多数情况下,约定的时间可能与广播中公布的天文时间没有任何关系。在这种情况下,可以说是逻辑时钟

对于逻辑时钟同步,Lamport 定义了“发生在之前”的关系。表达式 a->b 读作“ a发生在b之前”,表示所有进程都同意事件“ a ”首先发生,然后是“ b ”。这种关系在两种情况下很明显:

  1. 如果两个事件发生在同一个进程中。
  2. 如果事件 a 是一个进程中的 SEND 操作,事件b是另一个进程收到此消息。

关系->是可传递的。

如果两个事件x 和 y 发生在不交换消息的不同进程中,则关系 x->y 和 y->x无效,这些事件称为同时发生。

让我们以这样的方式引入逻辑时间 C,如果a->b,则C(a) < C(b)

算法:

  1. 时钟 Ci 随着进程Pi中的每个事件递增:Ci=Ci+d ( d > 0, 通常为 1)
  2. 如果事件 a是进程Pi 发送消息m,则将时间戳tm=Ci(a)写入该消息。当进程 Pj收到此消息时 ,其时间调整如下: Cj = max(Cj,tm+d)

 用一个例子来解释这个校正是如何进行的。

为了对所有事件进行排序,要求它们的时间从不重合是很方便的。这可以通过添加一个唯一的进程号(40.1、40.2)作为时间的一小部分来完成。然而,对于许多应用(实时控制系统)来说,逻辑时钟是不够的。

物理时钟

17世纪发明机械钟后,时间是用天文方法测量的。太阳连续两次到达天空最高点的时间间隔称为一个太阳日。一个太阳秒等于一个太阳日的 1/86400(24*3600)。

在 1940 年代,人们发现地球的自转周期不是恒定的——地球由于潮汐和大气而减慢了自转速度。地质学家认为,3亿年前一年有400天。由于其他原因,一天的长度也会发生变化。因此,他们开始计算长期的平均太阳秒数。

  • 0
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值