如何理解静态一致性?

Sum*_*mer 3 concurrency multithreading consistency sequential

我正在阅读"多处理器编程的艺术".现在,我被困在第三章,因为不理解静态一致性的概念.你能举个例子来说明什么是静态一致性吗?请尽可能清楚!

Lit*_*ild 5

在分布式编程中,有一种方法可以描述称为静态一致性的数据结构行为.存在许多一致性条件,顺序一致性,线性化等.这些条件描述了当有多个线程调用其方法时对象的行为方式.

如果数据结构在其静止状态之间保持一致,即当前没有正在进行的方法时,则该数据结构具有静态一致性.一旦静态一致的结构没有待处理的操作(即达到静止),我们可以确定在此状态之前和此状态之后的方法的执行永远不会被插入.

如果方法调用可以正确安排,保持由静止分隔的调用的相互顺序,一段时间没有在任何线程中调用方法,则执行是静止一致的.

在此输入图像描述

来源:
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-酒吧/帖/ 72