Java 面试宝典：什么是可见性？volatile 是如何保证可见性的？
内容提要
本文讨论了多核年代中的可见性问题和解决方案，包括使用volatile修饰共享变量和同步机制。volatile通过lock前缀和MESI协议确保可见性，而MESI协议用于维护多处理器系统中的缓存共同性。内存屏障volatile通过Load和Store屏障实现可见性。最后以i++为例说明了内存屏障的作用。
延伸解读
volatile 与 synchronized 的适用场景
文章指出，解决可见性有两种方案：volatile 和同步机制。volatile 通过强制读写主内存来保证可见性，但无法保证原子性，因此适用于状态标志等单一赋值场景。而 synchronized 或锁不仅能保证可见性，还能保证原子性，适用于复合操作。理解这一区别有助于在并发编程中正确选择工具。
MESI 协议如何维护缓存一致性
MESI 协议通过四种缓存行状态（Modified、Exclusive、Shared、Invalid）来协调多处理器缓存。当 CPU 写入共享变量时，会通知其他 CPU 将对应缓存行置为 Invalid，迫使它们下次读取时从主内存重新加载。这一机制是 volatile 可见性在硬件层面的基础，也解释了为什么多核环境下需要缓存一致性协议。
内存屏障在 volatile 中的作用
volatile 通过在读操作前插入 Load 屏障、写操作后插入 Store 屏障，强制从主内存读取最新数据并将修改写回主内存。以 i++ 为例，线程 A 和 B 依次读取、自增、写回，看似能正确累加，但文章强调，若两个线程同时执行，仍可能因非原子操作导致结果错误，此时必须借助同步或锁来保证线程安全。
Q&A
可见性在多核环境中是如何产生的？
可见性问题在多核环境中产生，因为每个CPU有自己的缓存，线程对共享变量的修改可能只在本地缓存中进行，导致其他线程无法及时看到这些修改。
如何使用volatile来解决可见性问题？
使用volatile修饰共享变量后，所有对该变量的读写操作都在主内存中进行，从而确保不同线程之间对该变量修改的可见性。
MESI协议在缓存一致性中起什么作用？
MESI协议维护多处理器系统中的缓存一致性，通过标记缓存行的状态，确保当一个CPU修改共享变量时，其他CPU的缓存行被标记为无效，从而强制它们从主内存重新加载数据。
内存屏障是如何确保可见性的？
内存屏障通过在每个读操作前加Load屏障和在每个写操作后加Store屏障，强制从主内存读取最新数据和将数据写回主内存，从而确保可见性。
i++操作中如何避免线程安全问题？
在i++操作中，通过使用同步机制或锁来确保操作的原子性，避免多个线程同时读取和修改同一变量导致的线程安全问题。
volatile变量的写入过程是怎样的？
写入volatile变量时，会在指令前加lock前缀，强制将值写入主内存，并使其他处理器的缓存行标记为无效，以确保可见性。
