为何Sloppy Counter的每个本地计数器需单独配置锁？

你误解了一个关键细节：代码里的threadID其实不是线程的唯一ID，而是当前线程运行所在的CPU核编号——看结构体里local数组的大小是NUMCPUS，对应每个CPU核，而非每个线程。这就是需要给每个本地计数器加锁的核心原因：

• 多线程可能共享同一CPU核的本地计数器
  操作系统的线程调度是动态的，多个线程完全可能被调度到同一个CPU核上运行。比如线程A在核0执行update修改local[0]，中途被调度挂起，线程B紧接着被分配到核0，也会操作local[0]。如果没有锁保护，两个线程对local[0]的并发修改会触发竞态条件，导致计数错误（比如两次+= amt的操作被重排序，最终结果少加了一次）。

• 内存可见性的保障
  就算某个CPU核上暂时只有一个线程在操作对应的本地计数器，锁的存在也能通过pthread_mutex_lock/unlock触发的内存屏障，保证该线程对local变量的修改能被后续操作（比如阈值达标后同步到global的步骤）正确读取，避免CPU缓存导致的脏数据问题，确保计数的准确性。

简单说，Sloppy Counter的本地计数器是按CPU核划分而非按线程划分的，只要多个线程可能复用同一CPU核，锁就是必须的，用来保护共享的本地计数变量。

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