C++中不同线程顺序访问变量是否需atomic或mutex保护？

问题场景 #

int x;

void task(){
    ++x;
}

// 固定执行流程：
// 1. 线程1执行task()
// 2. 线程1执行完成后，线程2执行task()
// 3. 重复上述步骤

在线程绝不会同时访问x的前提下，是否需要使用atomic或mutex确保线程1对x的修改对线程2可见？这属于C++标准中的未定义行为吗？实际运行中是否能正常工作？

此外，阅读Boost.Asio示例时产生延伸疑问：示例中异步接收操作始终按时间顺序执行，但可能由不同线程执行（示例仅用一个工作线程），接收处理程序中普通（非atomic/mutex）成员变量的修改是否安全？

解答 #

1. 标准层面：必须用同步机制，否则是未定义行为 #

C++内存模型不默认保证跨线程的内存可见性。哪怕线程2的操作严格在线程1完成后执行，没有显式同步操作（比如atomic的原子操作、mutex的加解锁、条件变量的通知等待等），线程2无法确保能读取到线程1对x的最新修改——这属于未定义行为。

背后的原因是编译器和CPU的优化：

• 编译器可能将对x的修改暂存到寄存器，不立即写回主存；
• CPU可能重排指令顺序，或者缓存一致性机制存在延迟，导致线程2读取到旧值。

这些优化在单线程下安全，但跨线程时，没有同步屏障就会破坏可见性。

2. 实际运行的“正常”不可靠 #

很多场景下你可能看到程序“正常运行”，但这是依赖具体实现的：

• 部分编译器或CPU在线程切换时会自动刷新缓存；
• 单工作线程的Boost.Asio场景中，所有处理程序都在同一个线程串行执行，本质是单线程逻辑，不存在跨线程可见性问题，普通变量修改自然安全。

但这种“正常”不具备可移植性，换编译器、CPU架构或多工作线程场景，就可能出现难以调试的bug（比如线程2读取旧值导致计数错误）。

3. Boost.Asio场景的具体分析 #

• 单工作线程：所有异步处理程序串行执行在同一个线程，和单线程程序完全一致，普通成员变量的修改不需要同步机制，完全安全。
• 多工作线程+strand保证顺序：strand仅保证处理程序的执行顺序，不提供内存可见性同步。如果处理程序在不同线程执行，必须用atomic或mutex确保变量修改的可见性。

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