volatile 的作用是保证多线程间状态标志的即时可见性,而非互斥或原子性;它强制每次读写都直击主内存,确保如 running 标志等开关型变量的改变对所有线程立即可见。

volatile 在多线程通信中确实像一个“红绿灯”——它不控制谁先过、谁停多久(不提供互斥或排队),但能确保所有线程都**实时看到信号灯的颜色变化**。只要灯变红(变量设为 false),所有正在看灯的线程立刻停下;灯变绿(设为 true),大家马上开始行动。它的作用不是调度,而是**同步状态信号**。
红绿灯式通信的核心:状态标志的即时可见
volatile 最典型、最安全的用途就是作为“开关型”共享标志位。它让一个线程的“发号施令”对其他线程零延迟可见:
- 主线程把
running = false—— 相当于把绿灯切为红灯 - 工作线程每次循环前检查
while(running)—— 就像司机抬头看灯 - 因为 volatile,工作线程不会“视而不见”,也不会“以为还是绿灯”而继续跑
为什么普通变量做不到?—— 它会“假装没看见”红灯
没有 volatile 时,JVM 允许线程把 flag 缓存在自己的高速缓存或寄存器里。就像司机戴了墨镜,只看自己眼前那盏灯(本地缓存),哪怕路口真实红灯已亮,他仍按旧印象开车:
- 子线程可能把
flag读一次后就一直用缓存值,永远卡在while(!flag) - 编译器甚至可能优化成死循环:
if (!flag) goto loop_start,根本不再读内存 - volatile 强制每次读都“摘下墨镜”,直视主内存里的真实灯色
红绿灯的边界:它只管“颜色”,不管“车流”
volatile 管得了灯的变化,但管不了车怎么过路口。它解决可见性,不解决竞态:
立即学习“Java免费学习笔记(深入)”;
- ✅ 安全:
stop()设置running = false,其他线程立即退出循环 - ❌ 不安全:
counter++—— 这相当于“数有多少辆车闯红灯”,涉及读-改-写三步,volatile 无法保证原子性,结果可能漏数 - ⚠️ 注意:双重检查单例中的
instance用 volatile,是为了防止“灯刚亮(对象引用写入)但灯罩还没装好(构造未完成)”,其他线程就抢着过——这是有序性保障,也是红绿灯安装规范的一部分
真正用好这个红绿灯:三条交通规则
- 只用于简单布尔、整型、引用等“单次赋值即生效”的状态标识(如
isShutdown、isInitialized) - 避免复合操作:不要在 volatile 变量上做
+=、++、||=等非原子动作 - 配合语义使用:它本身不阻塞线程,所以常和
while循环、条件等待搭配,形成“看灯-行动”闭环


















