COH除了硬件提供的最基础保障外没有任何约束（See cache coherence），即对于每个位置而言，其上的内存操作符合 SC。但是coherence的限制过于弱。
等价地，使用per-location program order 和 modification order定义：
或者通过穷尽bad pattern：
COH除了硬件提供的最基础保障外没有任何约束（See cache coherence），即对于每个位置而言，其上的内存操作符合 SC。但是coherence的限制过于弱。
等价地，使用per-location program order 和 modification order定义：
或者通过穷尽bad pattern：