如何解决C ++ 11引入了标准化的内存模型这是什么意思？它将如何影响C ++编程？
| C ++ 11引入了标准化的内存模型，但这到底是什么意思？它将如何影响C ++编程？ 这篇文章（由加文·克拉克（Gavin Clarke）引用赫伯·萨特）表示： 内存模型意味着C ++代码 现在有一个标准库可供调用 不管谁编译 以及它在哪个平台上运行。 有一种标准方法可以控制 不同的线程交谈 处理器的内存。 \“当您谈论拆分时 跨不同核心的[代码] 在标准中，我们正在谈论 内存模型。我们准备去 优化它而不破坏 以下假设人们会去 编写代码，”萨特说。 好吧，我可以记住这一段以及网上可以找到的类似段落（因为我自出生以来就有自己的记忆模型：P），甚至可以发布它作为对其他人提出的问题的答案，但是说实话，我没有完全明白这一点。 C ++程序员甚至以前都曾开发过多线程应用程序，那么，这是POSIX线程，Windows线程还是C ++ 11线程又有什么关系呢？有什么好处？我想了解底层细节。 我也感觉到C ++ 11内存模型与C ++ 11多线程支持某种程度上相关，因为我经常将两者结合在一起。如果是，究竟是什么？为什么要联系它们？ 由于我不知道多线程的内部原理以及内存模型的一般含义，请帮助我理解这些概念。 :-)解决方法
首先，您必须学会像语言律师一样思考。
C ++规范未引用任何特定的编译器，操作系统或CPU。它引用了抽象机，它是对实际系统的概括。在语言律师界，程序员的工作是为抽象机编写代码。编译器的工作是在具体机器上实现该代码。通过严格按照规范进行编码，您可以确定您的代码可以在不使用兼容C ++编译器的任何系统上进行编译和运行，而无论是现在还是50年后。
C ++ 98 / C ++ 03规范中的抽象机基本上是单线程的。因此，不可能编写相对于规范“完全可移植”的多线程C ++代码。规范甚至没有说关于内存加载和存储的原子性或加载和存储可能发生的顺序的任何信息，不用管互斥锁之类的事情。
当然，您可以在实践中为特定的具体系统（例如pthread或Windows）编写多线程代码。但是没有标准的方法可以为C ++ 98 / C ++ 03编写多线程代码。
C ++ 11中的抽象机在设计上是多线程的。它还具有定义明确的内存模型；也就是说，它说明了在访问内存时编译器可能会做什么，可能不会做什么。
考虑以下示例，其中两个线程同时访问一对全局变量：
Global
int x,y;
Thread 1 Thread 2
x = 17; cout << y << \" \";
y = 37; cout << x << endl;
Global
atomic<int> x,y;
Thread 1 Thread 2
x.store(17); cout << y.load() << \" \";
y.store(37); cout << x.load() << endl;
0 0
0 17
Global
atomic<int> x,y;
Thread 1 Thread 2
x.store(17,memory_order_relaxed); cout << y.load(memory_order_relaxed) << \" \";
y.store(37,memory_order_relaxed); cout << x.load(memory_order_relaxed) << endl;
Global
atomic<int> x,memory_order_release); cout << y.load(memory_order_acquire) << \" \";
y.store(37,memory_order_release); cout << x.load(memory_order_acquire) << endl;
0 0
37 17
string
std::string
atomic<uint64_t> seq; // seqlock representation
int data1,data2; // this data will be protected by seq
T reader() {
int r1,r2;
unsigned seq0,seq1;
while (true) {
seq0 = seq;
r1 = data1; // INCORRECT! Data Race!
r2 = data2; // INCORRECT!
seq1 = seq;
// if the lock didn\'t change while I was reading,and
// the lock wasn\'t held while I was reading,then my
// reads should be valid
if (seq0 == seq1 && !(seq0 & 1))
break;
}
use(r1,r2);
}
void writer(int new_data1,int new_data2) {
unsigned seq0 = seq;
while (true) {
if ((!(seq0 & 1)) && seq.compare_exchange_weak(seq0,seq0 + 1))
break; // atomically moving the lock from even to odd is an acquire
}
data1 = new_data1;
data2 = new_data2;
seq = seq0 + 2; // release the lock by increasing its value to even
}
data1
data2
atomic<>
writer()
reader()
reader()
reader()
while
atomic<>
memory_order_relaxed
atomic_thread_fence
memory_order_relaxed
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。