volatile不能保证原子性。它仅确保变量读写直接操作主内存、禁止相关指令重排序，适用于一写多读的状态标志，但i++等复合操作仍需AtomicInteger或synchronized。
volatile 能不能保证原子性
不能。这是最容易误解的一点。volatile 只确保变量的**读写操作直接走主内存**，不缓存到线程本地，但它对复合操作（比如 i++）完全不提供保护。i++ 实际包含「读取、加1、写回」三步，哪怕 i 是 volatile 修饰的，中间仍可能被其他线程打断。
常见错误现象：volatile int count = 0; 然后多个线程执行 count++，最终结果大概率小于预期值。
- 需要原子性 → 改用
AtomicInteger或加synchronized - 仅需“一个写入立刻对其他线程可见” →
volatile正合适 - 注意：
volatile对long和double的读写是原子的（JVM 规范保证），但不推荐依赖这点来替代AtomicLong
volatile 如何影响指令重排序
volatile 写操作具有「发生前（happens-before）」语义：对一个 volatile 变量的写，happens-before 于后续任意线程对该变量的读。这不仅约束了可见性，还禁止编译器和 CPU 对涉及该变量的读写做跨 volatile 边界的重排序。
典型使用场景：状态标志位 + 双检锁单例模式中的 instance 字段。
立即学习“Java免费学习笔记（深入）”；
- 没加
volatile的双检锁，可能导致某个线程看到instance != null，但对象尚未构造完成（重排序导致引用赋值早于构造函数执行） - 加了
volatile后，JVM 会插入内存屏障（Memory Barrier），阻止相关指令越过 volatile 读/写重排 - 注意：这种屏障开销比普通变量略高，但远低于锁；不是所有重排序都被禁止，只禁“与该 volatile 变量相关的”重排序
volatile 和 synchronized 的关键区别
两者都涉及内存可见性，但机制和适用范围完全不同。
-
synchronized保证「原子性 + 可见性 + 有序性」，进入/退出时刷新整个线程工作内存，代价更高 -
volatile只保证「可见性 + 有限有序性」，不阻塞线程，无锁，适合轻量级状态通知 - 不能用
volatile替代synchronized来保护临界区，反之也不行——比如只读共享配置，volatile就够了；但要更新计数器，必须用后者或原子类 - 一个变量不能同时被
volatile和synchronized修饰（语法合法但无意义，synchronized已覆盖其作用）
哪些变量适合声明为 volatile
核心判断标准：是否满足「一写多读」「写操作不依赖当前值」「不与其他变量构成不变式」。
- 开关标志：
volatile boolean shutdownRequested，主线程设为true，工作线程轮询它退出 - 初始化完成标志：
volatile boolean initialized，配合 final 字段做安全发布 - 简单状态：
volatile int state（取值为枚举态，如 RUNNING / STOPPED），但避免state = state + 1这类操作 - 不适合：
volatile ArrayList list—— 引用本身可见，但 list 内部元素修改不被保证；应改用CopyOnWriteArrayList或加锁
容易被忽略的是：volatile 无法保证「对象内部状态」的可见性。哪怕你把一个对象引用声明为 volatile，该对象内字段的修改依然可能不可见——除非那些字段自己也是 volatile，或者通过同步手段发布。
