Coherence invariants
1. Single-Writer, Multiple-Read (SWMR) Invariant. For any memory location A, at any
given (logical) time, there exists only a single core that may write to A (and can also read it)
or some number of cores that may only read A.
2. Data-Value Invariant. The value of the memory location at the start of an epoch is the same
as the value of the memory location at the end of its last read–write epoch.引自 Coherence Basics
表示其中内容是对原文的摘抄