关于std::memory_order_release与std::memory_order_acquire的同步范围及‘prior to’确切定义的技术问询

好问题——这其实是C++内存模型里很容易混淆的细节，我来给你理清楚：

直接结论 #

你的代码中，assert(other_var1.load(std::memory_order_relaxed))和assert(other_var2.load(std::memory_order_relaxed))都会成立，也就是说这两个变量的更新会被读线程正确看到。

核心概念：“prior to”的准确定义 #

在C++内存模型中，std::memory_order_release所保证的“prior to”写入操作，指的是同一线程内的「先行发生（happens-before）」关系，而这个关系是基于线程的**程序顺序（program order）**确定的：

• 程序顺序就是线程执行流的逻辑顺序，包括函数调用的嵌套执行——被调用函数里的语句会被插入到调用点的执行流中，属于线程整体执行顺序的一部分。
• 只要某个操作在线程的程序顺序中排在release操作之前，就属于“prior to”的范围，不管这个操作是在当前函数内，还是在被当前函数调用的其他函数里。

结合你的代码分析 #

看写线程的执行流：

1. 调用write_other()，执行other_var1 = true和other_var2 = true
2. 执行x.store(true, std::memory_order_relaxed)
3. 执行y.store(true, std::memory_order_release)

这三者在写线程的程序顺序里是严格的先后关系，对应的线程内happens-before链是：
other_var1 = true → other_var2 = true → x.store(relaxed) → y.store(release)

根据C++内存模型的同步规则：
当读线程通过y.load(std::memory_order_acquire)成功读取到写线程写入的true时，写线程的y.store(release)和读线程的y.load(acquire)之间形成**同步（synchronizes-with）**关系。这会把写线程中所有happens-before于release操作的写入，同步到读线程的可见范围内。

所以，读线程不仅能看到x的更新，也能看到other_var1和other_var2的更新——这三个变量的写入都在release操作的程序顺序之前，属于同步覆盖的范围。

常见误区澄清 #

很多人会误以为release只覆盖当前代码块内的操作，但实际上线程的执行流是连续的，函数调用只是代码的组织方式，不会切断线程内的happens-before关系。只要操作是在release之前被线程执行的，就会被包含在同步范围内。

内容的提问来源于stack exchange，提问作者silentspring