使用std :: mutex发布并获取

Question

这是一个关于C ++标准的问题。 我只能访问标准草案，所以如果官方标准不同，我道歉。 如果我误解了它是如何工作的，请随时纠正我。

假设我有两个线程，一个写入字符串，另一个复制该字符串的内容。 我使用std::mutex myMutex;保护对它们的访问std::mutex myMutex; 我知道你通常应该使用RAII类来锁定，我只是明确地使用了锁定和解锁来使示例更加明确。

// Global variable
std::string message;
std::mutex myMutex;

// Thread one
myMutex.lock();
message = "Hello";
myMutex.unlock();

// Thread two
myMutex.lock();
std::string copy = message;
myMutex.unlock();

我的理解是，为了使它在线程之间可靠地工作，线程1必须在设置字符串后执行Release操作，并且两个必须在读取字符串之前执行Acquire 。

阅读C ++ 11的标准草案我看不出任何说明std::mutex这样做的东西，虽然很明显它是预期的，或者互斥体对任何东西都没用。

有人能指点我看相关部分吗？ 标准中的措辞对于随意的读者来说往往不是很清楚:)

Answer 1

根据30.4.1.2p11，

同步 ：对同一对象的先前unlock()操作应与（1.10）[ m.lock() ]同步。

低于1.10p5，

[...]例如，获取互斥锁的呼叫将对包含互斥锁的位置执行获取操作。 相应地，释放相同互斥锁的调用将在这些相同位置执行释放操作。 非正式地，对A执行释放操作会强制对其他存储器位置的先​​前副作用变得对其他线程可见，这些线程稍后在A上执行消耗或获取操作。 [...]