volatile不能实现无锁状态流转，仅保证可见性与禁止重排序，不提供原子性；需配合cas或原子类（如atomicinteger、atomicreferencefieldupdater）完成安全状态变更，适用于单变量“写入即生效”场景。
volatile 本身不能实现完整的无锁状态流转，它只保证变量的可见性和禁止部分重排序，不提供原子性。在轻量级状态机中，它通常作为辅助手段配合 CAS（Compare-And-Swap） 或状态校验逻辑使用，而非单独承担状态变更职责。
volatile 适合做状态“快照”和“通知”
当状态机的状态变量是单个基本类型（如 int、enum ordinal 或 boolean），且更新操作是“写入即生效、无需依赖旧值”的场景下，可用 volatile 做状态广播：
- 多个线程能立即看到最新状态，避免因 CPU 缓存导致“卡在旧状态”
- 配合 while 循环轮询（如等待某个状态就绪），volatile 读可防止编译器/JIT 将其优化为死循环
- 例如：volatile State currentState = State.IDLE;，其他线程调用 setState()（内部用 CAS 或 synchronized）后，观察者线程能及时感知
真正实现无锁状态流转靠的是 AtomicXxx + CAS
状态变更若需“检查-更新”语义（如：仅当当前是 IDLE 才允许变为 RUNNING），必须用原子类：
- 声明：private final AtomicInteger state = new AtomicInteger(State.IDLE.ordinal());
- 安全流转：state.compareAndSet(IDLE.ordinal(), RUNNING.ordinal())
- 失败时可重试、降级或抛异常，整个过程无锁、无阻塞
- volatile 在这里不参与变更，但 AtomicXxx 内部正是靠 volatile + Unsafe CAS 实现的
结合 enum 和 volatile 的实用模式
用 enum 定义状态 + volatile 引用 + 显式校验，适合简单两态或线性流程：
- 定义：private volatile State state = State.STOPPED;
- 流转方法中先检查再设值（非原子，需配合外部同步或设计成“最多一次”）：
- if (state == State.STOPPED && STATE_UPDATER.compareAndSet(this, State.STOPPED, State.STARTING)) { ... }
- STATE_UPDATER 是 AtomicReferenceFieldUpdater，对 volatile 字段提供 CAS 能力
注意边界：volatile 不解决竞态，只解决可见性
以下情况 volatile 单独使用会出错：
- 状态变更依赖前值（如 state++、state = next(state)）→ 必须用 AtomicXxx 或锁
- 多个字段需保持一致性（如 status + errorCode + timestamp）→ volatile 无法保证多变量的原子可见
- 状态机有复杂分支（A→B→C，但 A→C 非法）→ 需显式状态转换表 + CAS 校验，volatile 仅作结果发布
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
