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

Question

在c++11中，std::atomic可以用来在两个线程之间传输非原子数据吗？具体来说，下面4种语义都是原子建立的吗？

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 时，原子加载前无法重新排序加载，因此原子存储之前的所有非原子存储都将对所有人可见在原子加载之后加载。