深入理解ThreadLocal

作者: 阴天吃鱼 | 来源:发表于2019-11-20 11:13 被阅读0次

    话不多说,直接进入主题。
    本文使用的是 jdk1.8

    首先,先要了解ThreadLocal有什么用?

    ThreadLocal是为了每个线程都有自己独立的变量或者对象。

    那这时应该会有些疑问,为什么会有独立的变量?如果有的话,它的变量保存在哪?变量是如何从共享变量中复制出来的?

    首先 Threadlocal 主要有 set() , get() , remove() , initialValue(),这几个方法,

    • 我们先看看initialValue
    **@return the initial value for this thread-local
    protected T initialValue() {
            return null;
        }
    

    jdk注释的意思就是 返回一个本地线程的初始值,至于为什么返回null,很明显这是个需要被重写的方法。

    • 接着看get()方法
    public T get() {
            Thread t = Thread.currentThread();
            ThreadLocalMap map = getMap(t);
            if (map != null) {
                ThreadLocalMap.Entry e = map.getEntry(this);
                if (e != null) {
                    @SuppressWarnings("unchecked")
                    T result = (T)e.value;
                    return result;
                }
            }
            return setInitialValue();
        }
    

    代码解析:
    1、获取当前的线程
    2、通过当前的线程返回一个ThreadLocalMap对象
    3、如果ThreadLocalMap存在,就从中取得 它的Entry对象
    4、从Entry对象中获取value

    从现在的角度来看,这个value肯定就是 复制的变量,也就是副本变量。

    • 先不说value,看看ThreadLocalMap是个什么东西?
      看ThreadLocalMap为null的情况下调用的setInitialValue
    private T setInitialValue() {
            T value = initialValue(); 
            Thread t = Thread.currentThread(); **获取当前线程
            ThreadLocalMap map = getMap(t); **通过当前线程获取map对象
            if (map != null)
                map.set(this, value);
            else
                createMap(t, value);
            return value;
        }
    

    代码解析:
    1、从initialValue方法中去拿值,而我们知道这个方法返回的是null,也就是说如果不重写这个方法的话,只能通过set设值。

    • 接着再看看createMap做了什么
    void createMap(Thread t, T firstValue) {
            t.threadLocals = new ThreadLocalMap(this, firstValue);
        }
    

    创建了一个ThreadLocalMap对象,返回了一个线程的变量threadLocals。
    这个createMap是ThreadLocal对象调用的,那这个t,是不是就是说ThreadLocal当前所在的线程。

    • 我们看下ThreadLocalMap是什么东西? 摘出核心代码
     static class ThreadLocalMap {
        static class Entry extends WeakReference<ThreadLocal<?>> {
                /** The value associated with this ThreadLocal. */
                Object value;
    
                Entry(ThreadLocal<?> k, Object v) {
                    super(k);
                    value = v;
                }
            }
     }
    ······
     ThreadLocalMap(ThreadLocal<?> firstKey, Object firstValue) {
                table = new Entry[INITIAL_CAPACITY];
                int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1);
                table[i] = new Entry(firstKey, firstValue);
                size = 1;
                setThreshold(INITIAL_CAPACITY);
            }
    

    代码解析:
    1、可以看到ThreadLocalMap内部是一个Entry对象,还是 key : value的键值对形式,说明ThreadLocalMap 并不是一个实现了map接口的对象,只是模仿hashmap键值对的形式, 不是一个map。
    2、它用的是当前线程的ThreadLocal 作为key,value就是那个副本变量。并且Entry还继承的弱引用,这块是引起内存泄漏的点。后面说

    也就是说 ThreadLocalMap保存的是 当前的ThreadLocal对象和当前线程要操作的副本变量。
    • 接着我们返回get()方法
    Thread t = Thread.currentThread();
            ThreadLocalMap map = getMap(t);
    

    这里的get方法,是通过当前的线程获取一个ThreadLocalMap对象。我们看看getMap做了什么。

    ThreadLocalMap getMap(Thread t) {
            return t.threadLocals;
        }
    

    这个threadLocals是Thread里的一个成员变量。

    public class Thread implements Runnable {
    ···
      ThreadLocal.ThreadLocalMap threadLocals = null;
    ···
    }
    

    我们遇到了Thread 、 ThreadLocal 、ThreadLocalMap;

    Thread的成员变量是threadLocals,ThreadLocal的get(thread) 方法找到的是ThreadLocalMap对象!

    之前最开始的疑问?

    1、为什么会有独立的变量?
    因为ThreadLocalMap存在ThreadLocal这个类用,调用的get()或set()方法的时候,如果没有这个ThreadLocalMap,它就会自己创建。如果有的话,它会拿当前的线程对象作为key ,这个key都是不唯一的,所以每个线程能有自己独立的副本变量。
    2、它的副本变量保存在哪?
    ThreadLocalMap就是用来保存线程的副本 变量的,构造方法的时候,传入的第一个参数k 是当前所在的线程,另外参数v 就是副本变量。
    3、副本变量是如何从共享变量中复制出来的?
    重写initialValue()方法,或 调用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()方法流程,不多介绍了。

    到此set()、get()、initialValue()就都介绍了,还差一个remove();
    接着往下看,

    我们都知道GC在回收垃圾的时候,只有强引用关系存在的对象才不会被回收。

    static class ThreadLocalMap {
    ···
           static class Entry extends WeakReference<ThreadLocal<?>> {
                /** The value associated with this ThreadLocal. */
                Object value;
    
                Entry(ThreadLocal<?> k, Object v) {
                    super(k);
                    value = v;
                }
            }
    
    }
    

    而ThreadLocalMap中的Entry对象是继承了WeakReference(弱引用)提供的key。也就是说ThreadLocal取的是WeakReference提供的弱引用对象,所以在GC回收的时候ThreadLocal会被回收,Entry的key会为null,而value却是强引用,导致GC没办法回收。

    为什么说value是强引用?

    认真回顾一下,
    value是自己的Object对象,然后ThreadLocalMap又是Thread的成员变量,而ThreadLocal又是ThreadLocalMap通过弱引用 引入的一个对象,取的是ThreadLocal的 弱引用 对象。所以GC的时候key肯定会回收了。然后如果这个方法运行时特别长,就产生了一条引用链导致value无法被回收。
    currentThread->Thread->ThreadLocalMap->Entry->value

    当然JDK肯定考虑到这个问题了,所以在加了remove()方法,还在get()方法中做了优化,get()->getEntry->getEntryAfterMiss()->expungeStaleEntry,意思就是说如果在调用get()方法的时候,key ==null 就也把value == null,但这样并不能完全的规避内存泄漏,也需要我们在调用set()方法后 remove();

    public void remove() {
             **1
             ThreadLocalMap m = getMap(Thread.currentThread());
             if (m != null)
                 m.remove(this);
         }
    
    /**
             * Remove the entry for key.
             */
            **2
            private void remove(ThreadLocal<?> key) {
                Entry[] tab = table;
                int len = tab.length;
                int i = key.threadLocalHashCode & (len-1);
                for (Entry e = tab[i];
                     e != null;
                     e = tab[i = nextIndex(i, len)]) {
                    if (e.get() == key) {
                        e.clear();
                        expungeStaleEntry(i);
                        return;
                    }
                }
            }
                      **3
                      private int expungeStaleEntry(int staleSlot) {
                          Entry[] tab = table;
                          int len = tab.length;
    
                          // expunge entry at staleSlot
                          tab[staleSlot].value = null;
                          tab[staleSlot] = null;
                          size--;
    
                          // Rehash until we encounter null
                          Entry e;
                          int i;
                          for (i = nextIndex(staleSlot, len);
                               (e = tab[i]) != null;
                               i = nextIndex(i, len)) {
                              ThreadLocal<?> k = e.get();
                              if (k == null) {
                                  e.value = null;
                                  tab[i] = null;
                                    size--;
                              } else {
                                  int h = k.threadLocalHashCode & (len - 1);
                                  if (h != i) {
                                      tab[i] = null;
    
                                      // Unlike Knuth 6.4 Algorithm R, we must scan until
                                      // null because multiple entries could have been stale.
                                      while (tab[h] != null)
                                          h = nextIndex(h, len);
                                      tab[h] = e;
                                  }
                                }
                          }
                          return i;
                      }
    
    总结

    1、ThreadLocalMap是Thread中的一个成员变量。ThreadLocal是被ThreadLocalMap引入的弱引用对象,value则是自己的object对象。
    2、ThreadLocalMap是ThreadLocal的内部静态类,操作都由ThreadLocalMap做,ThreadLocal只是提供一系列操作方法。
    3、ThreadLocalMap并不是一个map,是内部Entry模拟了K : V形式。
    4、了解了内存泄漏产生的原因。get()时已经对内存泄漏做了处理key==null则value==null,但还需要自己配合调用remove()。

    相关文章

      网友评论

        本文标题:深入理解ThreadLocal

        本文链接:https://www.haomeiwen.com/subject/porgictx.html