如何利用 FutureTask 的状态机转换理解异步任务从 NEW 到 COMPLETING 的全过程

小枫君_3380

小枫君_3380

2026-04-16

251人浏览

原创

futuretask 的状态跃迁始于 run() 调用:先 cas 将 state 从 new 改为 completing,再执行 call() 并写入 outcome,最后更新为 normal 或 exceptional;completing 是保障结果原子写入的不可见中间态。

如何利用 futuretask 的状态机转换理解异步任务从 new 到 completing 的全过程

NEW 状态下调用 run() 才真正触发状态跃迁

很多人误以为 FutureTask 实例化后就“准备就绪”,其实 state == NEW 仅表示任务尚未被任何线程执行。真正启动状态流转的唯一入口是 run() 方法——它必须由某个线程显式调用(比如提交给 Executor,或手动 new Thread(task).start())。

关键点在于:run() 内部首先通过 CAS 尝试将 state 从 NEW 改为 COMPLETING;失败则说明已被其他线程抢先执行,直接 return。

  • 若 CAS 成功,才进入实际计算逻辑(即 Callable.call())
  • 此时任务已脱离“未启动”范畴,进入“正在完成结果”的中间态,但 outcome 字段还没写入
  • COMPLETING 是瞬时态,不可见于外部调用(isDone() 返回 true,但 get() 仍可能阻塞)

COMPLETING 是结果落盘前的临界保护窗口

COMPLETING 的存在不是为了暴露给用户,而是为原子性写入结果服务。在 run() 中,call() 执行完后,会先设置 outcome,再把 state 从 COMPLETING 更新为 NORMAL 或 EXCEPTIONAL。

这个两步更新(先 outcome,再 state)能避免竞态:多个线程同时调用 get() 时,只要看到 state >= COMPLETING,就会自旋等待 state 变成终态,而不会读到未初始化的 outcome。

Rezi.ai
Rezi.ai

Rezi.ai是一款用于创建 ATS 友好简历、求职信和求职材料的 AI 简历工具。

下载
  • COMPLETING 期间,get() 不返回、不抛异常,只等待
  • 若此时调用 cancel(true),会失败(因为 state 已不是 NEW),但可中断正在运行的 call() 线程
  • 不能在 COMPLETING 态调用 runAndReset(),该方法只对 NEW 或终态有效

为什么不能跳过 COMPLETING 直接到 NORMAL

跳过中间态看似简化,实则破坏线程安全。如果 run() 直接 CAS state 到 NORMAL,再写 outcome,那么并发 get() 可能读到 state == NORMAL 却拿到未赋值的 outcome(JVM 指令重排序 + 缓存可见性问题)。

COMPLETING 强制引入一个“屏障”语义:只有 outcome 安全写入后,终态才对外可见。源码中这一步使用的是 UNSAFE.putOrderedInt,比 volatile 写更轻量,又足以保证后续读取 outcome 的正确性。

  • 该设计牺牲了少量性能(多一次 CAS),换来了无锁读取结果的可靠性
  • JDK 9+ 对此路径做了进一步优化,但 COMPLETING 的语义角色没变
  • 自定义子类若重写 done(),其回调时机就在 COMPLETING → NORMAL/EXCEPTIONAL 转换之后,此时 outcome 已确定

调试时如何观察 NEW → COMPLETING 这一跳

直接打印 state 值意义不大,因为 COMPLETING 太短暂。更实用的方式是结合断点和条件:

  • 在 FutureTask.run() 开头打断点,确认进入时 state == NEW
  • 在 UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING) 后加日志或 watch 表达式 state
  • 若想稳定复现 COMPLETING 态,可在 call() 开头插入 Thread.sleep(10),再另起线程调用 get() 并检查 state
  • 注意:不要依赖 toString() 输出的 state 名称,它只映射静态常量,不反映实时值

真正容易被忽略的是:这个状态跃迁完全由线程调度和 CAS 竞争决定,无法通过配置或参数干预。理解它,是为了在排查 get() 长时间阻塞时,能快速区分是卡在 NEW(任务根本没跑)、COMPLETING(计算中但结果未落盘),还是终态异常(ExecutionException 被吞)。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

异步任务

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

10897

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

8022

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

6952

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1164

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

948

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1416

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2869

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20151

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1255

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Swoole手册
Swoole手册

共0课时 | 0人学习