CompletableFuture 内部原理:分析变量回调函数在栈帧中的存取逻辑

雨浩酱_8874

雨浩酱_8874

2026-05-09

638人浏览

原创

completablefuture 的“栈”是基于链表实现的无锁 treiber 栈,用于存储回调任务,与 jvm 调用栈无关;result 字段统一承载未完成、成功结果、异常、显式 null 四种状态;stack 指向 completion 链表头,每个节点在堆中固化执行上下文,通过 postcomplete 遍历触发 tryfire,完全脱离原始栈帧,确保回调不因方法返回而丢失。

completablefuture 内部原理:分析变量回调函数在栈帧中的存取逻辑

CompletableFuture 的“栈”不是 JVM 调用栈(stack frame),而是它自己维护的、基于链表实现的无锁栈(Treiber Stack),用于存储回调任务,和方法调用时的栈帧无关。理解这一点,是避免常见误解的关键。

result 字段:状态与结果的统一载体

volatile Object result 并非简单存返回值。它承载三种语义:

  • null:表示任务尚未完成(初始态)
  • 普通对象(非 AltResult):表示正常完成,该对象即计算结果
  • AltResult 实例:封装了异常(ex != null)或显式 null 结果(ex == null 且为 NIL 单例)

这种设计用一个字段区分“未完成”“成功”“失败”“空值”四种逻辑状态,避免额外标志位,也规避了 volatile 写操作的冗余。

stack 字段:依赖回调的无锁栈结构

volatile Completion stack 指向的是 Treiber 栈顶节点,每个节点是一个回调动作(如 UniCompletion),不是函数字节码,也不是栈帧里的局部变量。

  • 节点中保存 src(源 CompletableFuture)、dep(下游 CompletableFuture)、fn(转换函数引用)、executor(执行器)等元数据
  • 回调函数本身(如 lambda 表达式)作为对象被捕获并持有,存在堆上;stack 只存指向它的引用和执行上下文
  • 入栈靠 CAS 原子更新 stack 字段;出栈时逐个 pop 并 tryFire,不依赖 JVM 栈帧生命周期

因此,回调不会因外层方法返回、栈帧销毁而丢失——它们已脱离调用链,成为堆中可被 postComplete 触发的独立任务。

AGI-Eval
AGI-Eval

AGI-Eval是一款AI模型评测工具,AI 大模型评测社区。

下载

postComplete:回调触发不依赖调用栈

当 result 被写入(通过 complete / completeExceptionally / supplyAsync 完成等),会调用 postComplete 方法:

  • 它遍历 stack 中所有 Completion 节点,按后进先出顺序触发 tryFire
  • 每个 tryFire 在指定 executor(或当前线程)中异步/同步执行,完全脱离原始调用栈
  • 执行过程中若产生新阶段(如 thenApply 返回新 CF),该新 CF 的 stack 是独立管理的,与父节点栈帧无关

也就是说,哪怕发起 thenApply 的方法早已 return、其栈帧早已被回收,回调仍能正确执行——因为所有依赖信息都固化在堆对象里。

为什么不会出现“栈帧消失导致回调失效”?

根本原因在于 CompletableFuture 是面向**对象状态驱动**,而非**调用栈驱动**:

  • 没有把回调函数压入 JVM 方法调用栈,不依赖栈帧存活
  • 所有上下文(函数、参数、目标 CF、线程池)都作为 Completion 子类的字段保存在堆上
  • 整个链式结构是显式的对象图(Object Graph),由 GC 正常管理生命周期

这正是它能安全支持长链编排、跨线程传递、手动完成等高级能力的底层基础。

相关文章

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

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

下载

相关标签:

回调函数

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

相关专题

更多
java
java

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

2023.06.15

10277

6

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

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

2023.07.05

7402

9

java自学难吗
java自学难吗

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

2023.07.31

6492

8

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

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

2023.08.01

1124

3

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

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

2023.08.02

928

3

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

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

2023.08.02

1356

5

java有什么用
java有什么用

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

2023.08.02

2709

5

java在线网站
java在线网站

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

2023.08.03

20031

3

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

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

2023.08.03

1195

8

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PHP进阶篇-函数(玉女心经版)
PHP进阶篇-函数(玉女心经版)

共12课时 | 2万人学习

最好理解的Promise教程
最好理解的Promise教程

共10课时 | 1.2万人学习

GDB Reference Card
GDB Reference Card

共0课时 | 0人学习