c++ - 编译器跨互斥边界重新排序代码

Question

考虑以下代码:

int a = 0, b = 0;
boost::mutex m;
a++;
m.lock();
m.unlock();
b++;

锁的作用是告诉编译器“好吧，暂时忘掉 C++ 标准，我不在乎如果你严格遵守它会允许什么样的优化。你不能对任何内存访问重新排序越过这个界限”。这是否意味着 a++; 总是发生在 b++; 之前？或者这是否意味着，如果在锁之间有一个语句 s，不要用 a++ 或 b++ 重新排序？

Answer 1

Baum mit Augen 的评论已经很好地回答了这个问题。

但是，如果“a”和“b”是全局变量，并且声明为volatile，根据编译器的不同，互斥量强加的内存屏障可能保证读取/write 表达式不会跨边界重新排序。

这意味着读取“b”并发现它已增加的线程，在此之后执行类似的互斥锁定以施加内存屏障，最后读取“a”，保证发现“a”已增加也修改了。

MSVC 有这种行为，其他一些编译器也有。