举个简单的栗子对比下InheritableThreadLocal和ThreadLocaljavapublic class InheritableThreadLocalTest { private static final ThreadLocalString threadLocal new ThreadLocal(); private static final InheritableThreadLocalString inheritableThreadLocal new InheritableThreadLocal(); public static void main(String[] args) { testThreadLocal(); testInheritableThreadLocal(); } /** * threadLocal测试 */ public static void testThreadLocal() { // 在主线程中设置值到threadLocal threadLocal.set(我是父线程threadLocal的值); // 创建一个新线程并启动 new Thread(() - { // 在子线程里面无法获取到父线程设置的threadLocal结果为null System.out.println(从子线程获取到threadLocal的值: threadLocal.get()); } ).start(); } /** * inheritableThreadLocal测试 */ public static void testInheritableThreadLocal() { // 在主线程中设置一个值到inheritableThreadLocal inheritableThreadLocal.set(我是父线程inheritableThreadLocal的值); // 创建一个新线程并启动 new Thread(() - { // 在子线程里面可以自动获取到父线程设置的inheritableThreadLocal System.out.println(从子线程获取到inheritableThreadLocal的值: inheritableThreadLocal.get()); }).start(); } }执行结果text从子线程获取到threadLocal的值:null 从子线程获取到inheritableThreadLocal的值:我是父线程inheritableThreadLocal的值可以看到子线程中可以获取到父线程设置的inheritableThreadLocal值但不能获取到父线程设置的threadLocal值实现原理InheritableThreadLocal 的实现原理相当精妙它通过在创建子线程的瞬间“复制”父线程的线程局部变量从而实现了数据从父线程到子线程的一次性、创建时的传递 。其核心工作原理可以清晰地通过以下序列图展示它描绘了当父线程创建一个子线程时数据是如何被传递的子线程ThreadLocalMapInheritableThreadLocalThread构造方法父线程子线程ThreadLocalMapInheritableThreadLocalThread构造方法父线程关键步骤初始化检查父线程的 inheritableThreadLocalsloop[遍历父线程Map中的每个Entry]子线程拥有父线程变量的副本创建 new Thread()调用 init() 方法createInheritedMap(parent.inheritableThreadLocals)新建一个ThreadLocalMap调用 key.childValue(parentValue)返回子线程初始值(默认返回父值可重写)将 (key, value) 放入新Map返回新的ThreadLocalMap对象将新Map赋给子线程的inheritableThreadLocals属性下面我们来详细拆解图中的关键环节。核心实现机制**数据结构基础Thread类内部维护了两个ThreadLocalMap类型的变量 threadLocals用于存储普通ThreadLocal设置的变量副本。inheritableThreadLocals专门用于存储InheritableThreadLocal设置的变量副本 。InheritableThreadLocal通过重写getMap和createMap方法使其所有操作都针对inheritableThreadLocals字段从而与普通ThreadLocal分离开 。继承触发时刻子线程的创建。继承行为发生在子线程被创建即执行new Thread()时。在Thread类的init方法中如果判断需要继承inheritThreadLocals参数为true且父线程当前线程的inheritableThreadLocals不为null则会执行复制逻辑 。复制过程的核心createInheritedMap。这是实现复制的核心方法 。它会创建一个新的ThreadLocalMap并将父线程inheritableThreadLocals中的所有条目遍历拷贝到新 Map 中。Key的复制Key即InheritableThreadLocal对象本身是直接复制的引用。Value的生成Value 并非直接复制引用而是通过调用InheritableThreadLocal的childValue(T parentValue)方法来生成子线程中的初始值。默认实现是直接返回父值return parentValue;这意味着对于对象类型父子线程将共享同一个对象引用 。关键特性与注意事项创建时复制后续独立继承只发生一次即在子线程对象创建的瞬间。此后父线程和子线程对各自InheritableThreadLocal变量的修改互不影响 。在线程池中的局限性这是InheritableThreadLocal最需要警惕的问题。线程池中的线程是复用的这些线程在首次创建时可能已经从某个父线程继承了值。但当它们被用于执行新的任务时新的任务提交线程逻辑上的“父线程”与工作线程已无直接的创建关系因此之前继承的值不会更新这会导致数据错乱如用户A的任务拿到了用户B的信息或内存泄漏 。对于线程池场景应考虑使用阿里开源的TransmittableThreadLocal (TTL) 。浅拷贝与对象共享由于childValue方法默认是浅拷贝如果存入的是可变对象如Map、List父子线程实际持有的是同一个对象的引用。在一个线程中修改该对象的内部状态会直接影响另一个线程 。若需隔离可以重写childValue方法实现深拷贝 。内存泄漏风险与ThreadLocal类似如果线程长时间运行如线程池中的核心线程并且未及时调用remove方法清理那么该线程的inheritableThreadLocals会一直持有值的强引用导致无法被GC回收。良好的实践是在任务执行完毕后主动调用remove()线程池中局限性一般来说在真实的业务场景下没人会直接 new Thread而都是使用线程池的因此InheritableThreadLocal在线程池中的使用局限性要额外注意首先我们先理解InheritableThreadLocal的继承前提InheritableThreadLocal的继承只发生在新线程被创建时即new Thread()并启动时。在创建过程中子线程会复制父线程的InheritableThreadLocal值。在线程池中线程是预先创建或按需创建的并且会被复用。因此继承只会在线程池创建新线程时发生而不会在复用现有线程时发生。再看线程池创建新线程的条件对于标准的ThreadPoolExecutor新线程的创建遵循以下规则当前线程数 核心线程数当提交新任务时如果当前运行的线程数小于核心线程数即使有空闲线程线程池也会创建新线程来处理任务。此时新线程会继承父线程提交任务的线程的InheritableThreadLocal。当前线程数 核心线程数 队列已满 线程数 最大线程数当任务队列已满且当前线程数小于最大线程数时线程池会创建新线程来处理任务。同样新线程会继承父线程的InheritableThreadLocal。不会继承的场景线程复用当线程池中有空闲线程时例如当前线程数 核心线程数但队列未满任务会被分配给现有线程执行。此时没有新线程创建因此不会发生继承。现有线程的InheritableThreadLocal值保持不变可能是之前任务设置的值这可能导致数据错乱如用户A的任务看到用户B的数据。线程数已达最大值如果线程数已达最大线程数且队列已满新任务会被拒绝根据拒绝策略也不会创建新线程因此不会继承。不只是线程池污染线程池使用InheritableThreadLocal还可能存在获取不到值的情况。例如在执行异步任务的时候复用了某个已有的线程A并且当时创建该线程A的时候没有继承InheritableThreadLocal进而导致后面复用该线程的时候从InheritableThreadLocal获取到的值为nulljavapublic class InheritableThreadLocalWithThreadPoolTest { private static final InheritableThreadLocalString inheritableThreadLocal new InheritableThreadLocal(); // 这里线程池core/max数量都只有2 private static final ThreadPoolExecutor threadPoolExecutor new ThreadPoolExecutor( 2, 2, 0L, TimeUnit.MILLISECONDS, new LinkedBlockingQueueRunnable(3000), new ThreadPoolExecutor.CallerRunsPolicy() ); public static void main(String[] args) { // 先执行了不涉及InheritableThreadLocal的子任务初始化线程池线程 testAnotherFunction(); testAnotherFunction(); // 后执行了涉及InheritableThreadLocal testInheritableThreadLocalWithThreadPool(张三); testInheritableThreadLocalWithThreadPool(李四); threadPoolExecutor.shutdown(); } /** * inheritableThreadLocal线程池测试 */ public static void testInheritableThreadLocalWithThreadPool(String param) { // 1. 在主线程中设置一个值到inheritableThreadLocal inheritableThreadLocal.set(param); // 2. 提交异步任务到线程池 threadPoolExecutor.execute(() - { // 3. 在线程池-子线程里面可以获取到父线程设置的inheritableThreadLocal吗 System.out.println(线程名: Thread.currentThread().getName() , 父线程设置的inheritableThreadLocal值: param , 子线程获取到inheritableThreadLocal的值: inheritableThreadLocal.get()); }); // 4. 清除inheritableThreadLocal inheritableThreadLocal.remove(); } /** * 模拟另一个独立的功能 */ public static void testAnotherFunction() { // 提交异步任务到线程池 threadPoolExecutor.execute(() - { // 在线程池-子线程里面可以获取到父线程设置的inheritableThreadLocal吗 System.out.println(线程名: Thread.currentThread().getName() , 线程池-子线程摸个鱼); }); } }执行结果text线程名:pool-1-thread-2,线程池-子线程摸个鱼 线程名:pool-1-thread-1,线程池-子线程摸个鱼 线程名:pool-1-thread-1,父线程设置的inheritableThreadLocal值:李四子线程获取到inheritableThreadLocal的值:null 线程名:pool-1-thread-2,父线程设置的inheritableThreadLocal值:张三子线程获取到inheritableThreadLocal的值:null当然了解决这个问题可以考虑使用阿里开源的TransmittableThreadLocal (TTL)或者在提交异步任务前先获取线程数据再传入。例如java// 1. 在主线程中先获取inheritableThreadLocal的值 String name inheritableThreadLocal.get(); // 2. 提交异步任务到线程池 threadPoolExecutor.execute(() - { // 3. 在线程池-子线程里面直接传入数据 System.out.println(线程名: Thread.currentThread().getName() , 父线程设置的inheritableThreadLocal值: param , 子线程获取到inheritableThreadLocal的值: name); });与 ThreadLocal 的对比
