Lamport算法 口C(a)表示事件a的时钟值。性质 ifa>b;,则C(a)C(b) vabC(a)≠C(b) C是递增的 口校正算法 a>b, if c(bk<C(a), JC(b)=C(a)+1 2002-6-14 东北大学软件所于戈 第三章分布式同步控制2002-6-14 东北大学软件所 于戈 第三章 分布式同步控制 6 Lamport算法 ❑C(a)表示事件a的时钟值。性质： – if a→b;则C(a)<C(b) – a,b C(a) C(b) – C是递增的 ❑校正算法 – a→b， – if C(b)<C(a), 则C(b) = C(a) +1