可见性是指线程修改共享变量后其他线程能否立即看到该修改;因JMM中线程工作内存与主内存分离,且存在缓存、优化和重排序,导致修改未及时同步,从而引发可见性问题。

可见性是指当一个线程修改了共享变量的值,其他线程能否立即看到这个修改。在Java中,由于CPU缓存、编译器优化和指令重排序的存在,一个线程对变量的写操作可能还没来得及刷新到主内存,或者另一个线程还没从主内存重新读取该变量——这就导致“看不到最新值”,即可见性问题。
为什么会出现可见性问题
Java内存模型(JMM)规定:所有变量都存储在主内存中,每个线程有自己的工作内存(如CPU缓存或寄存器),线程对变量的所有操作(读、写)都必须在自己的工作内存中进行,不能直接读写主内存。
- 线程A把变量x从主内存读到工作内存,修改后未及时写回主内存;
- 线程B在同一时刻读取x,仍从主内存(或自己缓存)拿到旧值;
- 结果:线程B“看不见”线程A的修改。
哪些场景会破坏可见性
以下情况不加同步机制时,无法保证可见性:
- 普通变量的读写(没有volatile、synchronized等修饰);
- 未正确使用final字段(构造过程中逸出会导致其他线程看到未初始化完成的对象);
- 使用非线程安全的集合类(如ArrayList),其内部状态变更对其他线程不可见。
如何保证可见性
Java提供了几种标准手段,它们都通过JMM的“happens-before”规则建立内存可见性保障:
立即学习“Java免费学习笔记(深入)”;
- volatile关键字:修饰变量后,对该变量的每次读操作都从主内存读,每次写操作都立即刷回主内存;同时禁止指令重排序(针对该变量的读写);
- synchronized块或方法:进入时强制从主内存读取共享变量,退出时强制将修改刷回主内存;
- Lock接口(如ReentrantLock):与synchronized语义一致,同样提供可见性保证;
- 线程启动/终止、中断、join()等操作,也隐含happens-before关系,可间接保障部分可见性。
volatile能替代synchronized吗
不能完全替代。volatile只保证单个变量的可见性和有序性,但不保证原子性。例如:i++(读-改-写三步)即使i是volatile,多个线程并发执行仍可能导致结果丢失。此时需用synchronized或AtomicInteger等原子类。











