C ++中的无锁数据结构比较和交换例程

Question

在本文中：Lock-Free Data Structures（pdf）显示以下“比较和交换”基础：

template <class T>
bool CAS(T* addr, T exp, T val)
{
  if (*addr == exp)
  {
    *addr = val;
    return true;
  }
  return false;
}

然后说

  

整个过程是原子的

但是怎么回事？其他一些演员是否有可能在addr和作业之间更改if的值？在这种情况下，假设所有代码都使用了这个CAS基础，那么下次有什么东西“预期”它是某种特定方式，而事实并非如此。但是，这并没有改变它可能发生的事实，在这种情况下，它仍然是原子的吗？如果另一个演员的变化被这个演员覆盖了，那么另一个演员回归真实呢？如果那不可能发生，为什么呢？

我想相信作者，所以我在这里错过了什么？我认为这一定是显而易见的。如果这看起来微不足道，我提前道歉。

Answer 1

他正在描述一个由实现给出的原子操作，“某种程度上”。这是用硬件实现的伪代码。