分布式系统的一些基本理论算法概述

lamport timestamps

lamport timestamps是分布式系统的用来为所有事件排序的一种算法。

分布式系统中，可能有多个进程，单个进程中的各个事件的顺序是容易确定的，通过本地物理时钟就可以，但是不同进程间的事件顺序该如何确定呢？

lamport timestamps首先确定了两个显而易见的原则：

1，同一个进程中，a先发生，b后发生，则 a->b

2，不同进程中，进程发送消息的事件称为a，接受消息的事件称为b  则a->b

在确定事件先后顺序时，有两个主要的步骤

1，发送消息时， 本地计数器+1，然后把计数器值发送给接收端

2，接收消息时，本地计数器和收到消息中的计数器取大的，然后加1

此算法特点就是，a->b 可以判定  C(A) < C(B) ，而反过来则不可以

比如上图，通过红色的箭头可以得到各自的C值，但是由于C（E）<C(B)但是并不能断定  E->B

参考文献：

https://en.wikipedia.org/wiki/Lamport_timestamps

http://www.360doc.com/content/14/0730/17/11991_398170543.shtml