分布式算法讲课资料.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Def 3.3 在一个环R上的一个执行里，某轮r称为是active的，若该执行的第r轮里，某一个结点发送一个msg。当R是从上下文已知时，用rk表示第k个active轮。 Note： 一旦环R确定，整个容许执行就确定(因为系统同步) 由于一个基于比较的算法在等价环上的行为相似，因此： 对于序等价的环R1和R2，一轮在exec(R1)里是主动的当且仅当它在exec(R2)里也是主动的。 因为消息中的信息在k个轮里只能在环上通过k个结点，所以一个结点在k轮之后的状态只依赖于它的k-邻居。 然而一个更强的性质是：一个结点在第k个主动轮之后的状态只依赖于它的k-邻居。这实际上告诉我们：信息只有在主动轮里才能获得。这一点在下面的引理中给出形式证明。 §3.4.2 有限制算法的下界Ω(nlgn) * §3.4.