如何让非_Atomic实现代码测试失败以验证原子实现正确性？

要让非_Atomic版本的代码暴露竞态问题，核心是放大检查与赋值操作之间的时间窗口，同时提升多线程竞争同一资源的概率，具体可以从以下几个方向设计测试：

• 在检查与赋值间插入人为延迟
  在判断空槽后、赋值前插入空转循环或主动让出CPU的操作，大幅拉长两个操作的间隙，让线程切换更容易发生在这个窗口期。修改后的测试代码片段：

  while (keys[index] != 0 && keys[index] != key) { // skip past collisions
      index++;
  }
  
  if (keys[index] == 0) { // empty slot, so claim it
      // 插入空转延迟，放大竞态窗口
      for (volatile int i = 0; i < 10000; ++i) {}
      keys[index] = key;
  }
  

  这种情况下，多个线程极有可能同时检测到同一个空槽，最终导致同一位置被不同的key覆盖。

• 用高并发线程数加压
  不要仅用少量线程测试，直接启动数十甚至上百个线程，同时执行插入逻辑。线程数量越多，多个线程同时命中同一空槽的概率就越高。比如让64个线程各执行10万次插入操作，重复多轮测试。

• 构造集中竞争的场景
  预先填满数组的大部分槽位，只留下极少数空槽供所有线程争抢。例如初始化keys数组时，仅保留最后5个槽位为0，其余全部填充非0随机值。所有线程都会集中竞争这几个空槽，极大提升竞态条件触发的概率。

• 添加内存屏障强制暴露重排序
  部分编译器或CPU会对指令重排序，可能隐藏检查与赋值的间隙。可以在检查后插入内存屏障，强制编译器不重排指令、CPU刷新缓存，让线程间的操作可见性提升：

  if (keys[index] == 0) {
      // GCC/clang 内存屏障
      __asm__ __volatile__("" ::: "memory");
      keys[index] = key;
  }
  

• 增加结果校验逻辑
  所有线程执行完成后，遍历数组检查异常：

  • 统计每个key的写入次数，若存在同一key被多次写入（非预期的覆盖），或某个线程确认写入的key未出现在数组中
  • 检查是否存在槽位的值与任何线程写入的key都不匹配（多线程同时写入导致的脏数据）

内容的提问来源于stack exchange，提问作者fadedbee