17370845950

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

可见性是指当一个线程修改了共享变量的值，其他线程能否立即看到这个修改。在Java中，由于CPU缓存、编译器优化和指令重排序的存在，一个线程对变量的写操作可能还没来得及刷新到主内存，或者另一个线程还没从主内存重新读取该变量——这就导致“看不到最新值”，即可见性问题。

为什么会出现可见性问题

Java内存模型（JMM）规定：所有变量都存储在主内存中，每个线程有自己的工作内存（如CPU缓存或寄存器），线程对变量的所有操作（读、写）都必须在自己的工作内存中进行，不能直接读写主内存。

• 线程A把变量x从主内存读到工作内存，修改后未及时写回主内存；
• 线程B在同一时刻读取x，仍从主内存（或自己缓存）拿到旧值；
• 结果：线程B“看不见”线程A的修改。

哪些场景会破坏可见性

以下情况不加同步机制时，无法保证可见性：

• 普通变量的读写（没有volatile、synchronized等修饰）；
• 未正确使用final字段（构造过程中逸出会导致其他线程看到未初始化完成的对象）；
• 使用非线程安全的集合类（如ArrayList），其内部状态变更对其他线程不可见。

如何保证可见性

Java提供了几种标准手段，它们都通过JMM的“happens-before”规则建立内存可见性保障：

• volatile关键字：修饰变量后，对该变量的每次读操作都从主内存读，每次写操作都立即刷回主内存；同时禁止指令重排序（针对该变量的读写）；
• synchronized块或方法：进入时强制从主内存读取共享变量，退出时强制将修改刷回主内存；
• Lock接口（如ReentrantLock）：与synchronized语义一致，同样提供可见性保证；
• 线程启动/终止、中断、join()等操作，也隐含happens-before关系，可间接保障部分可见性。

volatile能替代synchronized吗

不能完全替代。volatile只保证单个变量的可见性和有序性，但不保证原子性。例如：i++（读-改-写三步）即使i是volatile，多个线程并发执行仍可能导致结果丢失。此时需用synchronized或AtomicInteger等原子类。