内存一致性中的release consistency

最新推荐文章于 2025-09-05 10:36:50 发布

转载最新推荐文章于 2025-09-05 10:36:50 发布 · 1.5k 阅读

分布式系统专栏收录该内容

43 篇文章

订阅专栏

发布一致性是并发编程领域的一致性模型之一，例如在分布式共享内存和分布式事务中使用。该模型通过特殊的同步操作 release 和 acquire 来确保节点间的写操作可见性。系统提供两种实现发布一致性的协议：急切协议，在 release 操作时执行所有一致性动作；懒惰协议，则将一致性动作延迟到后续的 acquire 操作之后。

Release consistency is one of the consistency models used in the domain of the concurrent programming (e.g. in distributed shared memory, distributed transactions etc.).

Systems of this kind are characterised by the existence of two special synchronisation operations, release and acquire. Before issuing a write to a memory object a node must acquire the object via a special operation, and later release it. Therefore the application that runs within the operation acquire and release constitutes the critical region. If all write operations by a certain node are seen by the other nodes after the former releases the object and before the latter acquire it, the system is said to provide release consistency.

There are two kinds of coherence protocols that implement release consistency:

eager, where all coherence actions are performed on release operations,[1] and

lazy, where all coherence actions are delayed until after a subsequent acquire [2]

TreadMarks is an application of lazy release consistency.[3]

原文链接：https://en.wikipedia.org/wiki/Release_consistency