在顺序一致性中,所有节点操作对所有节点都显示为按某种顺序出现.
因此,在您的示例中,进程1,2和3将以相同的顺序看到内存操作. (4个操作有6个可能的订单,但所有流程都会就该订单的内容达成一致.)
在因果一致性过程中,1,2和3都可以观察到这些写入以不同的顺序发生.有两个规则:
>每个人都同意我写的过程发生在我执行过程的相同顺序中.
>如果任何进程,i,读取位置x并获得由不同进程j写入的值,那么所有线程都同意进程j写入位置x先于进程i读取位置x.
因为,在您的原始示例中没有读取操作,因此例如,进程1可以认为写入按x = 1,y = 2,z = 5,p = 3的顺序发生,而进程2认为写入以z = 5,p = 3,x = 1,y = 2的顺序发生,并且过程3认为它们按照z = 5,x = 1,p = 3,y = 2的顺序发生.
因果记忆本身似乎不是很有用.在本文的后面,他们展示了如何实现某种类似于具有因果记忆的障碍(以及辅助过程),但是提到似乎没有任何方便的方法来实现关键部分.
因此,他们最终会做一些弱一致或释放一致记忆的事情,并添加一个需要按顺序一致的同步原语.