c - atomic_dec_if_positive 是如何原子化的？

Question

所以我正在从 here 的 Linux 源代码中读取 atomic.h (在谷歌上找到的。我不确定它是否合法)而且我无法理解这个:

这怎么是原子的？

static inline int atomic_dec_if_positive(atomic_t *v)
{
  int c, old, dec;
  c = atomic_read(v);
  for (;;) {
    dec = c - 1;
    if (unlikely(dec < 0))
      break;
    old = atomic_cmpxchg((v), c, dec);
    if (likely(old == c))
      break;
    c = old;
  }
  return dec;
}

Answer 1

它使用函数 atomic_read() 和 atomic_cmpxchg()，这肯定会在某个地方使用微处理器指令集的原子性特性以汇编语言实现。

它首先读取一个值并确保它是正数，将读取的值存储在c中，将减后的值存储在dec中并调用atomic_cmpxchg() 将自动执行以下操作:“仅当 *v 中的值等于 时，才将 dec 写入 *v c，并返回*v中的旧值”。这样你就可以确保 *v 中的值在两次原子调用之间没有改变。如果失败并且返回值与 *v 的预期内容不同，它将重试整个过程。