【Effective Modern C++】第七章 并发API：40. 对于并发使用atomic，对于特殊内存使用volatile

为什么要区分这两个关键字？

volatile之所以被拿来和并发编程混为一谈，是因为：

• 其他语言（Java/C#）中volatile有并发语义；

• 部分 C++ 编译器给volatile加了非标准的并发特性；

  但在标准 C++ 中，volatile和并发毫无关系，而开发者常把它和处理并发的std::atomic搞混，这是文章要解决的核心问题。

std::atomic：专为并发设计的原子操作工具

1. 能力：保证对变量的操作（读、写、读 - 改 - 写）是原子性的（不可分割），无需互斥锁，底层通过专用机器指令实现，比锁更高效。

   • 比如++ai（ai是std::atomic<int>）是完整的原子操作，多线程执行时不会出现 “读 - 改 - 写” 拆分导致的错误；
   • 对比普通变量 /volatile变量的自增：会拆分成 “读值→加 1→写回” 三步，多线程下会出现计数错误（比如两次自增只得到 1 而非 2）。

2. 内存序限制：默认的 “顺序一致性” 模型会限制编译器 / 硬件的指令重排，保证操作的执行顺序和代码逻辑一致。

   • 比如先计算imptValue再设置valAvailable = true，std::atomic能保证其他线程不会看到valAvailable为true但imptValue未计算完成的情况；
   • 这是并发通信的关键（比如用标志位通知 “数据已就绪”）。

3. 限制：删除了拷贝构造 / 赋值函数（避免非原子的拷贝操作破坏线程安全），必须通过load()/store()读写值。

volatile：专为 “特殊内存” 设计的防优化工具

1. 能力：告诉编译器 “这块内存是特殊的，不要优化看似冗余的读写操作”，仅针对内存优化，和并发无关。

   • 冗余读：auto y = x; y = x;（x是volatile int），编译器不会省略第二次读（比如x是温度传感器的内存映射地址，两次读取值可能不同）；
   • 冗余写：x = 10; x = 20;，编译器不会省略第一次写（比如x是无线电控制端口，两次赋值是不同指令）。

2. 局限性：

   • 无原子性保证：volatile变量的自增、读写依然是拆分操作，多线程下会出现数据竞争，属于未定义行为；
   • 无指令重排限制：编译器 / 硬件仍可能重排volatile变量的操作顺序，无法保证并发通信的正确性。

std::atomicvsvolatile

特殊场景：两者可以结合使用

如果变量同时满足 “需要原子操作” 和 “需要防优化”（比如内存映射 I/O 地址被多线程访问），可以组合声明：

volatile std::atomic<int> vai;

• std::atomic保证操作的原子性；
• volatile禁止编译器优化对这块特殊内存的读写。

额外实践建议

显式调用std::atomic的load()/store()函数，虽然不是语法必需，但能：

• 清晰标识变量是 “非普通” 的，便于排查性能瓶颈（原子操作比普通操作慢）；
• 提醒开发者注意并发语义，避免遗漏std::atomic声明导致的并发错误。

总结

1. std::atomic是并发编程工具：解决多线程无锁访问变量的原子性和内存序问题，和特殊内存无关；
2. volatile是特殊内存处理工具：禁止编译器优化冗余读写，和并发安全无关；
3. 两者核心目标完全不同，不可互相替代，仅在 “特殊内存 + 多线程访问” 的极端场景下组合使用。

原著在线阅读地址