内存一致性中的release consistency

关注

转载最新推荐文章于 2026-05-13 09:24:40 发布 1.5k 阅读 AI 写同款· GEO 优化 ›

浅析分布式系统之体系结构技术基本目标----一致性（单对象、单操作） 一致性的本质 一致性定义：逻辑层面，一致性（consistency）是指一個形式系統中不蕴含矛盾（wiki）。在计算机系统的范畴之内，一致性其实是一种人们对于系统的综合需求，人们往往需要计算机的运行结果或状态是确定的、正确的且与系统的需求不蕴含矛盾，而不蕴含矛盾本身是一种随着不同的系统环境以及业务需求而变化而变化的要求。也就是说，对所有的计算机系统来说，只要它们的运行状态或结果与某种业务需求所定义的状态或结果一致不矛盾都可以认为达到了满足了一致性需求。因此针对不同的业务需求以及不同分布式系统的「一致」的定阅读详情

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

收录于