在c ++ 11中，可以使用std :: atomic在两个线程之间传输非原子数据

Question

在c ++ 11中，可以使用std :: atomic在两个线程之间传输非原子数据吗？ 详细地说，以下4种语义是否都是由atomic建立的？

1. 原子写语句之前的所有语句（谈论执行时，包括那些c ++语句生成的所有机器指令）都在原子写之前执行。

2. 原子读取之后的所有语句（在谈论执行时，包括那些c ++语句生成的所有机器指令）都在原子读取之后执行。

3. 写入原子之前的所有其他内存写入都将提交给主内存。

4. 读取原子后，所有其他所有读取的内存将再次从主内存读取（这意味着丢弃线程缓存）。

我在这里看到了一个例子： http : //bartoszmilewski.com/2008/12/01/c-atomics-and-memory-ordering/

但是，在该示例中，数据是原子的，所以我的问题是，如果数据不是原子的怎么办？

这是一些代码，显示我想要的：

常用数据：

std::atomic_bool ready;
char* data; // or data of any other non atomic

写线程：

data = new char[100];
data[0] = 1;
ready.store(true); // use default memory_order(memory_order_seq_cst), witch i think is the most restrict one

读取线程：

if(ready.load()) { // use default memory_order(memory_order_seq_cst)
    assert(data[0] == 1); // both data(of type char*) and data[0~99](each of type char) are loaded
}

Answer 1

我认为您必须使用内存命令：

data = new char[100];
data[0] = 1;
ready.store_explicit(true, std::memory_order_release);

if(ready.load_explicit(std::memory_order_aqcuire)) {
    assert(data[0] == 1); // both data(of type char*) and data[0~99](each of type char) are loaded
}

（我不确定_explicit语法）

实际上，您的代码是正确的，但是在这种情况下，不需要sec / cst内存顺序并且acquire/release是正确的。 具有release用户在原子写操作之后不能对所有写操作进行重新排序，而没有acquire加载可以在原子加载之前进行重新排序，因此原子存储之后所有加载都可以看到原子存储之前的所有非原子存储。