全链路跟踪之线程上下文Thread Local实战（完整源码）

发布时间：2022-09-25 14:00

写在开头：
我是「猿码天地」，一个热爱技术、热爱编程的IT猿。技术是开源的，知识是共享的！
写博客是对自己学习的总结和记录，如果您对Java、分布式、微服务、中间件、Spring Boot、Spring Cloud等技术感兴趣，可以关注我的动态，我们一起学习，一起成长！
用知识改变命运，让家人过上更好的生活，互联网人一家亲！
关注微信公众号【猿码天地】，获取更多干货技能，一起吃肉喝汤，陪你一起撸代码！

一、背景
ThreadLocal是JDK默认提供的本地线程变量，用来存储在整个调用链中都需要访问的数据，并且是线程安全的。由于本文的写作背景是笔者需要在公司落地全链路跟踪平台，一个基本并核心的功能需求是用户的每个操作动作需要在整个调用链中进行埋点传递，线程上下文环境成为解决这个问题最合适的技术。

二、ThreadLocal解决什么问题？

ThreadLocal是在Thread类之外实现的一个功能（java.lang.ThreadLocal），但它会为每个线程分别存储一份唯一的数据。正如它的名字所说的，它为线程提供了本地存储，也就是说你所创建出来变量对每个线程实例来说都是唯一的。和线程名，线程优先级类似，你可以自定义出一些属性，就好像它们是存储在Thread线程内部一样。

就以数据库事务这一常用场景来举例说明，比如每个线程需要访问数据库，就需要获取数据库的连接Connection对象，在实际中，我们会用数据库连接池来重复利用Connection，首先线程池，这里是一个共享变量，线程池的实现必须保证多个线程同时从线程池中获取Connection不会重复，然后每个线程使用单独的Connection，并且该Connection被一个线程占用后，其他线程压根就不会使用到，也不会试图去使用一个已经被其他线程占用的Connection对象。由于一个线程在执行过程中，可能需要多次操作数据库，所以我们的设计就是一个线程在执行过程中，只与一个Connection打交道，也就是整个线程的执行过程（执行环境）需要保存刚获取的Connection，最简单有效的办法，就是把这个Connection保存在线程对象的某个属性中，ThreadLocal就是干这事的。ThreadLocal并不是为这个Connection复制一份，多个线程都使用这个副本，不是这样的，一个Connection对象在任意时刻，没有被复制多份。

核心意思：ThreadLocal 提供了线程本地的实例。它与普通变量的区别在于，每个使用该变量的线程都会初始化一个完全独立的实例副本。ThreadLocal 变量通常被private static修饰。当一个线程结束时，它所使用的所有 ThreadLocal 相对的实例副本都可被回收。总的来说，ThreadLocal 适用于每个线程需要自己独立的实例且该实例需要在多个方法中被使用，也即变量在线程间隔离而在方法或类间共享的场景。

我的观点：ThreadLocal是线程一个本地变量，是线程的执行上下文。

三、ThreadLocal原理
ThreadLocal相关的类的类图结构

如上类图可知Thread类中有一个threadLocals和inheritableThreadLocals都是ThreadLocalMap类型的变量，而ThreadLocalMap是一个定制化的Hashmap，默认每个线程中这两个变量都为null，只有当前线程第一次调用了ThreadLocal的set或者get方法时候才会进行创建。其实每个线程的本地变量不是存放到ThreadLocal实例里面的，而是存放到调用线程的threadLocals变量里面。也就是说ThreadLocal类型的本地变量是存放到具体的线程内存空间的。

ThreadLocal就是一个工具壳，它通过set方法把value值放入调用线程的threadLocals里面存放起来，当调用线程调用它的get方法时候再从当前线程的threadLocals变量里面拿出来使用。如果调用线程一直不终止那么这个本地变量会一直存放到调用线程的threadLocals变量里面，所以当不需要使用本地变量时候可以通过调用ThreadLocal变量的remove方法从当前线程的threadLocals里面删除该本地变量。另外Thread里面的threadLocals为何设计为map结构呢？很明显是因为每个线程里面可以关联多个ThreadLocal变量。

四、源码分析
ThreadLocal对外提供的API如下：
public T get(）
从线程上下文环境中获取设置的值。
public void set(T value)
将值存储到线程上下文环境中，供后续使用。
public void remove()
清除线程本地上下文环境。

源码分析get

public T get() {
   Thread t = Thread.currentThread();  // @1
   ThreadLocalMap map = getMap(t);  // @2
   if (map != null) {                                // @3
      ThreadLocalMap.Entry e = map.getEntry(this);
      if (e != null) {
         @SuppressWarnings("unchecked")
         T result = (T)e.value;
         return result;
      }
   }
   return setInitialValue();  // @4
}

代码@1：获取当前线程。
代码@2：获取线程的threadLocals属性。
代码@3：如果线程对象的threadLocals属性不为空，则从该Map结构中，用threadLocal对象为键去查找值，如果能找到，则返回其value值，否则执行代码@4。
代码@4：如果线程对象的threadLocals属性为空，或未从threadLocals中找到对应的键值对，则调用该方法执行初始化。

ThreadLocal#setInitialValue

private T setInitialValue() {
   T value = initialValue();    // @1
   Thread t = Thread.currentThread();    // @2
   ThreadLocalMap map = getMap(t);    // @3
   if (map != null)           //@4
      map.set(this, value);
   else
      createMap(t, value);     // @5
   return value;
}

代码@1：调用initialValue()获取默认初始化值，该方法默认返回null，子类可以重写，实现线程本地变量的初始化。
代码@2：获取当前线程。
代码@3：获取该线程对象的threadLocals属性。
代码@4：如果不为空，则将threadLocal:value存入线程对象的threadLocals属性中。
代码@5：否则初始化线程对象的threadLocals,然后将threadLocal:value键值对存入线程对象的threadLocals属性中。

源码分析set

public void set(T value) {
   Thread t = Thread.currentThread();
   ThreadLocalMap map = getMap(t);
   if (map != null)
      map.set(this, value);
   else
      createMap(t, value);
}

在掌握了get方法实现细节，set方法、remove其实现的逻辑基本一样，就是对线程对象的threadLocals属性进行操作(Map结构)。

五、适用场景
ThreadLocal 适用于如下两种场景：

每个线程需要有自己单独的实例
实例需要在多个方法中共享，但不希望被多线程共享

全链路跟踪之线程上下文Thread Local实战（完整源码）

相关推荐