TTL 概述
JDK ThreadLocal
、InheritableThreadLocal
的最大局限性就是:无法为预先创建好(未投入使用)的线程实例传递变量(准确来说是首次传递某些场景是可行的,而后面由于线程池中的线程是复用的,无法进行更新或者修改变量的传递值),泛线程池Executor体系、TimerTask和ForkJoinPool等一般会预先创建(核心)线程,也就它们都是无法在线程池中由预创建的子线程执行的Runnable任务实例中使用。
源码解析
TTL 整体框架结构
TTL 除了提供给用户使用的API,还提供了基于Agent和字节码增强实现了无感知增强泛线程池对应类的功能。 整体代码框架如下:
- transmittable-thread-local
- com.alibaba.ttl
- spi SPI接口和一些实现
TtlAttachments
TtlAttachmentsDelegate
TtlEnhanced
TtlWrapper
- threadpool 线程池增强,包括ThreadFactory和线程池的Wrapper等
- agent 线程池的Agent实现相关
最外层的包有一些Wrapper的实现和TTL
TTL 时序图:
TransmittableThreadLocal(核心类)
TransmittableThreadLocal
是TTL的核心类
构造函数和关键属性
// TTL拷贝器
@FunctionalInterface
public interface TtlCopier {
// 拷贝父属性
T copy(T parentValue);
}
public class TransmittableThreadLocal extends InheritableThreadLocal implements TtlCopier {
// 日志句柄,使用的不是SLF4J的接口,而是java.util.logging的实现
private static final Logger logger = Logger.getLogger(TransmittableThreadLocal.class.getName());
// 是否禁用忽略NULL值的语义
private final boolean disableIgnoreNullValueSemantics;
// 默认是false,也就是不禁用忽略NULL值的语义,也就是忽略NULL值,
// 也就是默认的话,NULL值传入不会覆盖原来已经存在的值
public TransmittableThreadLocal() {
this(false);
}
// 可以通过手动设置,去覆盖IgnoreNullValue的语义,如果设置为true,则是支持NULL值的设置,设置为true的时候,与ThreadLocal的语义一致
public TransmittableThreadLocal(boolean disableIgnoreNullValueSemantics) {
this.disableIgnoreNullValueSemantics = disableIgnoreNullValueSemantics;
}
// ......
}
针对disableIgnoreNullValueSemantics
属性可以参考: TTL Issue 157 – 对于 set(null) 保持和 InheritableThreadLocal 一致语义
主要方法
public class TransmittableThreadLocal extends InheritableThreadLocal implements TtlCopier {
// 拷贝器的拷贝方法实现
public T copy(T parentValue) {
return parentValue;
}
// 模板方法,留给子类实现,在TtlRunnable或者TtlCallable执行前回调
protected void beforeExecute() {
}
// 模板方法,留给子类实现,在TtlRunnable或者TtlCallable执行后回调
protected void afterExecute() {
}
// 获取值,直接从InheritableThreadLocal#get()获取
@Override
public final T get() {
T value = super.get();
// 如果值不为NULL 或者 禁用了忽略空值的语义(也就是和ThreadLocal语义一致),则重新添加TTL实例自身到存储器
if (disableIgnoreNullValueSemantics || null != value) addThisToHolder();
return value;
}
@Override
public final void set(T value) {
// 如果不禁用忽略空值的语义,也就是需要忽略空值,并且设置的入参值为空,则做一次彻底的移除,包括从存储器移除TTL自身实例,TTL(ThrealLocalMap)中也移除对应的值
if (!disableIgnoreNullValueSemantics && null == value) {
// may set null to remove value
remove();
} else {
// TTL(ThrealLocalMap)中设置对应的值
super.set(value);
// 添加TTL实例自身到存储器
addThisToHolder();
}
}
// 从存储器移除TTL自身实例,从TTL(ThrealLocalMap)中移除对应的值
@Override
public final void remove() {
removeThisFromHolder();
super.remove();
}
// 从TTL(ThrealLocalMap)中移除对应的值
private void superRemove() {
super.remove();
}
// 拷贝值,主要是拷贝get()的返回值
private T copyValue() {
return copy(get());
}
// 存储器,本身就是一个InheritableThreadLocal(ThreadLocal)
// 它的存放对象是`WeakHashMap, ?>`类型
// 而WeakHashMap的VALUE总是为NULL,这里当做Set容器使用,WeakHashMap支持NULL值
private static InheritableThreadLocal, ?>> holder =
new InheritableThreadLocal, ?>>() {
@Override
protected WeakHashMap, ?> initialValue() {
return new WeakHashMap, Object>();
}
@Override
protected WeakHashMap, ?> childValue(WeakHashMap, ?> parentValue) {
// 注意这里的WeakHashMap总是拷贝父线程的值
return new WeakHashMap, Object>(parentValue);
}
};
// 添加TTL自身实例到存储器,不存在则添加策略
@SuppressWarnings("unchecked")
private void addThisToHolder() {
if (!holder.get().containsKey(this)) {
// key->TransmittableThreadLocal, value -> null(WeakHashMap 支持 null 值)
holder.get().put((TransmittableThreadLocal
这里 holder 静态变量
, 作为父线程管理所有 TransmittableThreadLocal
的桥梁
- 是
InheritableThreadLocal
类型(get 方法为线程隔离) - 存放了一个
WeakHashMap, ?>
, key 是TransmittableThreadLocal
, value 是 null, 这里是把WeakHashMap
当 SET 容器使用
整体存储结构如下:
这里有一个关键变量, 也是上面提到的 disableIgnoreNullValueSemantics
。
默认情况下disableIgnoreNullValueSemantics=false
,TTL如果设置 NULL 值,会直接从holder 移除对应的 TTL 实例,在TTL#get()方法被调用的时候,如果原来持有的属性不为NULL,该TTL实例会重新加到holder。
如果设置为true,则set(null)
的语义和ThreadLocal一致。详细说明见上文 ISSUE 地址
Transmitter(发射器)
发射器 Transmitter
是 TransmittableThreadLocal
的一个公有静态类
的核心功能是传输所有的TransmittableThreadLocal实例
和提供静态方法注册当前线程的变量到其他线程
。
构造方法和关键属性
# TransmittableThreadLocal#Transmitter
public static class Transmitter {
// 保存手动注册的ThreadLocal->TtlCopier映射,这里是因为部分API提供了TtlCopier给用户实现
private static volatile WeakHashMap, TtlCopier> threadLocalHolder = new WeakHashMap, TtlCopier>();
// threadLocalHolder更变时候的监视器
private static final Object threadLocalHolderUpdateLock = new Object();
// 标记WeakHashMap中的ThreadLocal的对应值为NULL的属性,便于后面清理
private static final Object threadLocalClearMark = new Object();
// 默认的拷贝器,影子拷贝,直接返回父值
private static final TtlCopier shadowCopier = new TtlCopier() {
@Override
public Object copy(Object parentValue) {
return parentValue;
}
};
// 私有构造,说明只能通过静态方法提供外部调用
private Transmitter() {
throw new InstantiationError("Must not instantiate this class");
}
// 私有静态类,快照,保存从holder中捕获的所有TransmittableThreadLocal和外部手动注册保存在threadLocalHolder的ThreadLocal的K-V映射快照
private static class Snapshot {
final WeakHashMap, Object> ttl2Value;
final WeakHashMap, Object> threadLocal2Value;
private Snapshot(WeakHashMap, Object> ttl2Value, WeakHashMap, Object> threadLocal2Value) {
this.ttl2Value = ttl2Value;
this.threadLocal2Value = threadLocal2Value;
}
}
}
主要方法
Transmitter在设计上是一个典型的工具类,外部只能调用其公有静态方法。静态方法如下:
// # TransmittableThreadLocal#Transmitter
public static class Transmitter {
//-- 捕获
// 捕获当前线程绑定的所有的 TransmittableThreadLocal 和已经注册的ThreadLocal的值 - 使用了用时拷贝快照的策略
// 备注: 一般在构造任务实例的时候被调用,因此当前线程相对于子线程或者线程池的任务就是父线程,其实本质是捕获父线程的所有线程本地变量的值
@NonNull
public static Object capture() {
return new Snapshot(captureTtlValues(), captureThreadLocalValues());
}
// 新建一个WeakHashMap,遍历 TransmittableThreadLocal#holder 中的所有 TransmittableThreadLocal的Entry,获取K-V,存放到这个新的WeakHashMap返回
private static WeakHashMap, Object> captureTtlValues() {
WeakHashMap, Object> ttl2Value = new WeakHashMap, Object>();
for (TransmittableThreadLocal threadLocal : holder.get().keySet()) {
ttl2Value.put(threadLocal, threadLocal.copyValue());
}
return ttl2Value;
}
// 新建一个WeakHashMap,遍历 threadLocalHolder 中的所有 ThreadLocal 的Entry,获取K-V,存放到这个新的WeakHashMap返回
private static WeakHashMap, Object> captureThreadLocalValues() {
final WeakHashMap, Object> threadLocal2Value = new WeakHashMap, Object>();
for (Map.Entry, TtlCopier> entry : threadLocalHolder.entrySet()) {
final ThreadLocal threadLocal = entry.getKey();
final TtlCopier copier = entry.getValue();
threadLocal2Value.put(threadLocal, copier.copy(threadLocal.get()));
}
return threadLocal2Value;
}
//-- 重放
// 重放capture()方法中捕获的TransmittableThreadLocal和手动注册的ThreadLocal中的值,本质是重新拷贝holder中的所有变量,生成新的快照
// 笔者注:重放操作一般会在子线程或者线程池中的线程的任务执行的时候调用,因此此时的holder#get()拿到的是子线程的原来就存在的本地线程变量,重放操作就是把这些子线程原有的本地线程变量备份
@NonNull
public static Object replay(@NonNull Object captured) {
final Snapshot capturedSnapshot = (Snapshot) captured;
return new Snapshot(replayTtlValues(capturedSnapshot.ttl2Value), replayThreadLocalValues(capturedSnapshot.threadLocal2Value));
}
// 重放所有的TTL的值
@NonNull
private static WeakHashMap, Object> replayTtlValues(@NonNull WeakHashMap, Object> captured) {
// 新建一个新的备份WeakHashMap,其实也是一个快照
WeakHashMap, Object> backup = new WeakHashMap, Object>();
// 这里的循环针对的是子线程,用于获取的是子线程的所有线程本地变量
for (final Iterator> iterator = holder.get().keySet().iterator(); iterator.hasNext(); ) {
TransmittableThreadLocal threadLocal = iterator.next();
// 拷贝holder当前线程(子线程)绑定的所有TransmittableThreadLocal的K-V结构到备份中
backup.put(threadLocal, threadLocal.get());
// 清理所有的非捕获快照中的TTL变量,以防有中间过程引入的额外的TTL变量(除了父线程的本地变量)影响了任务执行后的重放操作
// 简单来说就是:移除所有子线程的不包含在父线程捕获的线程本地变量集合的中所有子线程本地变量和对应的值
/**
* 这个问题可以举个简单的例子:
* static TransmittableThreadLocal TTL = new TransmittableThreadLocal<>();
*
* 线程池中的子线程C中原来初始化的时候,在线程C中绑定了TTL的值为10087,C线程是核心线程不会主动销毁。
*
* 父线程P在没有设置TTL值的前提下,调用了线程C去执行任务,那么在C线程的Runnable包装类中通过TTL#get()就会获取到10087,显然是不符合预期的
*
* 所以,在C线程的Runnable包装类之前之前,要从C线程的线程本地变量,移除掉不包含在父线程P中的所有线程本地变量,确保Runnable包装类执行期间只能拿到父线程中捕获到的线程本地变量
*
* 下面这个判断和移除做的就是这个工作
*/
if (!captured.containsKey(threadLocal)) {
iterator.remove();
threadLocal.superRemove();
}
}
// 重新设置TTL的值到捕获的快照中
// 其实真实的意图是:把从父线程中捕获的所有线程本地变量重写设置到TTL中,本质上,子线程holder里面的TTL绑定的值会被刷新
setTtlValuesTo(captured);
// 回调模板方法beforeExecute
doExecuteCallback(true);
return backup;
}
// 提取WeakHashMap中的KeySet,遍历所有的TransmittableThreadLocal,重新设置VALUE
private static void setTtlValuesTo(@NonNull WeakHashMap, Object> ttlValues) {
for (Map.Entry, Object> entry : ttlValues.entrySet()) {
TransmittableThreadLocal threadLocal = entry.getKey();
// 重新设置TTL值,本质上,当前线程(子线程)holder里面的TTL绑定的值会被刷新
threadLocal.set(entry.getValue());
}
}
// 重放所有的手动注册的ThreadLocal的值
private static WeakHashMap, Object> replayThreadLocalValues(@NonNull WeakHashMap, Object> captured) {
// 新建备份
final WeakHashMap, Object> backup = new WeakHashMap, Object>();
// 注意这里是遍历捕获的快照中的ThreadLocal
for (Map.Entry, Object> entry : captured.entrySet()) {
final ThreadLocal threadLocal = entry.getKey();
// 添加到备份中
backup.put(threadLocal, threadLocal.get());
final Object value = entry.getValue();
// 如果值为清除标记则绑定在当前线程的变量进行remove,否则设置值覆盖
if (value == threadLocalClearMark) threadLocal.remove();
else threadLocal.set(value);
}
return backup;
}
// -- 复原
// 从relay()或者clear()方法中恢复TransmittableThreadLocal和手工注册的ThreadLocal的值对应的备份
// 笔者注:恢复操作一般会在子线程或者线程池中的线程的任务执行的时候调用
public static void restore(@NonNull Object backup) {
final Snapshot backupSnapshot = (Snapshot) backup;
restoreTtlValues(backupSnapshot.ttl2Value);
restoreThreadLocalValues(backupSnapshot.threadLocal2Value);
}
private static void restoreTtlValues(@NonNull WeakHashMap, Object> backup) {
// 回调模板方法afterExecute
doExecuteCallback(false);
// 这里的循环针对的是子线程,用于获取的是子线程的所有线程本地变量
for (final Iterator> iterator = holder.get().keySet().iterator(); iterator.hasNext(); ) {
TransmittableThreadLocal threadLocal = iterator.next();
// 如果子线程原来就绑定的线程本地变量的值,如果不包含某个父线程传来的对象,那么就删除
// 这一步可以结合前面reply操作里面的方法段一起思考,如果不删除的话,就相当于子线程的原来存在的线程本地变量绑定值被父线程对应的值污染了
if (!backup.containsKey(threadLocal)) {
iterator.remove();
threadLocal.superRemove();
}
}
// 重新设置TTL的值到捕获的快照中
// 其实真实的意图是:把子线程的线程本地变量恢复到reply()的备份(前面的循环已经做了父线程捕获变量的判断),本质上,等于把holder中绑定于子线程本地变量的部分恢复到reply操作之前的状态
setTtlValuesTo(backup);
}
// 恢复所有的手动注册的ThreadLocal的值
private static void restoreThreadLocalValues(@NonNull WeakHashMap, Object> backup) {
for (Map.Entry, Object> entry : backup.entrySet()) {
final ThreadLocal threadLocal = entry.getKey();
threadLocal.set(entry.getValue());
}
}
}
- capture():捕获操作,父线程原来就存在的线程本地变量映射和手动注册的线程本地变量映射捕获,得到捕获的快照值captured。
- reply():重放操作,子线程原来就存在的线程本地变量映射和手动注册的线程本地变量生成备份backup,刷新captured的所有值到子线程在全局存储器holder中绑定的值。
- restore():复原操作,子线程原来就存在的线程本地变量映射和手动注册的线程本地变量恢复成backup。
文章来源于互联网:TransimittableThreadLocal原理分析
1、本站所有资源均从互联网上收集整理而来,仅供学习交流之用,因此不包含技术服务请大家谅解!
2、本站不提供任何实质性的付费和支付资源,所有需要积分下载的资源均为网站运营赞助费用或者线下劳务费用!
3、本站所有资源仅用于学习及研究使用,您必须在下载后的24小时内删除所下载资源,切勿用于商业用途,否则由此引发的法律纠纷及连带责任本站和发布者概不承担!
4、本站站内提供的所有可下载资源,本站保证未做任何负面改动(不包含修复bug和完善功能等正面优化或二次开发),但本站不保证资源的准确性、安全性和完整性,用户下载后自行斟酌,我们以交流学习为目的,并不是所有的源码都100%无错或无bug!如有链接无法下载、失效或广告,请联系客服处理!
5、本站资源除标明原创外均来自网络整理,版权归原作者或本站特约原创作者所有,如侵犯到您的合法权益,请立即告知本站,本站将及时予与删除并致以最深的歉意!
6、如果您也有好的资源或教程,您可以投稿发布,成功分享后有站币奖励和额外收入!
7、如果您喜欢该资源,请支持官方正版资源,以得到更好的正版服务!
8、请您认真阅读上述内容,注册本站用户或下载本站资源即您同意上述内容!
原文链接:https://www.dandroid.cn/archives/17033,转载请注明出处。
评论0