FutureTask 状态机通过 volatile int state 字段、CAS 原子操作和严格单向状态流转实现精准控制：NEW→COMPLETING→NORMAL/EXCEPTIONAL，或取消路径 NEW→CANCELLED/INTERRUPTING→INTERRUPTED，确保线程安全与幂等性。
FutureTask 的状态机不是靠接口或继承实现的，而是靠一个 volatile int state 字段 + 原子操作 + 显式状态流转规则来达成精准控制。
state 字段是整个状态机的中枢
它用一个整型变量承载全部生命周期信息，所有状态变更都基于 CAS（Compare-And-Swap）原子操作完成，避免竞态。每个状态值有唯一含义：
- NEW（0）：刚创建，任务尚未启动
- COMPLETING（1）：结果正在写入，短暂中间态，防止 get() 读到半初始化数据
- NORMAL（2） 或 EXCEPTIONAL（3）：任务已终态，outcome 已安全写入
- CANCELLED（4）、INTERRUPTING（5）、INTERRUPTED（6）：取消相关路径，区分是否已尝试中断线程
状态流转严格遵循预设路径
源码注释明确限定合法跃迁，不允许任意跳转。比如：
- 正常完成只能走 NEW → COMPLETING → NORMAL
- 异常终止走 NEW → COMPLETING → EXCEPTIONAL
- 取消未启动任务直接到 CANCELLED；若已运行，则先到 INTERRUPTING，再设为 INTERRUPTED
这种单向不可逆设计，保证一旦进入 COMPLETING 及之后的状态，后续调用 get() 就不会阻塞——因为 outcome 已就绪或异常已捕获。
Java Maven Common
下载
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
立即学习“Java免费学习笔记（深入）”；
关键方法都依赖 state 做守门人
所有核心行为都以 state 当前值为前提，不满足条件则直接返回或拒绝：
- run()：仅在 state == NEW 时才执行 callable.call()，否则立即 return —— 实现幂等性，避免重复执行
- get()：若 state
- cancel(boolean)：只对 state == NEW 的任务生效（mayInterruptIfRunning = false）；若为 true，则尝试 interrupt runner 线程，但仅当 state 仍为 NEW 才能推进到 INTERRUPTING
辅助字段协同保障状态一致性
state 不是孤军奋战，它和几个 volatile 成员共同构成完整控制链：
- runner：记录正在执行任务的 Thread，cancel(true) 时用于 interrupt 目标线程
- outcome：只在 COMPLETING 后写入，且写入后 state 才升到 NORMAL/EXCEPTIONAL，防止读取到脏值
- waiters：链表结构的等待节点，在 state 达到终态后 unpark 所有挂起线程
这些字段全部用 volatile 修饰，确保多线程下可见性，配合 state 的 CAS 更新，形成一套轻量、高效、无锁（除 wait/unpark 外）的状态协调机制。
