小编axl*_*axl的帖子

我在考虑原子变量是否有可能在获取 - 释放对中加载旧值.假设我们有原子变量x,我们用释放语义存储该变量,然后用获取语义加载它理论上是否可以读取旧值？

std::atomic<int> x = 0;

void thread_1()
{
   x.store(1, std::memory_order_release);
}
void thread_2()
{
   assert(x.load(std::memory_order_acquire) != 0);
}

如果在线程2加载x(因此存储新值)时功能线程1完成,则线程2是否可以从x加载旧值？换句话说,如果在加载之前完成了对x的实际存储,那么断言可能会触发吗？

据我所知,互联网上的文章是可能的,但我无法理解为什么.存储器生成的内存栅栏到x保证为空存储缓冲区,而从x中加载内存栅栏则保证缓存行无效,因此必须读取最新值.

添加

是否意味着获取 - 释放本身没有任何强制排序？它只是在发布之前发生的任何事情都会在发布之前完成,并且在获取之后所做的一切都将在它之后发生,因此获取 - 释放对强制执行其他操作的排序(为什么??).我做对了吗？这是否意味着在代码中,断言保证不会触发

std::atomic<int> x = 0;
std::atomic<int> y = 0;

void thread_1()
{
   y.store(1, std::memory_order_relaxed);
   x.store(1, std::memory_order_release);
}
void thread_2()
{
   x.load(std::memory_order_acquire);
   assert(y.load(std::memory_order_relaxed) != 0);
}

当然,如果线程1已经完成了商店.如果我们用while(x.load()== 0)替换x.load,这将100%工作,但我不知道是什么导致它工作.

如果我用下面的代码替换代码怎么办？

std::atomic<int> x = 0;

void thread_1()
{
   x.exchange(1, std::memory_order_acq_rel);
}
void thread_2()
{
   assert(x.exchange(0, std::memory_order_acq_rel) != 0);
}

它有什么改变吗？

谢谢.