组合原子和非原子变量和缓存

Question

比方说，我们有这样的一段代码，这是正确的（我希望至少）：

std::atomic<int> a; 
std::atomic<bool> ready{false}; 
void threadA() { 
    a.store(666, std::memory_order_relaxed); 
    ready.store(true, std::memory_order_release); 
} 

void threadB() { 
    while(!ready.load(std::memory_order_acquire)); 
    process(a.load(std::memory_order_relaxed)); 
} 

我的问题是：在这种情况下，你使用的是int a;代替std::atomic<int> a;，这是正确的？或者是否存在缓存刷新/失效问题？

Answer 1

不管这是一个好主意，作为一个例子，你的代码是很好..

您可以用常规int（或任何类型为此事）取代原子类型的a。
C++标准支持与下面的语句的情况下（第1.10.1-6）：

某些库的调用由另一个线程执行的其他库调用同步。例如，原子商店释放与负载获取该获取其值从商店

由于threadB载荷由threadA（它是在一个循环中等待它），则存储的ready值同步同步 - 与建立关系。 因此，a.load()观察到a.store()的记忆效应。另一种说法是，a.store()发生在之间a.load()