关于release-consume内存序与sequence-before序的矛盾推导疑问

我来帮你理清这里的关键问题——你在推导时的核心误区出在对happens-before链的构建逻辑和release-consume的依赖要求的理解偏差上，咱们一步步拆解：

首先先把你提到的代码贴出来，方便对照分析：

std::atomic<int> a{ 0 };
std::atomic<bool> b{ false };

void t1() {
    a.store(1, std::memory_order_relaxed); //1
    b.store(true, std::memory_order_release); //2
}

void t2() {
    while (!b.load(std::memory_order_consume)); //3
    assert(a.load(std::memory_order_relaxed) == 1); //4
}

先明确标准的结论 #

标准明确指出第4行的assert可能触发，原因是b.load()的结果并没有携带依赖关系到a.load()中。

你的推导中哪些是对的？ #

你用到的这些规则本身都是符合标准定义的：

• 同一线程内，顺序执行的完整表达式满足sequenced-before，进而构成happens-before：所以线程1中1→2、线程2中3→4的happens-before关系是成立的。
• 线程1的b.store(release)和线程2的b.load(consume)之间存在依赖顺序先行（dependency-ordered before），进而构成跨线程happens-before：也就是2→3的跨线程happens-before关系也成立。

关键错误：忽略release-consume的依赖传递限制 #

问题出在happens-before链的传递性在release-consume场景下不是无条件的——你错误地认为只要同一线程内有sequenced-before，就能把跨线程的依赖顺序先行关系无限制传递下去，但实际上：
release-consume建立的依赖顺序先行关系，只能传递给依赖于consume操作结果的后续操作，而不是所有sequenced-before的后续操作。

具体到这个例子：
线程2中，第3行的b.load(consume)的结果并没有被第4行的a.load()使用——第4行读取a的操作完全不依赖第3行的返回值（不管b的load结果是true还是false，第4行都会执行读取a的动作）。

所以，虽然3和4之间有sequenced-before的happens-before，但这个关系无法和前面2→3的依赖顺序先行关系结合，形成能让1的副作用对4可见的有效happens-before链。

再看可见性的标准要求 #

可见性要求的是“副作用A happens-before 读取B”，但这里的happens-before链必须是能传递release-consume依赖关系的链。单纯的同一线程sequenced-before只能保证线程内的执行顺序，却无法把跨线程的依赖顺序先行的可见性传递给不相关的操作。

举个正确的反例，如果我们让第4行的操作依赖于第3行的结果：

void t2() {
    auto flag = b.load(std::memory_order_consume); //3
    while (!flag);
    if (flag) { // 这里的操作直接依赖于flag（即b.load的结果）
        assert(a.load(std::memory_order_relaxed) == 1); //4
    }
}

这时候，4的操作依赖于3的结果，release-consume的依赖关系就被传递下去了，1的副作用才会对4可见，assert也不会触发。

总结 #

你之前的推导错误在于，把同一线程内的sequenced-before的happens-before关系，和跨线程的依赖顺序先行的happens-before关系无限制拼接成了完整链，但实际上release-consume的依赖关系是有传递条件的——只有当后续操作依赖于consume操作的结果时，才能把release操作的副作用的可见性传递过去，单纯的sequenced-before（不涉及依赖）做不到这一点。

内容来源于stack exchange