相关疑难解决方法(0)

C++ 11引入了标准化的内存模型,但究竟是什么意思呢？它将如何影响C++编程？

这篇文章(引用Herb Sutter的Gavin Clarke)说,

内存模型意味着C++代码现在有一个标准化的库可以调用,无论是谁编译器以及它运行的平台.有一种标准方法可以控制不同线程与处理器内存的对话方式.

"当你谈论在标准中的不同内核之间分割[代码]时,我们正在谈论内存模型.我们将优化它,而不会破坏人们将在代码中做出的以下假设," Sutter说.

好吧,我可以在网上记住这个和类似的段落(因为我从出生以来就拥有自己的记忆模型:P),甚至可以发布作为其他人提出的问题的答案,但说实话,我并不完全明白这个.

C++程序员以前用于开发多线程应用程序,那么如果它是POSIX线程,Windows线程或C++ 11线程,它又如何重要呢？有什么好处？我想了解低级细节.

我也觉得C++ 11内存模型与C++ 11多线程支持有某种关系,因为我经常将这两者结合在一起.如果是,究竟是怎么回事？他们为什么要相关？

由于我不知道多线程的内部工作原理以及内存模型的含义,请帮助我理解这些概念.:-)

在cppreference.com 上的文档中std::memory_order，有一个轻松排序的示例：

轻松下单

标记的原子操作memory_order_relaxed不是同步操作；它们不会在并发内存访问之间强加顺序。它们只保证原子性和修改顺序的一致性。

例如，x 和 y 最初为零，

// Thread 1:
r1 = y.load(std::memory_order_relaxed); // A
x.store(r1, std::memory_order_relaxed); // B
// Thread 2:
r2 = x.load(std::memory_order_relaxed); // C
y.store(42, std::memory_order_relaxed); // D

Run Code Online (Sandbox Code Playgroud)

允许产生 r1 == r2 == 42 因为，虽然 A在线程 1 中先于 B排序， C 在线程 2 中在D之前排序，但没有什么能阻止 D 在 y 的修改顺序中出现在 A 之前，而 B 从在 x 的修改顺序中出现在 C 之前。线程 1 中的负载 A 可以看到 D 对 …