单写者单读者操作数组是否需Mutex或Atomic操作？

结论：该方案不可行，必须引入轻量级同步机制 #

1. 缓存可见性隐患 #

现代CPU的多级缓存架构会导致写者的更新无法及时同步到读者的缓存中。写者写入数组元素后，数据可能仅停留在自身核心的缓存行里，读者所在核心的缓存依然保留旧的0值，导致读者的检查循环永远无法退出，陷入死等。

2. 编译器/CPU指令重排优化的坑 #

编译器和CPU为了提升性能，会对无同步约束的指令进行重排：

• 写者的写入操作可能被打乱顺序，甚至延迟刷新到主存；
• 读者的检查循环while(arr[i] == 0);可能被编译器优化成if(arr[i] == 0) { while(true); }——因为编译器默认认为没有同步机制的话，数组元素不会被其他线程修改，直接判定为死循环。

3. 单写单读也需要同步保障 #

哪怕只有一个写者和一个读者，也需要保证两个核心的内存视图一致，以及指令执行顺序符合预期。不需要复杂的互斥锁（Mutex），但至少要使用：

• 原子类型（比如C++的std::atomic<int>、Java的volatile int）来声明数组元素，强制编译器和CPU遵守内存可见性规则；
• 或者在写完成后插入内存屏障指令，确保写入操作同步到主存。

示例问题（C++场景） #

如果用普通int数组实现，会出现优化导致的死循环：

int arr[1000] = {0};

// 写者线程
void writer() {
    for (int i = 0; i < 1000; ++i) {
        arr[i] = 1; // 无同步的写入
    }
}

// 读者线程
void reader() {
    for (int i = 0; i < 1000; ++i) {
        while (arr[i] == 0); // 可能被编译器优化为死循环
        // 处理arr[i]
    }
}

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