InheritableThreadLocal实现

那其实很多时候我们是有子线程获得父线程ThreadLocal的需求的,要如何解决这个问题呢?这就是InheritableThreadLocal这个类所做的事情。先来看下InheritableThreadLocal所做的事情。

  1. public class InheritableThreadLocal<T> extends ThreadLocal<T> {
  2. protected T childValue(T parentValue) {
  3. return parentValue;
  4. }
  5. /**
  6. * 重写Threadlocal类中的getMap方法,在原Threadlocal中是返回
  7. *t.theadLocals,而在这里却是返回了inheritableThreadLocals,因为
  8. * Thread类中也有一个要保存父子传递的变量
  9. */
  10. ThreadLocalMap getMap(Thread t) {
  11. return t.inheritableThreadLocals;
  12. }
  13. /**
  14. * 同理,在创建ThreadLocalMap的时候不是给t.threadlocal赋值
  15. *而是给inheritableThreadLocals变量赋值
  16. *
  17. */
  18. void createMap(Thread t, T firstValue) {
  19. t.inheritableThreadLocals = new ThreadLocalMap(this, firstValue);
  20. }

以上代码大致的意思就是,如果你使用InheritableThreadLocal,那么保存的所有东西都已经不在原来的t.thradLocals里面,而是在一个新的t.inheritableThreadLocals变量中了。下面是Thread类中两个变量的定义。

 /* ThreadLocal values pertaining to this thread. This map is maintained    
    * by the ThreadLocal class. 
    */
   ThreadLocal.ThreadLocalMap threadLocals = null;

    /*    
    * InheritableThreadLocal values pertaining to this thread. This map is    
    * maintained by the InheritableThreadLocal class.    
    */
   ThreadLocal.ThreadLocalMap inheritableThreadLocals = null;

Q:InheritableThreadLocal是如何实现在子线程中能拿到当前父线程中的值的呢?
A:一个常见的想法就是把父线程的所有的值都copy到子线程中。
下面来看看在线程new Thread的时候线程都做了些什么?

private void init(ThreadGroup g, Runnable target, String name,
                     long stackSize, AccessControlContext acc) {
       //省略上面部分代码
       if (parent.inheritableThreadLocals != null)
       //这句话的意思大致不就是,copy父线程parent的map,创建一个新的map赋值给当前线程的inheritableThreadLocals。
           this.inheritableThreadLocals =
               ThreadLocal.createInheritedMap(parent.inheritableThreadLocals);
      //ignore
   }

大致的解释了一下InheritableThreadLocal为什么能解决父子线程传递Threadlcoal值的问题。

  1. 在创建InheritableThreadLocal对象的时候赋值给线程的t.inheritableThreadLocals变量。
  2. 在创建新线程的时候会check父线程中t.inheritableThreadLocals变量是否为null,如果不为null则copy一份ThradLocalMap到子线程的t.inheritableThreadLocals成员变量中去。
  3. 因为覆写了getMap(Thread)和CreateMap()方法,所以get的时候,就可以在getMap(t)的时候就会从t.inheritableThreadLocals中拿到map对象,从而实现了可以拿到父线程ThreadLocal中的值。

so,在最开始的代码示例中,如果把ThreadLocal对象换成InheritableThreadLocal对象,那么get到的字符会是“xiezhaodong”而不是NULL。

InheritableThreadLocal还有问题吗?

问题场景
我们在使用线程的时候往往不会只是简单的new Thrad对象,而是使用线程池,当然线程池的好处多多。这里不详解,既然这里提出了问题,那么线程池会给InheritableThreadLocal带来什么问题呢?我们列举一下线程池的特点:

  1. 为了减小创建线程的开销,线程池会缓存已经使用过的线程
  2. 生命周期统一管理,合理的分配系统资源

对于第一点,如果一个子线程已经使用过,并且会set新的值到ThreadLocal中,那么第二个task提交进来的时候还能获得父线程中的值吗?比如下面这种情况(虽然是线程,用sleep尽量让他们串行的执行)。

final InheritableThreadLocal<Span> inheritableThreadLocal = new InheritableThreadLocal<Span>();
      inheritableThreadLocal.set(new Span("xiexiexie"));
      //输出 xiexiexie
      Object o = inheritableThreadLocal.get();
      Runnable runnable = new Runnable() {
          @Override
          public void run() {
              System.out.println("========");
              inheritableThreadLocal.get();
              inheritableThreadLocal.set(new Span("zhangzhangzhang");
              inheritableThreadLocal.get();
          }
      };

      ExecutorService executorService = Executors.newFixedThreadPool(1);
      executorService.submit(runnable);
      TimeUnit.SECONDS.sleep(1);
      executorService.submit(runnable);
      TimeUnit.SECONDS.sleep(1);
      System.out.println("========");
      Span span = inheritableThreadLocal.get();
  }
  static class Span {
      public String name;
      public int age;
      public Span(String name) {
          this.name = name;
      }
  }

输出的会是:

xiexiexie
 ========
xiexiexie
zhangzhangzhang
 ========
zhangzhangzhang
zhangzhangzhang
 ========
xiexiexie

造成这个问题的原因是什么呢,下图大致讲解一下整个过程的变化情况,如图所示,由于B任务提交的时候使用了A任务的缓存线程,A缓存线程的InheritableThreadLocal中的value已经被更新成了”zhangzhangzhang“。B任务在代码内获得值的时候,直接从t.InheritableThreadLocal中获得值,所以就获得了线程A中心设置的值,而不是父线程中InheritableThreadLocal的值。

so,InheritableThreadLocal还是不能够解决线程池当中获得父线程中ThreadLocal中的值。
造成问题的原因
那么造成这个问题的原因是什么呢?如何让任务之间使用缓存的线程不受影响呢?实际原因是,我们的线程在执行完毕的时候并没有清除ThreadLocal中的值,导致后面的任务重用已有的threadLocalMap。
解决方案
如果我们能够,在使用完这个线程的时候清除所有的threadLocalMap,在submit新任务的时候在重新从父线程中copy所有的Entry。然后重新给当前线程的t.inhertableThreadLocal赋值。这样就能够解决在线程池中每一个新的任务都能够获得父线程中ThreadLocal中的值而不受其他任务的影响,因为在生命周期完成的时候会自动clear所有的数据。Alibaba的一个库解决了这个问题github:alibaba/transmittable-thread-local。

transmittable-thread-local实现原理

如何使用
这个库最简单的方式是这样使用的,通过简单的修饰,使得提交的runable拥有了上一节所述的功能。具体的API文档详见github,这里不再赘述

TransmittableThreadLocal<String> parent = new TransmittableThreadLocal<String>();

parent.set("value-set-in-parent");

Runnable task = new Task("1");// 额外的处理,生成修饰了的对象ttlRunnable

Runnable ttlRunnable = TtlRunnable.get(task); 

executorService.submit(ttlRunnable);// Task中可以读取, 值是"value-set-in-parent"

String value = parent.get();

原理简述
这个方法TtlRunnable.get(task)最终会调用构造方法,返回的是该类本身,也是一个Runable,这样就完成了简单的装饰。最重要的是在run方法这个地方。

public final class TtlRunnable implements Runnable {
    private final AtomicReference<Map<TransmittableThreadLocal<?>, Object>> copiedRef;
    private final Runnable runnable;
    private final boolean releaseTtlValueReferenceAfterRun;

    private TtlRunnable(Runnable runnable, boolean releaseTtlValueReferenceAfterRun) {
        //从父类copy值到本类当中
        this.copiedRef = new AtomicReference<Map<TransmittableThreadLocal<?>, Object>>(TransmittableThreadLocal.copy());
        this.runnable = runnable;//提交的runable,被修饰对象
        this.releaseTtlValueReferenceAfterRun = releaseTtlValueReferenceAfterRun;
    }
    /**     * wrap method {@link Runnable#run()}.     */
    @Override
    public void run() {
        Map<TransmittableThreadLocal<?>, Object> copied = copiedRef.get();
        if (copied == null || releaseTtlValueReferenceAfterRun && !copiedRef.compareAndSet(copied, null)) {
            throw new IllegalStateException("TTL value reference is released after run!");
        }
        //装载到当前线程
        Map<TransmittableThreadLocal<?>, Object> backup = TransmittableThreadLocal.backupAndSetToCopied(copied);
        try {
            runnable.run();//执行提交的task
        } finally {
        //clear
        TransmittableThreadLocal.restoreBackup(backup);
        }
    }}

在上面的使用线程池的例子当中,如果换成这种修饰的方式进行操作,B任务得到的肯定是父线程中ThreadLocal的值,解决了在线程池中InheritableThreadLocal不能解决的问题。

更新父线程ThreadLocal值?

如果线程之间除了要能够得到父线程中的值,同时想更新值怎么办呢?在前面我们有提到,当子线程copy父线程的ThreadLocalMap的时候是浅拷贝的,代表子线程Entry里面的value都是指向的同一个引用,我们只要修改这个引用的同时就能够修改父线程当中的值了,比如这样:

 @Override
          public void run() {
              System.out.println("========");
              Span span=  inheritableThreadLocal.get();
              System.out.println(span);
              span.name="liuliuliu";//修改父引用为liuliuliu
              inheritableThreadLocal.set(new Span("zhangzhangzhang"));
              System.out.println(inheritableThreadLocal.get());
          }

这样父线程中的值就会得到更新了。能够满足父线程ThreadLocal值的实时更新,同时子线程也能共享父线程的值。不过场景倒不是很常见的样子。