采集负载可以与其他采集操作重新排序吗？ cppreference表示只有非原子的和松弛的才能被习得性命令

如何解决采集负载可以与其他采集操作重新排序吗？ cppreference表示只有非原子的和松弛的才能被习得性命令

根据C++ Reference，mutex.lock()是memory_order_acquire操作，而mutex.unlock()是memory_order_release操作。

但是，memory_order_acquire和memory_order_release仅对非原子和松弛原子操作有效。

memory_order: Release-Acquire ordering关于cppreference

如果线程A中的原子存储被标记为memory_order_release，而线程B中来自同一变量的原子加载被标记为memory_order_acquire，则发生的所有内存写入（非原子和宽松原子）-从线程A的角度来看，在原子存储之前，在线程B中成为可见的副作用

C ++中的互斥体能否保证原子操作的可见性？一个例子如下。代码A是否可以在mu.lock()之前重新排序，并且线程b将x读为false？

#include <thread>
#include <atomic>
#include <cassert>
#include <iostream>
#include <unistd.h>

std::atomic<bool> x = {false};
std::mutex mu;

void write_x(){
  mu.lock();
  std::cout << "write_x" << std::endl;
  x.store(true,std::memory_order_release);
  mu.unlock();
}

void read_x() {
  mu.lock();
  std::cout << "read_x" << std::endl;
  assert(x.load(std::memory_order_acquire)); // A
  mu.unlock();
}

int main() {
  std::thread a(write_x);
  usleep(1);
  std::thread b(read_x);

  a.join(); b.join();

  return 0;
}

解决方法

TL：DR：“所有内存写入”是指所有内容，而不是只是所提到的种类，但是措辞令人困惑。可能只是想指出，甚至非原子操作和松散的原子操作在同步对象中都是安全可见的，但措辞中缺少“包括”一词。

---

请注意，cppreference是旨在解释标准的Wiki。这不是规范性的技术语言，有时甚至用与ISO C ++标准不同的术语来解释事物。

通常非常好，但是不要仅仅认为某些奇怪的东西是完美的。从周围的环境（和理智）出发，就像该段中的最后一句话所说的“没有限制”的“一切”一样，这仍然很明显。

---

ISO C ++很清楚。 “看到”释放操作的获取操作将创建同步关系。获取操作之后，代码中可以看到发布前的一切。

因此，就访问访问全局一致的内存共享状态的操作的模型而言，获取操作会阻止所有在它们之前进行重新排序。包括发布和seq_cst操作。 （请注意，cppreference的这一部分并未引用 re 顺序，只是为了保证可见性而已。实际上，对全局一致状态的访问的本地重新排序实际上是实际CPU的工作方式，因此通常这样更方便地描述事物，就像您在问题中所做的那样。）

这意味着C ++的获取和发布定义与标准术语匹配，没有疯狂的魔术异常。 https://preshing.com/20120913/acquire-and-release-semantics/

---

请注意，有些人使用“松弛原子”来描述所有比seq_cst弱的顺序。。示例：Herb Sutter在谈论this question的过程中以这种方式使用它。

那可能就是那个cppreference定义的含义，但是IDK为什么他们要排除seq_cst。所有原子和非原子操作都是有序的。因此，也许他们的意思是mo_relaxed，只是想指出甚至这些是有序的/可见的。

（{seq_cst可以说已经为本身订购了所有 else ，所以“当然”是按照获取和释放操作来订购的。但这似乎不太可能。）

---

如果要强调它也订购了较弱的订单，则他们应该写出“ 包括非原子和松弛原子” 。如果没有“包括”一词，该措辞可以理解为暗含仅非原子和松弛原子。只有了解全局，了解什么才是理智的，才能正确阅读。

需要准确理解的技术写作通常会使用“包括但不限于”这一短语。

---

还请注意，您的示例仍然可以触发断言，并不是出于您担心的原因。

如果线程a的启动速度较慢，则线程b可以先进入其关键部分，然后在另一个线程中的print + store发生之前先进行打印并读取x。>

编写类似玩具示例的通常方法是在获取负载上旋转一个循环，直到看到一个值，例如由您关注的存储区之后的释放操作存储的data_read之类的标志。这样一来，您就知道读取端在获取操作之后运行，而获取操作与写入端的释放操作同步。