第一篇：时间和全局状态

最新推荐文章于 2023-06-19 15:56:54 发布
最新推荐文章于 2023-06-19 15:56:54 发布
阅读量405 收藏 1
点赞数
分类专栏： 分布式算法 文章标签： 分布式算法 Berkley cristian NTP 同步异步
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/flying_1314/article/details/117456088
版权

目录

 

介绍

时钟同步

假设

同步系统内部同步

异步系统的内部同步

伯克利算法 Berkeley

 

异步系统的外部同步

克里斯蒂安的算法 Cristian

网络时间协议 Network Time protocol

介绍

首先时间很重要，在以下三个方面：

  • 审计
  • 认证
  • 一致性

然而，分布式系统中没有全局时钟

每台计算机都有自己的内部时钟

  • 本地进程用来获取当前时间的值
  • 不同计算机上的进程可以为其事件添加时间戳
  • 但不同计算机上的时钟可能给出不同的时间

测量时间：

  • 传统上以天文测量
    宇宙时间—— 一种反映地球自转平均速度的太阳时间标准
  • 现代测量时间的方法是原子钟
    基于铯 133 原子的跃迁
    仍需修正地球自转
    1 秒是 Cs133 基态的两个超精细能级之间的 9,192,631,770 个过渡周期

UTC:协调的世界时间(宇宙时间)

  • 国际计时标准
  • 基于调整（很少）以与天文时间保持同步的原子时间
    • 添加闰秒以补偿地球自转的减慢
  • UTC 信号由覆盖世界许多地区的陆基无线电台和卫星定期广播
  • 接收器可商用
  • 接收信号的准确性（与完美的 UTC 相比）
    • 无线电：0.1 – 10 毫秒
    •  GPS：1微秒

时钟：

  • 硬件时钟
    • 晶体振荡计数器
    • H(t)
  • 软件时钟是缩放和偏移添加版本
    • C(t)=α*H(t) + β
    • 测量相对于某个参考事件的时间
    • 真实物理时间的近似值

时钟偏移和漂移：

  • 偏移
    • 任意两个时钟读数之间的差异
  • 漂移
    • 2个时钟计时的速率差异
    • 为什么？ 晶体、温度、湿度、电压等的物理差异
  • 时钟漂移率
    • 完美参考时钟和物理时钟之间的速率差异
    • 通常10-6秒/秒（1毫秒~17分钟，1秒~11.6天）

错误的时钟

  • 单调性条件
    • 时钟总是前进：t’ > t => C(t’) > C(t)
  • 我们还可以限制时钟的漂移
  • 错误或者故障的时钟
    • §不遵守单调性条件和/或其漂移边界的时钟
  • 如果时钟完全停止运行，则称其为崩溃故障，否则称其为任意故障
  • 正确的时钟不一定是准确的时钟！

时钟同步

  • 外部同步
    • 将过程时钟与外部参考时钟 S(t) 同步
    • 将偏移限制为 D > 0
    • |S(t) - Ci(t)| < D 对于所有 t
    • 时钟 Ci 精确到界限 D 内
  • 内部同步
    • 同步分布式系统内的本地时钟，以不超过一个界限 D > 0
    • |Ci(t) - Cj(t)| < D 对于所有 i, j, t
    • 时钟 Ci 在界限 D 内一致
  • 内部 => 外部？
    • 不行
  • 外部 => 内部？
    • 对于外部同步界限为 D 的系统，内部同步界限为 2D

证明对于外部同步界限为 D 的系统，内部同步界限为 2D

外部同步: |S(t) - Ci(t)| < D
内部同步: |Ci(t) - Cj(t)| < D

提示:
从 |Ci(t) - Cj(t)| 这个公式开始，加上0，S(t) – S(t)，然后就可以证明|Ci(t) - Cj(t)| < 2D 当|S(t) - Ci(t)| < D时。

假设

  • N 个进程的分布式系统 (DS)
  • 每个都在具有自己的物理时钟的单个处理器上
  • 没有共享内存
  • 每个进程 p 在给定时间都有一个状态 s
    • 状态取决于内部变量值、它处理的文件等
  • 进程只能通过消息进行通信
  • 可以对进程中的事件进行排序：即，e ➝i e’
  • 进程的历史
    • hi = = <e_{i}^{0},e_{i}^{1}, …>

同步系统内部同步
异步系统的内部同步

  • 伯克利算法 Berkeley

异步系统的外部同步

  • 克里斯蒂安的算法 Cristian
  • 网络时间协议 Network Time protocol

同步系统内部同步

同步分布式系统是定义以下边界的系统：

  • 进程执行步骤的时间已知下限和上限
  • 发送的每条消息都在已知的有界时间内收到
  • 每个进程都有一个本地时钟，其漂移率有一个已知的界限

但我们知道最小和最大传输延迟界限！
我们可以用什么来估计 Ttrans？

C = t + (max + min) / 2 是在网络上设置时钟的最佳点,max和min指的是传输时间最大和最小

  •  2 时钟示例：最大偏斜为 u/2，其中 u = 最大 - 最小
  •  N 个时钟：时钟偏差的最佳界限是 u(1-1/N)
  • 这不能用于互联网！

异步系统的内部同步

伯克利算法 Berkeley

1、Master(主服务器)轮询从slave(奴隶)服务器收集时间
2. Master 观察 Tround 并估计当前时钟值
3. Master 平均时钟值，包括它自己的

  • 消除个人时钟跑得快的倾向
  • 忽略远远超出他人时间的时间

4. Master发送每个时钟需要的调整量（为什么不是更新的时间？大家可以思考一下）
Master如果失败：leader选举算法

以下的图片就是上面的流程展示：

1、master 轮询

 

2 、slaves回复时间

3、master忽略太快的时间

 

4、master发出各个slave需要的时间调整量

 

异步系统的外部同步

克里斯蒂安的算法 Cristian

  • 时间服务器 S 从 UTC 源接收信号
  • 处理消息mr中的p进程请求时间并从S接收消息mt中的时间t，如下图所示
  • p 将其时钟设置为 t + ？
    •  p 措施消息往返 Tround
    • Cp = t + Tround/2
    • 我们对网络的假设是什么？

  • 精度为 ± (Tround/2 – min)
    • 假设我们知道最小延迟
    •  p 可以收到 mt 的最早时间？
      • t + min
    • p 能收到 mt 的最晚时间？
      • t + Tround - min
    •  p 之间可以接收到 mt：[t + min, t+Tround-min]
    • 所以范围是：Tround-2*min

简单总结：

单个时间服务器可能会失败

  • 使用一组同步服务器

它不处理故障时钟

网络时间协议 Network Time protocol

被设计通过互联网连接UTC(外部标准时间源)，来时间外部客户端的同步

服务器之间的同步

1、如果发生故障，同步子网可以重新配置，例如：

  • 失去其 UTC 源的主时钟可以成为次要时钟
  • 失去主要时钟的次要时钟可以使用另一个主要时钟

这里的主要时钟和次要时钟都是相对而言，NTP可以想象一个树模型，最上面的是连接外部的UTC，下面一层的和上面一层的连接，那么下面一层就相对上面一层来说是次要时钟。

2、同步模式：

  • 多播
    • 高速局域网内的服务器将时间多播给其他设置时钟的服务器，假设传输延迟很小（不太准确）
  • 程序调用
    • 服务器接受来自其他计算机的请求（如 Cristian 的算法）。 精度更高。 如果没有硬件多播，则很有用。
  • 对称
    • 成对的服务器交换包含时间信息的消息
    • 用于需要非常高的精度（例如，更高级别）

两个服务器之间的消息交换

所有消息都带有计时信息的历史记录

  • 发送和接收上一个 NTP 消息的时间戳
  •  发送当前消息的时间戳
  • m’ = <Ti-3,Ti-2,Ti-1,message>

对于 2 个服务器之间交换的每对消息，该算法计算以下值（在时间 Ti）

  • 延迟 d_{i}：2 条消息的真实总传输延迟
  • 偏移o_{i}：估计2个时钟之间的真实偏移（o）

我们知道：

T_{i-2} = T_{i-3} + t + o and T_{i} = T_{i-1}+t^{'} -o

延迟，通过两个等式相加：

d_{i} = t+t^{'} = T_{i-2} -T_{i-3} + T_{i} - T_{i-1}

偏移，通过两个等式相减：

o=o_{i} +(t^{'}-t)/2;when,o_{i}=(T_{i-2}-T_{i-3}+T_{i-1}-T_{i})/2

实现

1、服务器跟踪最近的 <oi,di> 对

  • 选择对应于最小 di 的 oi 值
    • oi – di /2 ≤ o ≤ oi + di /2
    • oi 是偏移的估计值，di 是准确度的度量
  • 根据选择的 oi 更新时钟

2、实验实现了 Internet 上 10 毫秒和 LAN 上 1 毫秒的同步精度

OK，本篇到此结束，下一篇会继续对时间和全局状态进行讲解，辛苦各位观看，有任何问题欢迎随时评论探讨。

flying_1314
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Cristian’s (Time Server) Algorithm
xlnjulp Stay Hungry, Stay Foolish
09-02 3457
在集群中事件的先后顺序可以通过时间戳来进行定义。在自然状态下，大家都会想到使用物理时钟来表示时间戳，然而当系统对事件的时间有严格的要求的时候（比如状态的同步），物理时钟存在如下问题： 由于服务器之间存在的结构差异，导致服务器运行一段时间后产生不同的时间飘移，这样不同的服务器的物理时钟存在一定的差异。直接导致了，事件A发生的顺序可能晚于事件B，但是发送过来的时间戳确小于B，如果涉及到状态的同步B的
AlgoritmoDeCristian:分布式系统的Cristian算法命题
05-12
克里斯蒂安算法 分布式系统的Cristian算法命题 该项目旨在帮助理解Cristian算法。 只需覆盖Server类，然后覆盖Client类。 小心更改将在其中创建文本文件的路径。 实验是根据的代码创建的
分布式各系统时间统一程序
最新发布
林夕07
06-19 1702
使用场景是在一个大型分布式系统下，对时间有一个较高的水平要求。因为需要矫正每台运行服务的主机时间。
Cristiano算法分析基础
Cristiano_san的博客
09-07 353
一、算法的时间复杂性分析 1、算法的时间复杂性分析是一种事前分析估算的方法，它是对算法所消耗资源的一种渐进分析的方法。所谓渐进分析，是指忽略具体机器、编程语言和编译器的影响，只关注在输入规模增大时算法运行时间的增长效率 2、输入规模——指输入量的多少，运行算法所需要的时间T是输入规模n倍的函数，记作T(n) 3、基本语句——执行次数与整个算法的执行次数成正比的语句 1.1 算法的渐进分析 定义：若存在两个正的常数c和n0，对于任意n>=n0，都有T(n)<=c*f(n)，则称T(n) = O(f
分布式系统(二)
fragile98的博客
02-13 1744
时间和时钟Time and Clock 时钟有什么用处 1.知道发送请求到服务器需要多久 需要客户端和服务端时钟是同步的 2.用时间戳来安排在分布式系统中的事务 需要分布式系统中的时钟是同步的 3.A是什么时候转钱给B 需要准确的时钟，与global authority 同步 时钟偏移（skew）和时钟漂移（drift） 1.时钟偏移是指 两个时钟的读数的瞬间的不同。 2.时钟漂移率 是指由参考时钟度量的每个单位时间内，时钟与参考的偏移量 同步系统对于最大时钟漂移率有个界限 两种同步方式 外部同步 如果需要
网管教程 从入门到精通软件篇.txt
04-25
GID：Windows 95全局索引文件（包括帮助状态） GIF：CompuServe位图文件 GL：动画格式 GRP：程序管理组 H HEX：Macintosh BinHex2.0文件 HLP：帮助文件；Date CAD Windows帮助文件 HPP：C++程序头文件 HQX：...
刻意练习：LeetCode实战 — Task29. 加油站
12-21
本篇图文是LSGO软件技术团队组织的 第二期基础算法（Leetcode）刻意练习训练营 的打卡任务。本期训练营采用分类别练习的模式，即选择了五个知识点（数组、链表、字符串、树、贪心算法），每个知识点选择了 三个简单...
Visual C++实践与提高——串口通信与工程应用篇1
02-11
第1章 串行通信原理与设计 1 1.1 串行通信基本概念 1 1.1.1 串行通信特点 1 1.1.2 串行通信传输方式 2 1.1.3 数据纠错与检错 2 1.1.4 传输速率与距离 3 1.2 串行传输协议 4 1.2.1 异步传输协议 4 1.2.2 面向字符的...
ASPNET35开发大全第一章
01-12
第一篇 .NET基础 第1章 认识ASP.NET 3.5 1.1 什么是ASP.NET 1.1.1 .NET历史与展望 1.1.2 ASP.NET与ASP 1.1.3 ASP.NET开发工具 1.1.4 ASP.NET客户端 1.1.5 ASP.NET 3.5新增控件 1.1.6 ASP.NET 3.5 AJAX 1.2 .NET应用...
CC6开发应用教材基础篇
08-25
第一节 事件和路由的基本概念 85 第二节 时间传感器 86 一、 TimeSensor 86 二、 DrawSensor 86 第三节 坐标系变换类 87 一、 PositionInterpolator 87 二、 OrientationInterpolator 89 第四节 参数变换类 91 一、 ...
伯克利 常用经典算法.pdf
09-04
Chapter 0 Prologue Chapter 1 Algorithms with numbers Chapter 2 Divide-and-conquer algorithms Chapter 3 Decompositions of graphs Chapter 4 Paths in graphs Chapter 5 Greedy algorithms Chapter 6 Dynamic programming Chapter 7 Linear programming and reductions Chapter 8 NP-complete problems Chapter 9 Coping with NP-completeness Chapter 10 Quantum algorithms
berkeleyInJava:使用Berkeley算法的逻辑时钟同步的基本实现
05-18
伯克利 使用Berkeley算法的逻辑时钟同步的基本实现。
伯克利 常用经典算法.zip
09-04
计算机常用经典算法 Chapter 0 Prologue Chapter 1 Algorithms with numbers Chapter 2 Divide-and-conquer algorithms Chapter 3 Decompositions of graphs Chapter 4 Paths in graphs Chapter 5 Greedy algorithms Chapter 6 Dynamic programming Chapter 7 Linear programming and reductions Chapter 8 NP-complete problems Chapter 9 Coping with NP-completeness Chapter 10 Quantum algorithms
分布式系统时钟同步方案
hounanjsj的博客
09-08 4850
转自：http://www.cnblogs.com/aspnetdream/p/6105687.html 一、问题产生 时间是一个绝对量，而实体计算机的时间是相对量 1、  物理天地本身导致的时间不一致，地球自转、闰年、闰秒 2、  现实的不能绝对一致性，A机器时间同步至B机器，网络传输时间是不确定性的，AB存在绝对不一致性 如上图，compute
分布式计算——笔记（二）
hweiyi的博客
04-08 459
分布式系统的时间 每台主机都有自己的时钟，根据自己的时钟打时间戳，与完美时钟都存在漂移。可以采用内部同步或者外部调整。 同步系统：已知时钟漂移率范围、消息传输延迟和进程每一步的执行时间。内部同步方法：将时间设为t+(max+min)/2。外部同步方法：Cristian方法：将时间设置为t+Tround/2，假设最小传输时间为min，则精度范围【±Tround/2-min】。Berkeley算法：选举
Berkeley DB的四种算法异同
chenmu_2002的专栏
03-12 3383
DB数据的四种算法在数据库应用中,数据访问方式对应数据在硬盘上的存储格式和操作方法。在编写应用时，选择合适的算法可以极大的提高运算速度。大多数数据库都选用Btree算法，DB也不例外，同时还提供Hash算法、Recno算法和Queue算法。Berkeley DB的强大之一是它为这几种算法提供了差不多相同的接口，这表明当你要使用另一种算法时修改程序是简单的。程序在需要对特殊数据结构和存取模式操作时，
分布式系统时钟同步
热门推荐
huangwei19892008的专栏
06-01 1万+
本文是《分布式系统原理与范型》读书笔记 集中式系统中，时间是明确的。 1、Cristian算法 它适用于只有一支机器上有WWV 接收器，其他所有机器都要与那台机器同步的系统。 拥有WWV接受器的机器叫做时间服务器。 每台机器义不大于x/2p秒的周期定期向时间服务器发送消息询问当前时间，时间服务器收到消息后就尽快发送含有当前时间的Cutc的消息应答。 存在两个问题： a、时间不能倒退，
英语时态=时间+状态
weixin_40763897的博客
07-04 4463
十六种时态： 时态的“时”指的是动态发生的时间，“态”是即动作的状态。英语的句子中都可以找到这两者。 时间轴： 1.任何动作都会有3种状态：一般状态、正在发生、已经完成 2.在某个时点上正在发生的动作是进行时，这个时点可以是过去、现在、将来某个时点。 3.在某个时点上已经完成的动作是完成时，这个时点可以是过去、现在、将来某个时点。 4.如果动作不是正在进行，又不是已经完成，则用一般时态 那么我们如何利用这个时间轴去理解我们16种英语时态呢？ 辨别方法 我的理解是这样的，首先你要确定你要表达的东西是基
判断：全局变量和局部变量作用域重叠时，全局变量无效
06-07
例如，下面的代码定义了一个全局变量 `num` 和一个局部变量 `num`： ```cpp #include using namespace std; int num = 10; int main() { int num = 20; cout 局部变量 num 的值为：" ; return 0; } ``` 在 ...

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值