本文主要参考文献[1]完成。

声明:本人仅在博客园发表了本文章,笔名LightningStar,其他网站均为转载。

笔记

私以为,论文中作者的核心工作是为分布式系统建立了一种数学模型,并基于这种数学模型提出了相应的分布式算法。

论文依序论述了偏序关系和全序关系模型在分布式系统中的应用。作者通过一系列规则建立的全序关系模型系统地描述了如何在分布式系统中确定执行操作顺序的方法,并通过这些规则提出了一种分布式的算法。最后作者论述了系统外事件会导致分布式系统内的事件的发生会导致依据逻辑时钟排序的结果违反因果律,因此提出了物理时钟的概念。

在分析论文之前,我们首先要明晰作者为什么要建立偏序关系和全序关系。作者的目标是提出一种分布式算法,而其中的核心问题就是一致性问题。为了解决一致性问题,就必须明确分布式系统中各个进程中的各个事件发生的先后关系和并发关系,并为这些事件建立良好的顺序。离散数学中的偏序关系和全序关系恰好就是一种排序模型。关于偏序关系和全序关系进一步的讨论将在后文思考章节展开。

到目前为止,我们应当明确,论文的核心目标是对分布式系统中发生的所有事件进行排序,获得一个确定的事件序列,这样我们才能够获得系统之间一致性的保障。

偏序关系

偏序关系模型可以明确一个进程内部事件发生的先后关系以及具有信息传递时两个进程中的事件的先后关系(如A进程发送一个消息给B进程则A进程发消息以及发消息之前的事件一定先于B进程接收消息以及接收消息之后的事件)。作者定义了这么一种二元关系→,→表示“happened before”,定义如下:

  1. 如果事件a、b在一个进程中,如果a发生在b之前则a→b
  2. 如果a是发送一条消息的时间,b是接收这条消息的事件,那么a→b
  3. 如果a→b和b→c成立,那么a→c成立。如果两个事件a和b既不满足a→b也不满足b→a则认为两个事件是并发的。
  4. a→a是不成立的,即不满足自反性

那么如何来将这种偏序关系应用到系统中呢?最好的方法就是引入一个全局时钟。而物理时钟本身是有精确度等的问题,作者引入了一个逻辑时钟。通过对系统中各个进程中的事件打上时间戳,就可以根据事件发生的先后顺序进行排序。

显然,这种排序是满足‘happened before’的定义的。下面我们看,为什么说这种排序是偏序的。这是因为当两个事件具有相同的时间戳的时候,这两个事件就是不可比的,也即无法进行排序。而全序关系要求的是所有元素都是可比的,这种全局排序也是我们希望得到的。

偏序关系模型无法描述两个进程之间的并发事件的顺序关系,也就是说,无法对所有的进程的所有的事件按照某个顺序进行排序。因此需要将偏序关系拓展到全序关系。

全序关系

在偏序关系的模型中,作者避开了对物理时钟的描述,引入了逻辑时钟。在引入了逻辑时钟之后,我们就可以给每个事件都打上一个时间戳,通过这个时间戳我们就可以将happened before关系拓展到所有进程的所有事件。即,只需要在前文的偏序关系的基础上,对无法描述happened before关系的并发事件根据逻辑时钟的时间戳进行排序即可(当时间戳仍然相同时,我们需要进程的偏序关系做判断)。这样我们就得到了一个所有事件的排序。

全序关系定义如下:

定义二元关系=>:

  1. 如果事件a、b在一个进程中,如果a发生在b之前则a→b
  2. 如果a是发送一条消息的时间,b是接收这条消息的事件,那么a→b
  3. a→a是不成立的,即不满足自反性
  4. 对于两个进程中的事件a和b如果具有相同的事件戳,那么通过全局进程ID进行判断,如果\(C_i(a) > C_j(b)\),则a=>b

物理时钟

但是,逻辑时钟会有一个难以解决的问题,这种问题导致无法正确建立全序关系。即:当有外部因素介入时,会使得两个进程之间的事件在事实上建立了先后关系,如a在事实上先发生,b在事实上后发生,但是由于信息传递等的原因,会认为b比a先发生。这就需要引入物理时钟。使用物理时钟替代逻辑时钟。

但是物理时钟有两个问题,一是物理时钟的滴答速率不是恒定的,二是物理时钟需要进行同步校准。

物理时钟变化率

如果将时钟Ci作为一个真实的物理时钟,那么它必须以一个近似正确的速率来运行,即:

dCitdt-1<k

物理时钟的变化率必须要尽可能保持恒定。

物理时钟校准

随着时间的流逝,物理时钟会逐渐与真实时间产生偏差。因此每次进程间进行通讯时都要进行校准。且这种校准只能向前校准,不能向后校准。

当进程B收到进程A的消息之后,进程B就会对当前系统时间进行校正。校准后的时间是max(B进程当前时间,收到消息的时间戳+信息传输时间)。

拓展

偏序关系和全序关系

偏序关系

给定集合S,\(\le\)是S上的二元关系,若满足:

  1. 自反性: \(\forall a \in S, a \le a\)
  2. 反对称性: \(\forall a,b \in S, a \le b 且 b \le a, 则 a = b\)
  3. 传递性: \(\forall a,b,c \in S, a \le b 且 b \le c, 则 a \le c\)

    则称\(\le\)是S上的偏序关系。

    值得注意的是,不要求集合中的任何一对元素之间具有可比较性。

全序关系

给定集合S,\(\le\)是S上的二元关系,若满足:

  1. 自反性: \(\forall a \in S, a \le a\)
  2. 反对称性: \(\forall a,b \in S, a \le b 且 b \le a, 则 a = b\)
  3. 完全性: \(\forall a,b \in S, a \le b 或 b \le a\)

    则称\(\le\)是S上的全序关系。

    值得注意的是,全序关系要求集合中的任何一对元素之间具有可比较性,这是与偏序关系最大的不同。

拓展阅读

拜占庭将军问题

到底什么是一致性

浅析强弱一致性

因果一致性和相对论时空

分布式领域最重要的一篇论文,到底讲了什么

参考文献


  1. LAMPORT L. Time, clocks, and the ordering of events in a distributed system[J]. Communications of the ACM, 1978, 21(7): 558–565. DOI:10.1145/359545.359563.

Lamport时间戳论文笔记的更多相关文章

  1. Deep Learning论文笔记之(四)CNN卷积神经网络推导和实现(转)

    Deep Learning论文笔记之(四)CNN卷积神经网络推导和实现 zouxy09@qq.com http://blog.csdn.net/zouxy09          自己平时看了一些论文, ...

  2. 论文笔记之:Visual Tracking with Fully Convolutional Networks

    论文笔记之:Visual Tracking with Fully Convolutional Networks ICCV 2015  CUHK 本文利用 FCN 来做跟踪问题,但开篇就提到并非将其看做 ...

  3. Deep Learning论文笔记之(八)Deep Learning最新综述

    Deep Learning论文笔记之(八)Deep Learning最新综述 zouxy09@qq.com http://blog.csdn.net/zouxy09 自己平时看了一些论文,但老感觉看完 ...

  4. Twitter 新一代流处理利器——Heron 论文笔记之Heron架构

    Twitter 新一代流处理利器--Heron 论文笔记之Heron架构 标签(空格分隔): Streaming-process realtime-process Heron Architecture ...

  5. Deep Learning论文笔记之(六)Multi-Stage多级架构分析

    Deep Learning论文笔记之(六)Multi-Stage多级架构分析 zouxy09@qq.com http://blog.csdn.net/zouxy09          自己平时看了一些 ...

  6. Multimodal —— 看图说话(Image Caption)任务的论文笔记(一)评价指标和NIC模型

    看图说话(Image Caption)任务是结合CV和NLP两个领域的一种比较综合的任务,Image Caption模型的输入是一幅图像,输出是对该幅图像进行描述的一段文字.这项任务要求模型可以识别图 ...

  7. 论文笔记(1):Deep Learning.

    论文笔记1:Deep Learning         2015年,深度学习三位大牛(Yann LeCun,Yoshua Bengio & Geoffrey Hinton),合作在Nature ...

  8. 论文笔记(2):A fast learning algorithm for deep belief nets.

    论文笔记(2):A fast learning algorithm for deep belief nets. 这几天继续学习一篇论文,Hinton的A Fast Learning Algorithm ...

  9. 论文笔记:Towards Diverse and Natural Image Descriptions via a Conditional GAN

    论文笔记:Towards Diverse and Natural Image Descriptions via a Conditional GAN ICCV 2017 Paper: http://op ...

  10. 【论文笔记】Malware Detection with Deep Neural Network Using Process Behavior

    [论文笔记]Malware Detection with Deep Neural Network Using Process Behavior 论文基本信息 会议: IEEE(2016 IEEE 40 ...

随机推荐

  1. 了解linux下RAID(磁盘阵列)创建和管理

    现在的操作系统,不论是windows 还是linux都具有raid的功能,RAID 分为硬件 RAID 和软件 RAID, 硬件 RAID 是通过 RAID 卡来实现的,软件RAID是通过软件实现的, ...

  2. Linux运维工程师入门须掌握的10个技术点

    本人是linux运维工程师,对这方面有点心得,现在我说说要掌握哪方面的工具吧 说到工具,在行外可以说是技能,在行内我们一般称为工具,就是运维必须要掌握的工具. 我就大概列出这几方面,这样入门就基本没问 ...

  3. 设计一种前端数据延迟加载的jQuery插件(2)

    背景 最近看到很多网站都运用到了一种前端数据延迟加载技术,包括淘宝,新浪网等等,这样做的目的可以使得一些未显示的图片随 着滚动条的滚动进行延迟显示. 好处显而易见,可以减少前端对于图片的Http请求, ...

  4. AutoItLibrary安装报错(robotframework)解决

    官网下载地址:http://www.softpedia.com/get/Programming/Components-Libraries/AutoItLibrary.shtml Csdn下载地址:ht ...

  5. C#基于wpf编写的串口调试助手

    支持数据保存,自定义协议解码等功能 链接:https://pan.baidu.com/s/1zvhcES4QIjpDDJGzth1qOA 提取码:lp2x

  6. python控制流

    1. if...elif...else: 语法: if 判断条件: 语句... elif 判断条件: 语句... else: 语句... #elif语句可以有0个或多个 2. while和for循环: ...

  7. Python学习笔记5-时间模块time/datetime

    import time time.sleep(2) #等待几秒 # 1.格式化好的时间 2018-1-14 16:42 # 2.时间戳 是从unix元年到现在所有的秒数 # 3.时间元组 #想时间戳和 ...

  8. Django配置Bootstrap, js

    1.首先在APP目录下创建一个static文件夹 如图: # Application definition INSTALLED_APPS = [ 'django.contrib.admin', 'dj ...

  9. H5开发过程中修复的bug记录

    从2016年8月1日开始真正意义上的修复bug,也是自己开发之路的开端,希望在这里记录自己修bug过程中遇到的问题及解决方法,待能够自己开发需求的时候,计划记录开发新需求过程中遇到的问题,并且记录自己 ...

  10. 数据库SQLITE3初识

    数据库DataBase,我们都没有接触过数据库,那么数据库是什么? 它是一个有结构的.集成的.可共享的统一管理的数据集合! 所谓有结构的,指的是数据是按一定的模型组织起来的. 简单的说,拿个箱子,用隔 ...