如何理解静态一致性？

Question

我正在阅读“多处理器编程的艺术”＃39;现在，我被困在第三章，因为不理解静态一致性的概念。你能举个例子来说明什么是静态一致性吗？请尽可能清楚！

Answer 1

  

在分布式编程中，有一种描述数据的方法   结构行为称为静态一致性。有一些   一致性条件，顺序一致性，线性化和   其他。这些条件描述了对象在行为时的行为方式   几个线程调用它的方法。

     

如果数据结构一致，则它具有静态一致性   在它的静止状态之间，即没有方法时   目前正在进行中。一个静态一致的结构   没有操作未决（即达到静止），我们可能会   确保在此状态之前和之后执行方法   国家永远不会介入。

     

如果方法调用可以，执行是静止一致的   正确安排保持分开的呼叫的相互顺序   静止，一段时间内没有任何方法被调用   线。

来源：
http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/88
http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/72