【一个教训】在无锁数据结构的自旋中，分别两次使用Atomic_Load

作者:张富春(ahfuzhang)，转载时请注明作者和引用链接，谢谢！

• cnblogs博客
• zhihu
• Github
• 公众号:一本正经的瞎扯
  

---

近期在写一个 MPMC 的无锁队列，结果无论如何都改不好，内部的指针总是对不上，且找不到出问题的原因。
加了很多 assert 后发现：例如队尾的 tail 值，原来在位置 100，生产后，应该走到 101. 但是崩溃的 assert() 检查到 tail 的值为 98.
最终猜测原因如下：

void ProduceFunc(){
  for (;;){
      uint64_t curHead = ATOMIC_LOAD(&(q->Head));
      uint64_t curTail = ATOMIC_LOAD(&(q->Tail));
  }
}

• 在程序逻辑中，我们希望 curHead 和 curTail 是某一瞬间的快照；
• 在多线程情况下，curHead 可能是版本 1 中的值，而 curTail 是版本 2 的值；

折腾到最后得到的教训是：虽然 ATOMIC_LOAD 是原子的，但是连续两次 ATOMIC_LOAD 就不是了。