c++ - 多线程间的获取-释放内存顺序

Question

代码:

std::atomic<int> done = 0;
int a = 10;

void f1() {
  a = 20;
  done.store(1, std::memory_order_release);
}

void f2() {
  if(done.load(std::memory_order_acquired) == 1) {
    assert(a == 20);
  }
}

void f3() {
  if(done.load(std::memory_order_acquired) == 1) {
    assert(a == 20);
  }
}

int main() {
  std::thread t1(f1);
  std::thread t2(f2);
  std::thread t3(f3);
  t1.join();
  t2.join();
  t3.join();
}

问题是如果线程 2 和 3 都看到 done == 1，将断言 a == 20 在两个线程中都成立？我知道 acquire-release 适用于一对线程。但是确实它也适用于多线程吗？

Answer 1

是的。释放-获取关系对所有线程对(访问相同的原子位置!)单独保持，并保证在释放之前所有写入(出现在程序顺序中)在相应的获取之后，所有读取(按程序顺序出现)都是可见的。