分布式算法模型-执行等价性和逻辑时钟

1、设f=(f0,f1,f2,....)表示E中的事件排列，它与E中因果序一致。那么f定义了惟一的执行F，它开始于E的初始配置。F、E中的事件同样多，并且如果E是有限的，则F的最终配置与E的最终配置相同。

2、执行F和E具有相同的事件集，且这些事件集的因果序相同。应用1的条件，E和F为执行等价。

3、称分布式算法的一次计算为算法执行的等价类（~下）

4、设（X,<）是偏序，且a,b∈X，满足b≮a。存在<的一个线性扩展<1，满足a  <1  b

5、同步消息传递

设γ是具有同步消息传递的分布式系统的配置，e1是进程p和q的一次转移，e2是进程r和s的一次转移，满足e1、e2在γ中都是可应用的，那么，e1在e2(γ)中是可应用的，e2在e1(γ)中可应用，且e1(e2(γ))=e2(e1(γ))

6、时钟是有序集（X,<）上事件集的函数⊙ ，满足

aㄑb=>⊙(a)<⊙(b)

7、LAMPORT逻辑时钟算法

(*一个内部事件*)

θp:=θp+1;

change state

(*一个发送事件*)

θp:=θp+1;

send <messg,θp>;

chadnge state

(*一个接收事件*)

receive(messg,θ);

θp:=max(θp,θ)+1;

change state