重新探讨多线程环境下C语言中的volatile关键字

答案是：不需要。

核心原因：互斥锁的同步语义自带内存可见性保证 #

在C11及以后的标准中，互斥锁的lock和unlock操作属于同步操作，它们会在线程间建立明确的happens-before关系：

• 线程1在unlock(m)之前对共享变量的写入，一定能被线程2在后续lock(m)之后的读取看到。
• 更关键的是，编译器会识别lock/unlock作为同步边界，不会跨这个边界做优化——也就是说，它不会把临界区内对共享变量的读取缓存到寄存器里，也不会把读取操作移到循环外（比如你例子里的while(1)循环）。

针对你给出的代码示例 #

在reader线程中，read = flag被包裹在lock(m)和unlock(m)之间，编译器知道这是临界区，每次循环都会从内存重新读取flag的最新值，绝对不会优化掉重复读取的操作。所以这里完全不需要给flag加volatile标记。

关于大型结构体的场景 #

对于线程间共享的大型结构体，只要所有访问（读/写）都严格通过互斥锁保护，同样不需要给结构体或其成员加volatile。同步操作的内存屏障语义会确保：每次进入临界区时，编译器都会从内存加载结构体的最新状态，而不是复用之前缓存的寄存器值。

再澄清volatile的作用 #

volatile的设计初衷是处理非线程的外部修改（比如硬件寄存器、信号处理函数修改的变量），它并不负责线程间的同步可见性。依赖volatile来保证线程安全是错误的——它既不提供原子性，也不能替代同步原语的内存屏障作用；反过来，正确使用互斥锁时，volatile完全是多余的。

内容的提问来源于stack exchange，提问作者c.abate