algorithm - 在一致的全局状态下，运行和一致运行有什么区别？

Question

我指的是分布式系统中的全局状态，该状态发表在 Ozalp Babao 和 Keith Marzullo 的论文 Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms ( pdf ) 中。

在第 7 页，他们定义运行如下：

分布式计算的运行是总排序，包括全局历史中的所有事件，并且与每个本地历史一致。

然后在第 11 页，他们定义了一致的运行，如下所示：

如果对于所有事件，运行R是一致的，则e 发生在 e' 之前意味着e出现在R中的 e'之前。换句话说，R对事件施加的总顺序是由因果优先级定义的部分顺序的扩展。

到目前为止一切都很好，但是他们继续在下面的句子中说可能有两个一致的全局状态A和B，并且他们定义了某种导向运算符，如果存在某种一致的运行，则A 导致 B这成立。

我的问题是，怎么会有多次运行？对于每个系统设置，不会有一个独特的运行（基于一些针对并发事件的决胜局的事件的完全有序关系）吗？怎么会有多次运行（除了由不同的并发事件决胜局引发的运行）？

标签： algorithmcomputer-sciencedistributed-computingdistributed-system