📌 TransmittableThreadLocal(TTL), the missing Java™ std lib(simple & 0-dependency) for framework/middleware, provide an enhanced InheritableThreadLocal that transmits values between threads even using thread pooling components.
📖 English Documentation | 📖 中文文档
IDE开发
TTL的好处与必要性
👉 在使用线程池等会池化复用线程的执行组件情况下,提供
ThreadLocal值的传递功能,解决异步执行时上下文传递的问题。 一个
Java标准库本应为框架/中间件设施开发提供的标配能力,本库功能聚焦 & 0依赖,支持
Java17/16/15/14/13/12/11/10/9/8/7/6。
JDK的
InheritableThreadLocal类可以完成父线程到子线程的值传递。但对于使用线程池等会池化复用线程的执行组件的情况,线程由线程池创建好,并且线程是池化起来反复使用的;这时父子线程关系的
ThreadLocal值传递已经没有意义,应用需要的实际上是把 任务提交给线程池时的
ThreadLocal值传递到 任务执行时。
TransmittableThreadLocal类继承并加强
InheritableThreadLocal类,解决上述的问题,使用详见 User Guide。
整个
TransmittableThreadLocal库的核心功能(用户
API与框架/中间件的集成
API、线程池
ExecutorService/
ForkJoinPool/
TimerTask及其线程工厂的
Wrapper),只有 ~1000
SLOC代码行,非常精小。
欢迎 👏
ThreadLocal的需求场景即
TransmittableThreadLocal的潜在需求场景,如果你的业务需要『在使用线程池等会池化复用线程的执行组件情况下传递
ThreadLocal值』则是
TransmittableThreadLocal目标场景。
下面是几个典型场景例子。
Session级
Cache
SDK传递信息
各个场景的展开说明参见子文档 需求场景。
TransmittableThreadLocal来保存值,并跨线程池传递。
TransmittableThreadLocal继承
InheritableThreadLocal,使用方式也类似。相比
InheritableThreadLocal,添加了
copy方法
ThreadLocal值传递到 任务执行时 的拷贝行为,缺省传递的是引用。
InheritableThreadLocal.childValue一样,使用者/业务逻辑要注意传递对象的线程安全。
protected的
beforeExecute/
afterExecute方法
Runnable/
Callable)的前/后的生命周期回调,缺省是空操作。
具体使用方式见下面的说明。
父线程给子线程传递值。
示例代码:
TransmittableThreadLocal context = new TransmittableThreadLocal<>();// =====================================================
// 在父线程中设置 context.set("value-set-in-parent");
// =====================================================
// 在子线程中可以读取,值是"value-set-in-parent" String value = context.get();
SimpleDemo.kt。
这是其实是
InheritableThreadLocal的功能,应该使用
InheritableThreadLocal来完成。
但对于使用线程池等会池化复用线程的执行组件的情况,线程由线程池创建好,并且线程是池化起来反复使用的;这时父子线程关系的
ThreadLocal值传递已经没有意义,应用需要的实际上是把 任务提交给线程池时的
ThreadLocal值传递到 任务执行时。
解决方法参见下面的这几种用法。
Runnable和
Callable
TtlRunnable和
TtlCallable来修饰传入线程池的
Runnable和
Callable。
示例代码:
TransmittableThreadLocal context = new TransmittableThreadLocal<>();// =====================================================
// 在父线程中设置 context.set("value-set-in-parent");
Runnable task = new RunnableTask(); // 额外的处理,生成修饰了的对象ttlRunnable Runnable ttlRunnable = TtlRunnable.get(task); executorService.submit(ttlRunnable);
// =====================================================
// Task中可以读取,值是"value-set-in-parent" String value = context.get();
上面演示了
Runnable,
Callable的处理类似
TransmittableThreadLocal context = new TransmittableThreadLocal<>();// =====================================================
// 在父线程中设置 context.set("value-set-in-parent");
Callable call = new CallableTask(); // 额外的处理,生成修饰了的对象ttlCallable Callable ttlCallable = TtlCallable.get(call); executorService.submit(ttlCallable);
// =====================================================
// Call中可以读取,值是"value-set-in-parent" String value = context.get();
TtlWrapperDemo.kt。
省去每次
Runnable和
Callable传入线程池时的修饰,这个逻辑可以在线程池中完成。
com.alibaba.ttl.threadpool.TtlExecutors完成,有下面的方法:
getTtlExecutor:修饰接口
Executor
getTtlExecutorService:修饰接口
ExecutorService
getTtlScheduledExecutorService:修饰接口
ScheduledExecutorService
示例代码:
ExecutorService executorService = ... // 额外的处理,生成修饰了的对象executorService executorService = TtlExecutors.getTtlExecutorService(executorService);TransmittableThreadLocal context = new TransmittableThreadLocal<>();
// =====================================================
// 在父线程中设置 context.set("value-set-in-parent");
Runnable task = new RunnableTask(); Callable call = new CallableTask(); executorService.submit(task); executorService.submit(call);
// =====================================================
// Task或是Call中可以读取,值是"value-set-in-parent" String value = context.get();
TtlExecutorWrapperDemo.kt。
Java Agent来修饰
JDK线程池实现类
这种方式,实现线程池的传递是透明的,业务代码中没有修饰
Runnable或是线程池的代码。即可以做到应用代码 无侵入。
Java Agent方式对应用代码无侵入。
示例代码:
// ## 1. 框架上层逻辑,后续流程框架调用业务 ## TransmittableThreadLocal context = new TransmittableThreadLocal<>(); context.set("value-set-in-parent");// ## 2. 应用逻辑,后续流程业务调用框架下层逻辑 ## ExecutorService executorService = Executors.newFixedThreadPool(3);
Runnable task = new RunnableTask(); Callable call = new CallableTask(); executorService.submit(task); executorService.submit(call);
// ## 3. 框架下层逻辑 ## // Task或是Call中可以读取,值是"value-set-in-parent" String value = context.get();
AgentDemo.kt。执行工程下的脚本
scripts/run-agent-demo.sh即可运行Demo。
目前
TTL Agent中,修饰了的
JDK执行器组件(即如线程池)如下:
java.util.concurrent.ThreadPoolExecutor和
java.util.concurrent.ScheduledThreadPoolExecutor
JdkExecutorTtlTransformlet.java。
java.util.concurrent.ForkJoinTask(对应的执行器组件是
java.util.concurrent.ForkJoinPool)
ForkJoinTtlTransformlet.java。从版本
2.5.1开始支持。
Java 8引入的
CompletableFuture与(并行执行的)
Stream底层是通过
ForkJoinPool来执行,所以支持
ForkJoinPool后,
TTL也就透明支持了
CompletableFuture与
Stream。🎉
java.util.TimerTask的子类(对应的执行器组件是
java.util.Timer)
TimerTaskTtlTransformlet.java。从版本
2.7.0开始支持。
2.11.2版本开始缺省开启
TimerTask的修饰(因为保证正确性是第一位,而不是最佳实践『不推荐使用
TimerTask』:);
2.11.1版本及其之前的版本没有缺省开启
TimerTask的修饰。
Agent参数
ttl.agent.enable.timer.task开启/关闭
TimerTask的修饰:
-javaagent:path/to/transmittable-thread-local-2.x.y.jar=ttl.agent.enable.timer.task:true
-javaagent:path/to/transmittable-thread-local-2.x.y.jar=ttl.agent.enable.timer.task:false
TTL Agent参数的配置说明详见
TtlAgent.java的JavaDoc。
关于
java.util.TimerTask/java.util.TimerTimer是JDK 1.3的老类,不推荐使用Timer类。ScheduledExecutorService。
ScheduledThreadPoolExecutor实现更强壮,并且功能更丰富。 如支持配置线程池的大小(Timer只有一个线程);Timer在Runnable中抛出异常会中止定时执行。更多说明参见10. Mandatory Run multiple TimeTask by using ScheduledExecutorService rather than Timer because Timer will kill all running threads in case of failing to catch exceptions. - Alibaba Java Coding Guidelines。
Java Agent的启动参数配置
在
Java的启动参数加上:
-javaagent:path/to/transmittable-thread-local-2.x.y.jar。
注意:
TTL的
Jar的文件名(
transmittable-thread-local-2.x.y.jar),则需要自己手动通过
-Xbootclasspath JVM参数来显式配置。
ttl-foo-name-changed.jar,则还需要加上
Java的启动参数:
-Xbootclasspath/a:path/to/ttl-foo-name-changed.jar。
v2.6.0之前的版本(如
v2.5.1),则也需要自己手动通过
-Xbootclasspath JVM参数来显式配置(就像
TTL之前的版本的做法一样)。
Java的启动参数:
-Xbootclasspath/a:path/to/transmittable-thread-local-2.5.1.jar。
Java命令行示例如下:
java -javaagent:path/to/transmittable-thread-local-2.x.y.jar \ -cp classes \ com.alibaba.demo.ttl.agent.AgentDemo如果修改了TTL jar文件名 或 TTL版本是 2.6.0 之前
则还需要显式设置 -Xbootclasspath 参数
java -javaagent:path/to/ttl-foo-name-changed.jar
-Xbootclasspath/a:path/to/ttl-foo-name-changed.jar
-cp classes
com.alibaba.demo.ttl.agent.AgentDemojava -javaagent:path/to/transmittable-thread-local-2.5.1.jar
-Xbootclasspath/a:path/to/transmittable-thread-local-2.5.1.jar
-cp classes
com.alibaba.demo.ttl.agent.AgentDemo
boot class path
因为修饰了
JDK标准库的类,标准库由
bootstrap class loader加载;修饰后的
JDK类引用了
TTL的代码,所以
Java Agent使用方式下
TTL Jar文件需要配置到
boot class path上。
TTL从
v2.6.0开始,加载
TTL Agent时会自动设置
TTL Jar到
boot class path上。
Maven库下载的
TTL Jar文件名(形如
transmittable-thread-local-2.x.y.jar)。 如果修改了,则需要自己手动通过
-Xbootclasspath JVM参数来显式配置(就像
TTL之前的版本的做法一样)。
自动设置
TTL Jar到
boot class path的实现是通过指定
TTL Java Agent Jar文件里
manifest文件(
META-INF/MANIFEST.MF)的
Boot-Class-Path属性:
Boot-Class-PathA list of paths to be searched by the bootstrap class loader. Paths represent directories or libraries (commonly referred to as JAR or zip libraries on many platforms). These paths are searched by the bootstrap class loader after the platform specific mechanisms of locating a class have failed. Paths are searched in the order listed.
更多详见
Java Agent规范 -
JavaDoc
当前版本的Java API文档地址: https://alibaba.github.io/transmittable-thread-local/apidocs/
示例:
com.alibaba transmittable-thread-local 2.12.1
可以在 search.maven.org 查看可用的版本。
IDE开发
编译构建的环境要求:
JDK 8~11;用
Maven常规的方式执行编译构建即可:
Maven,直接运行 工程根目录下的
mvnw;并不需要先手动自己安装好
Maven。
# 运行测试Case ./mvnw test # 编译打包 ./mvnw package # 运行测试Case、编译打包、安装TTL库到Maven本地 ./mvnw install#####################################################
如果使用你自己安装的 maven,版本要求:maven 3.3.9+
mvn install
如何用
IDE来开发时注意点,更多说明参见 文档 如何用
IDE开发 - Developer Guide。
Q1.
TTL Agent与其它
Agent(如
Skywalking、
Promethues)配合使用时不生效?
配置
TTL Agent在最前的位置,可以避免与其它其它
Agent配合使用时,
TTL Agent可能的不生效问题。配置示例:
java -javaagent:path/to/transmittable-thread-local-2.x.y.jar \ -javaagent:path/to/skywalking-agent.jar \ -jar your-app.jar
原因是:
Skywalking这样的
Agent的入口逻辑(
premain)包含了线程池的启动。
Agent配置在前面,到了
TTL Agent(的
premain)时,
TTL需要加强的线程池类已经加载(
load)了。
TTL Agent的
TtlTransformer是在类加载时触发类的增强;如果类已经加载了会跳过
TTL Agent的增强逻辑。
更多讨论参见 Issue:
TTL agent与其他
Agent的兼容性问题 #226。
Q2.
MacOS下,使用
Java Agent,可能会报
JavaLaunchHelper的出错信息
JDK Bug: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=8021205
可以换一个版本的
JDK。我的开发机上
1.7.0_40有这个问题,
1.6.0_51、
1.7.0_45可以运行。
1.7.0_45还是有
JavaLaunchHelper的出错信息,但不影响运行。
TTL的好处与必要性
注:不读这一节,并不会影响你使用
TTL来解决你碰到的问题,可以放心跳过;读了 User Guide 就可以快速用起来了~ 😄 这一节信息密度较高不易读。
好处:透明且自动完成所有异步执行上下文的可定制、规范化的捕捉与传递。
这个好处也是
TransmittableThreadLocal的目标。
必要性:随着应用的分布式微服务化并使用各种中间件,越来越多的功能与组件会涉及不同的上下文,逻辑流程也越来越长;上下文问题实际上是个大的易错的架构问题,需要统一的对业务透明的解决方案。
使用
ThreadLocal作为业务上下文传递的经典技术手段在中间件、技术与业务框架中广泛大量使用。而对于生产应用,几乎一定会使用线程池等异步执行组件,以高效支撑线上大流量。但使用
ThreadLocal及其
set/remove的上下文传递模式,在使用线程池等异步执行组件时,存在多方面的问题:
1. 从业务使用者角度来看
ThreadLocal上下文各自的获取的逻辑或类。
RPC的上下文(如
Dubbo的
RpcContext)、全链路跟踪的上下文(如
SkyWalking的
ContextManager)、不同业务模块中的业务流程上下文,等等。
2. 从整体流程实现角度来看
关注的是 上下文传递流程的规范化。上下文传递到了子线程要做好 清理(或更准确地说是要 恢复 成之前的上下文),需要业务逻辑去处理好。如果业务逻辑对清理的处理不正确,比如:
上面的问题,在业务开发中引发的
Bug真是屡见不鲜 !本质原因是:
ThreadLocal的
set/remove的上下文传递模式 在使用线程池等异步执行组件的情况下不再是有效的。常见的典型例子:
RejectedExecutionHandler使用的是
CallerRunsPolicy时,提交到线程池的任务会在提交线程中直接执行,
ThreadLocal.remove操作清理提交线程的上下文导致上下文丢失。
ForkJoinPool(包含并行执行
Stream与
CompletableFuture,底层使用
ForkJoinPool)的场景,展开的
ForkJoinTask会在任务提交线程中直接执行。同样导致上下文丢失。
怎么设计一个『上下文传递流程』方案(即上下文的生命周期),以保证没有上面的问题?
期望:上下文生命周期的操作从业务逻辑中分离出来。业务逻辑不涉及生命周期,就不会有业务代码如疏忽清理而引发的问题了。整个上下文的传递流程或说生命周期可以规范化成:捕捉、回放和恢复这3个操作,即
CRR(capture/replay/restore)模式。更多讨论参见 Issue:能在详细讲解一下
replay、
restore的设计理念吗?#201。
总结上面的说明:在生产应用(几乎一定会使用线程池等异步执行组件)中,使用
ThreadLocal及其
set/remove的上下文传递模式几乎一定是有问题的,只是在等一个出
Bug的机会。
更多
TTL好处与必要性的展开讨论参见 Issue:这个库带来怎样的好处和优势? #128,欢迎继续讨论 ♥️