ThreadLocal介绍和源码解析

2022/2/25 17:26:08

本文主要是介绍ThreadLocal介绍和源码解析,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

目录

1 ThreadLocal简介

1.1 ThreadLocal原理

1.2 ThreadLocalMap结构

2 ThreadLocal简单使用

3 ThreadLocal应用场景

4 ThreadLocal源码

4.1 成员变量

4.2. ThreadLocal.get()

4.3 ThreadLocal.set()

4.4 内部类ThreadLocalMap

4.4.1 内部类Entry

4.4.2 成员变量

4.4.3 构造方法

4.4.4 辅助方法

4.4.5 getEntry

4.4.6 getEntryAfterMiss

4.4.7 expungeStaleEntry

4.4.8 set

4.4.9 replaceStaleEntry

4.4.10 cleanSomeSlots

4.4.11 rehash

4.4.12 resize

5.总结


1 ThreadLocal简介

ThreadLocal是java.lang包提供的线程本地变量。每个线程往这个ThreadLocal中读写是线程隔离,互相之间不会影响的,所以在多线程环境下,可以防止自己的变量被其它线程篡改。它提供了一种将可变数据通过每个线程有自己的独立副本从而实现线程封闭的机制。

jdk 1.8后优化

jdk 1.8之前是在ThreadLocal里维护一个散列表,key 是线程,value是值,1.8后不再用散列表,在Thread类里加了一个ThreadLocalMap类型变量 Thread.threaLocals。也就是说每个线程有个threaLocals,每个线程都有一个ThreadLocalMap,不再是多个线程共有一个map。

1.8之前版本的问题

  1. 原来是ThreadLocal维护所有访问过它的线程的副本数据,会很大-->OOM 。
  1. 线程销毁后,对应的Entry没人清理。

1.8版本优势

  1. 每个线程只保存自己的ThreadLocalMap,不容易OOM。
  1. 线程和ThreadLocal绑定了,生命周期相同,线程销毁ThreadLocal对象也就销毁了。
  1. key是弱引用(weakReference),通过判空可以区分Entry是否过期,降低发生OOM的风险(每次调用get、set、remove方法时都会通过expungeStaleEntry方法将过期Entry回收清理掉)。

1.1 ThreadLocal原理

底层是通过ThreadLocalMap来实现get()、set()方法。

1.2 ThreadLocalMap结构

2 ThreadLocal简单使用

private static ThreadLocal<String> threadLocal = ThreadLocal.withInitial(()->"oldThreadlocal");
public static void main(String[] args) {
    System.out.println("获取初始值:"+threadLocal.get());
    threadLocal.set("newThreadlocal");
    System.out.println("获取修改后的值:"+threadLocal.get());
    threadLocal.remove();
}

运行结果:

获取初始值:oldThreadlocal

获取修改后的值:newThreadlocal

也可以重写initialValue用来给每一个线程分配一个唯一id

    private static final AtomicInteger nextId = new AtomicInteger(0);
    private static final ThreadLocal<Integer> threadId = new ThreadLocal<Integer>() {
        @Override
        protected Integer initialValue() {
            return nextId.getAndIncrement();
        }
    };


    public static void main(String[] args) throws InterruptedException {
        new Thread(() -> {
            try {
                System.out.println(MessageFormat.format("当前线程名称:{0},线程id:{1}", Thread.currentThread().getName(), threadId.get()));
            } finally {
                //线程使用完后一定要释放变量
                threadId.remove();
            }
        }).start();
        TimeUnit.MILLISECONDS.sleep(100);


        new Thread(() -> {
            try {
                System.out.println(MessageFormat.format("当前线程名称:{0},线程id:{1}", Thread.currentThread().getName(), threadId.get()));
            } finally {
                threadId.remove();
            }
        }).start();
        TimeUnit.MILLISECONDS.sleep(100);


        new Thread(() -> {
            try {
                System.out.println(MessageFormat.format("当前线程名称:{0},线程id:{1}", Thread.currentThread().getName(), threadId.get()));
            } finally {
                threadId.remove();
            }
        }).start(

运行结果:

当前线程名称:Thread-0,线程id:0

当前线程名称:Thread-1,线程id:1

当前线程名称:Thread-2,线程id:2

3 ThreadLocal应用场景

  • 存放数据库链接:Spring采用Threadlocal的方式,来保证单个线程中的数据库操作使用的是同一个数据库连接,同时,采用这种方式可以使业务层使用事务时不需要感知并管理connection对象,通过传播级别,巧妙地管理多个事务配置之间的切换,挂起和恢复。
  • 调用链中信息存储(线程调用的方法、耗时、错误信息等): SimpleDateFormate是线程不安全的,每个线程都有自己对应的时间,利用线程池和ThreadLocal省去同步这个变量导致效率低的问题。不过java8提供了DateTimeFormatter它是线程安全的。
  • 参数隐式传递:常用在方法调用中 A方法->B方法->C方法->D方法
  • 存储数据源类型:SpringBoot AOP方式配置多数据源时,用ThreadLocal存储数据源类型
  • 计数:ReentranreadwriteLock 也用到了threadLocal重写了initialValue方法,存储HoldCounter用于记录当前线程重入数

.......

4 ThreadLocal源码

4.1 成员变量

// 通过threadLocalHashCode & (table.length - 1)计算 entry需要存放的位置。
private final int threadLocalHashCode = nextHashCode();
// 每创建一个threadlocal对象,就会分配给这个对象一个hash值
private static AtomicInteger nextHashCode = new AtomicInteger();
// 这个值是斐波那契数,可以使hash分布非常均匀。   
private static final int HASH_INCREMENT = 0x61c88647;


 /**
  * 创建新的ThreadLocal对象时  会给当前对象分配一个hash,使用这个方法。
  */
 private static int nextHashCode() {
     return nextHashCode.getAndAdd(HASH_INCREMENT);
 }

4.2. ThreadLocal.get()

public T get() {
    //获取当前线程
    Thread t = Thread.currentThread();
    //获取到当前线程Thread对象的 threadLocals map引用
    ThreadLocalMap map = getMap(t);
    //条件成立:说明当前线程已经拥有自己的 ThreadLocalMap 对象了
    if (map != null) {
        //key:当前threadLocal对象
        //调用map.getEntry() 方法 获取threadLocalMap 中该threadLocal关联的 entry
        ThreadLocalMap.Entry e = map.getEntry(this);
        //条件成立:说明当前线程 初始化过 与当前threadLocal对象相关联的 线程局部变量
        if (e != null) {
            @SuppressWarnings("unchecked")
            T result = (T)e.value;        
            return result;
        }
    }
    //执行到这里有几种情况?
    //1.当前线程对应的threadLocalMap是空
    //2.当前线程与当前threadLocal对象没有生成过相关联的 线程局部变量..


    //setInitialValue方法初始化当前线程与当前threadLocal对象 相关联的value。
    //且当前线程如果没有threadLocalMap的话,还会初始化创建map。
    return setInitialValue();
}

ThreadLocalMap getMap(Thread t) {
    //返回当前线程的 threadLocals
    return t.threadLocals;
}

private T setInitialValue() {
    //调用的当前ThreadLocal对象的initialValue方法,这个方法 大部分情况下咱们都会重写。
    //value 就是当前ThreadLocal对象与当前线程相关联的 线程局部变量。
    T value = initialValue();
    //获取当前线程对象
    Thread t = Thread.currentThread();
    //获取当前线程内部的threadLocals    threadLocalMap对象。
    ThreadLocalMap map = getMap(t);
    //条件成立:说明当前线程内部已经初始化过 threadLocalMap对象了。 (线程的threadLocals 只会初始化一次。)
    if (map != null)
        //保存当前threadLocal与当前线程生成的 线程局部变量。
        //key: 当前threadLocal对象   value:线程与当前threadLocal相关的局部变量
        map.set(this, value);
    else
        //执行到这里,说明 当前线程内部还未初始化 threadLocalMap ,这里调用createMap 给当前线程创建map


        //参数1:当前线程   参数2:线程与当前threadLocal相关的局部变量
        createMap(t, value);


    //返回线程与当前threadLocal相关的局部变量
    return value

4.3 ThreadLocal.set()

public void set(T value) {
    //获取当前线程
    Thread t = Thread.currentThread();
    //获取当前线程的threadLocalMap对象
    ThreadLocalMap map = getMap(t);
    //条件成立:说明当前线程的threadLocalMap已经初始化过了
    if (map != null)
        //调用threadLocalMap.set方法 进行重写 或者 添加。
        map.set(this, value);
    else
        //执行到这里,说明当前线程还未创建 threadLocalMap对象。
        //参数1:当前线程   参数2:线程与当前threadLocal相关的局部变量
        createMap(t, value);
}

void createMap(Thread t, T firstValue) {
    //传递t 的意义就是 要访问 当前这个线程 t.threadLocals 字段,给这个字段初始化。
    //new ThreadLocalMap(this, firstValue)
    //创建一个ThreadLocalMap对象 初始 k-v 为 : this <当前threadLocal对象> ,线程与当前threadLocal相关的局部变量
    t.threadLocals = new ThreadLocalMap(this, firstValue);
}

4.4 内部类ThreadLocalMap

4.4.1 内部类Entry

/**
 * WeakReference weakA = new WeakReference(a);  //弱引用
 * 下一次GC 时 对象a就被回收了,别管有没有 弱引用 是否在关联这个对象。
 *
 * key 使用的是弱引用保留,key保存的是threadLocal对象。
 * value 使用的是强引用,value保存的是 threadLocal对象与当前线程相关联的 value。
 *
 * entry#key 这样设计有什么好处呢?
 * 当threadLocal对象失去强引用且对象GC回收后,散列表中的与 threadLocal对象相关联的 entry#key 再次去key.get() 时,拿到的是null。
 * 站在map角度就可以区分出哪些entry是过期的,哪些entry是非过期的。
 */
static class Entry extends WeakReference<ThreadLocal<?>> {
    /** The value associated with this ThreadLocal. */
    Object value;
    Entry(ThreadLocal<?> k, Object v) {
        super(k);
        value = v;
    }

4.4.2 成员变量

/**
 * The initial capacity -- MUST be a power of two.
 * 初始化当前map内部 散列表数组的初始长度 16
 */
private static final int INITIAL_CAPACITY = 16;


/**
 * The table, resized as necessary.
 * table.length MUST always be a power of two.
 * threadLocalMap 内部散列表数组引用,数组的长度 必须是 2的次方数
 */
private Entry[] table;


/**
 * The number of entries in the table.
 * 当前散列表数组 占用情况,存放多少个entry。
 */
private int size = 0;


/**
 * The next size value at which to resize.
 * 扩容触发阈值,初始值为: len * 2/3
 * 触发后调用 rehash() 方法。
 * rehash() 方法先做一次全量检查全局 过期数据,把散列表中所有过期的entry移除。
 * 如果移除之后 当前 散列表中的entry 个数仍然达到  threshold - threshold/4  就进行扩容。
 */
private int thresho

4.4.3 构造方法

/**
 * 因为Thread.threadLocals字段是延迟初始化的,只有线程第一次存储 threadLocal-value 时 才会创建 threadLocalMap对象。
 * firstKey :threadLocal对象
 * firstValue: 当前线程与threadLocal对象关联的value。
 */
ThreadLocalMap(ThreadLocal<?> firstKey, Object firstValue) {
    //创建entry数组长度为16,表示threadLocalMap内部的散列表。
    table = new Entry[INITIAL_CAPACITY];
    //寻址算法:key.threadLocalHashCode & (table.length - 1)
    //table数组的长度一定是 2 的次方数。
    //2的次方数-1 有什么特征呢?  转化为2进制后都是1.    16==> 1 0000 - 1 => 1111
    //1111 与任何数值进行&运算后 得到的数值 一定是 <= 1111


    //i 计算出来的结果 一定是 <= B1111
    int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1);


    //创建entry对象 存放到 指定位置的slot中。
    table[i] = new Entry(firstKey, firstValue);
    //设置size=1
    size = 1;
    //设置扩容阈值 (当前数组长度 * 2)/ 3  => 16 * 2 / 3 => 10
    setThreshold(INITIAL_CAPACITY);

4.4.4 辅助方法

/**
 * Set the resize threshold to maintain at worst a 2/3 load factor.
 * 将阈值设置为 (当前数组长度 * 2)/ 3。
 */
private void setThreshold(int len) {
    threshold = len * 2 / 3;
}


/**
 * Increment i modulo len.
 * 参数1:当前下标
 * 参数2:当前散列表数组长度
 */
private static int nextIndex(int i, int len) {
    //当前下标+1 小于散列表数组的话,返回 +1后的值
    //否则 情况就是 下标+1 == len ,返回0
    //实际形成一个环绕式的访问。
    return ((i + 1 < len) ? i + 1 : 0);
}


/**
 * Decrement i modulo len.
 * 参数1:当前下标
 * 参数2:当前散列表数组长度
 */
private static int prevIndex(int i, int len) {
    //当前下标-1 大于等于0 返回 -1后的值就ok。
    //否则 说明 当前下标-1 == -1. 此时 返回散列表最大下标。
    //实际形成一个环绕式的访问。
    return ((i - 1 >= 0) ? i - 1 : len - 1)

4.4.5 getEntry

/**
 * ThreadLocal对象 get() 操作 实际上是由 ThreadLocalMap.getEntry() 代理完成的。
 * key:某个 ThreadLocal对象,因为 散列表中存储的entry.key 类型是 ThreadLocal。
 */
private Entry getEntry(ThreadLocal<?> key) {
    //路由规则: ThreadLocal.threadLocalHashCode & (table.length - 1) ==》 index
    int i = key.threadLocalHashCode & (table.length - 1);
    //访问散列表中 指定指定位置的 slot
    Entry e = table[i];
    //条件一:成立 说明slot有值
    //条件二:成立 说明 entry#key 与当前查询的key一致,返回当前entry 给上层就可以了。
    if (e != null && e.get() == key)
        return e;
    else
        //有几种情况会执行到这里?
        //1.e == null
        //2.e.key != key
    //getEntryAfterMiss 方法 会继续向当前桶位后面继续搜索 e.key == key 的entry.
    //为什么这样做呢??
    //因为 存储时  发生hash冲突后,并没有在entry层面形成 链表.. 存储时的处理 就是线性的向后找到一个可以使用的slot,并且存放进去。
        return getEntryAfterMiss(key, i, e);

4.4.6 getEntryAfterMiss

/**
 * @param  key the thread local object           threadLocal对象 表示key
 * @param  i the table index for key's hash code  key计算出来的index
 * @param  e the entry at table[i]                table[index] 中的 entry
 * @return the entry associated with key, or null if no such
 */
private Entry getEntryAfterMiss(ThreadLocal<?> key, int i, Entry e) {
    //获取当前threadLocalMap中的散列表 table
    Entry[] tab = table;
    //获取table长度
    int len = tab.length;
    //条件:e != null 说明 向后查找的范围是有限的,碰到 slot == null 的情况,搜索结束。
    //e:循环处理的当前元素
    while (e != null) {
        //获取当前slot 中entry对象的key
        ThreadLocal<?> k = e.get();
        //条件成立:说明向后查询过程中找到合适的entry了,返回entry就ok了。
        if (k == key)
            //找到的情况下,就从这里返回了。
            return e;
        //条件成立:说明当前slot中的entry#key 关联的 ThreadLocal对象已经被GC回收了.. 因为key 是弱引用, key = e.get() == null.
        if (k == null)
            //做一次 探测式过期数据回收。
            expungeStaleEntry(i);
        else
            //更新index,继续向后搜索。
            i = nextIndex(i, len);
        //获取下一个slot中的entry。
        e = tab[i];
    }


    //执行到这里,说明关联区段内都没找到相应数据。
    return null;

4.4.7 expungeStaleEntry

/**
 * 参数 staleSlot   table[staleSlot] 就是一个过期数据,以这个位置开始 继续向后查找过期数据,直到碰到 slot == null 的情况结束。
 */
        private int expungeStaleEntry(int staleSlot) {
            //获取散列表
            Entry[] tab = table;
            //获取散列表当前长度
            int len = tab.length;


            // expunge entry at staleSlot
            //help gc
            tab[staleSlot].value = null;
            //因为staleSlot位置的entry 是过期的 这里直接置为Null
            tab[staleSlot] = null;
            //因为上面干掉一个元素,所以 -1.
            size--;
            // Rehash until we encounter null
            //e:表示当前遍历节点
            Entry e;
            //i:表示当前遍历的index
            int i;


            //for循环从 staleSlot + 1的位置开始搜索过期数据,直到碰到 slot == null 结束。
            for (i = nextIndex(staleSlot, len);
                 (e = tab[i]) != null;
                 i = nextIndex(i, len)) {
                //进入到for循环里面 当前entry一定不为null
                //获取当前遍历节点 entry 的key.
                ThreadLocal<?> k = e.get();
                //条件成立:说明k表示的threadLocal对象 已经被GC回收了... 当前entry属于脏数据了...
                if (k == null) {
                    //help gc
                    e.value = null;
                    //脏数据对应的slot置为null
                    tab[i] = null;
                    //因为上面干掉一个元素,所以 -1.
                    size--;
                } else {
                    //执行到这里,说明当前遍历的slot中对应的entry 是非过期数据
                    //因为前面有可能清理掉了几个过期数据。
                    //且当前entry 存储时有可能碰到hash冲突了,往后偏移存储了,这个时候 应该去优化位置,让这个位置更靠近 正确位置。
                    //这样的话,查询的时候 效率才会更高!


                    //重新计算当前entry对应的 index
                    int h = k.threadLocalHashCode & (len - 1);
                    //条件成立:说明当前entry存储时 就是发生过hash冲突,然后向后偏移过了...
                    if (h != i) {
                        //将entry当前位置 设置为null
                        tab[i] = null;
                        // Unlike Knuth 6.4 Algorithm R, we must scan until
                        // null because multiple entries could have been stale.
                        //h 是正确位置。
                        //以正确位置h 开始,向后查找第一个 可以存放entry的位置。
                        while (tab[h] != null)
                            h = nextIndex(h, len);
                        //将当前元素放入到 距离正确位置 更近的位置(有可能就是正确位置)。
                        tab[h] = e;
                    }
                }
            }
            return

4.4.8 set

/**
 * ThreadLocal 使用set方法 给当前线程添加 threadLocal-value   键值对。
 */
        private void set(ThreadLocal<?> key, Object value) {
            //获取散列表
            Entry[] tab = table;
            //获取散列表数组长度
            int len = tab.length;
            //计算当前key 在 散列表中的对应的位置
            int i = key.threadLocalHashCode & (len-1);
            //以当前key对应的slot位置 向后查询,找到可以使用的slot。
            //什么slot可以使用呢??
            //1.k == key 说明是替换
            //2.碰到一个过期的 slot ,这个时候 咱们可以强行占用呗。
            //3.查找过程中 碰到 slot == null 了。
            for (Entry e = tab[i];
                 e != null;
                 e = tab[i = nextIndex(i, len)]) {


                //获取当前元素key
                ThreadLocal<?> k = e.get();
                //条件成立:说明当前set操作是一个替换操作。
                if (k == key) {
                    //做替换逻辑。
                    e.value = value;
                    return;
                }
                //条件成立:说明 向下寻找过程中 碰到entry#key == null 的情况了,说明当前entry 是过期数据。
                if (k == null) {
                    //碰到一个过期的 slot ,这个时候 咱们可以强行占用呗。
                    //替换过期数据的逻辑。
                    replaceStaleEntry(key, value, i);
                    return;
                }
            }
            //执行到这里,说明for循环碰到了 slot == null 的情况。
            //在合适的slot中 创建一个新的entry对象。
            tab[i] = new Entry(key, value);
            //因为是新添加 所以++size.
            int sz = ++size;
            //做一次启发式清理
            //条件一:!cleanSomeSlots(i, sz) 成立,说明启发式清理工作 未清理到任何数据..
            //条件二:sz >= threshold 成立,说明当前table内的entry已经达到扩容阈值了..会触发rehash操作。
            if (!cleanSomeSlots(i, sz) && sz >= threshold)
                rehash();
        }

4.4.9 replaceStaleEntry

/**
 * key: 键 threadLocal对象
 * value: val
 * staleSlot: 上层方法 set方法,迭代查找时 发现的当前这个slot是一个过期的 entry。
 */
        private void replaceStaleEntry(ThreadLocal<?> key, Object value,
                                       int staleSlot) {
            //获取散列表
            Entry[] tab = table;
            //获取散列表数组长度
            int len = tab.length;
            //临时变量
            Entry e;
            //表示 开始探测式清理过期数据的 开始下标。默认从当前 staleSlot开始。
            int slotToExpunge = staleSlot;
            //以当前staleSlot开始 向前迭代查找,找有没有过期的数据。for循环一直到碰到null结束。
            for (int i = prevIndex(staleSlot, len);
                 (e = tab[i]) != null;
                 i = prevIndex(i, len)){
                //条件成立:说明向前找到了过期数据,更新 探测清理过期数据的开始下标为 i
                if (e.get() == null){
                    slotToExpunge = i;
                }
            }
            //以当前staleSlot向后去查找,直到碰到null为止。
            for (int i = nextIndex(staleSlot, len);
                 (e = tab[i]) != null;
                 i = nextIndex(i, len)) {
                //获取当前元素 key
                ThreadLocal<?> k = e.get();
                //条件成立:说明咱们是一个 替换逻辑。
                if (k == key) {
                    //替换新数据。
                    e.value = value;
                    //交换位置的逻辑..
                    //将table[staleSlot]这个过期数据 放到 当前循环到的 table[i] 这个位置。
                    tab[i] = tab[staleSlot];
                    //将tab[staleSlot] 中保存为 当前entry。 这样的话,咱们这个数据位置就被优化了..
                    tab[staleSlot] = e;
                    //条件成立:
                    // 1.说明replaceStaleEntry 一开始时 的向前查找过期数据 并未找到过期的entry.
                    // 2.向后检查过程中也未发现过期数据..
                    if (slotToExpunge == staleSlot)
                        //开始探测式清理过期数据的下标 修改为 当前循环的index。
                        slotToExpunge = i;
                    //cleanSomeSlots :启发式清理
                    cleanSomeSlots(expungeStaleEntry(slotToExpunge), len);
                    return;
                }
                //条件1:k == null 成立,说明当前遍历的entry是一个过期数据..
                //条件2:slotToExpunge == staleSlot 成立,一开始时 的向前查找过期数据 并未找到过期的entry.
                if (k == null && slotToExpunge == staleSlot)
                    //因为向后查询过程中查找到一个过期数据了,更新slotToExpunge 为 当前位置。
                    //前提条件是 前驱扫描时 未发现 过期数据..
                    slotToExpunge = i;
            }
            //什么时候执行到这里呢?
            //向后查找过程中 并未发现 k == key 的entry,说明当前set操作 是一个添加逻辑..
            //直接将新数据添加到 table[staleSlot] 对应的slot中。
            tab[staleSlot].value = null;
            tab[staleSlot] = new Entry(key, value);


            //条件成立:除了当前staleSlot 以外 ,还发现其它的过期slot了.. 所以要开启 清理数据的逻辑..
            if (slotToExpunge != staleSlot)
                cleanSomeSlots(expungeStaleEntry(slotToExpunge), len);

4.4.10 cleanSomeSlots

       /**
         * 参数 i 启发式清理工作开始位置
         * 参数 n 一般传递的是 table.length ,这里n 也表示结束条件。
         * @return true if any stale entries have been removed.
         */
        private boolean cleanSomeSlots(int i, int n) {
            //表示启发式清理工作 是否清楚过过期数据
            boolean removed = false;
            //获取当前map的散列表引用
            Entry[] tab = table;
            //获取当前散列表数组长度
            int len = tab.length;
            do {
                //这里为什么不是从i就检查呢?
                //因为cleanSomeSlots(i = expungeStaleEntry(???), n)  expungeStaleEntry(???) 返回值一定是null。
                //获取当前i的下一个 下标
                i = nextIndex(i, len);
                //获取table中当前下标为i的元素
                Entry e = tab[i];
                //条件一:e != null 成立
                //条件二:e.get() == null 成立,说明当前slot中保存的entry 是一个过期的数据..
                if (e != null && e.get() == null) {
                    //重新更新n为 table数组长度
                    n = len;
                    //表示清理过数据.
                    removed = true;
                    //以当前过期的slot为开始节点 做一次 探测式清理工作
                    i = expungeStaleEntry(i);
                }
                // 假设table长度为16
                // 16 >>> 1 ==> 8
                // 8 >>> 1 ==> 4
                // 4 >>> 1 ==> 2
                // 2 >>> 1 ==> 1
                // 1 >>> 1 ==> 0
            } while ( (n >>>= 1) != 0);
            return removed;
        }

4.4.11 rehash

 private void rehash() {
            //这个方法执行完后,当前散列表内的所有过期的数据,都会被干掉。
            expungeStaleEntries();
            // Use lower threshold for doubling to avoid hysteresis
            //条件成立:说明清理完 过期数据后,当前散列表内的entry数量仍然达到了 threshold * 3/4,真正触发 扩容!
            if (size >= threshold - threshold / 4)
                //扩容。
                resize();
        }

4.4.12 resize

 private void resize() {
            //获取当前散列表
            Entry[] oldTab = table;
            //获取当前散列表长度
            int oldLen = oldTab.length;
            //计算出扩容后的表大小  oldLen * 2
            int newLen = oldLen * 2;
            //创建一个新的散列表
            Entry[] newTab = new Entry[newLen];
            //表示新table中的entry数量。
            int count = 0;
            //遍历老表 迁移数据到新表。
            for (int j = 0; j < oldLen; ++j) {
                //访问老表的指定位置的slot
                Entry e = oldTab[j];
                //条件成立:说明老表中的指定位置 有数据
                if (e != null) {
                    //获取entry#key
                    ThreadLocal<?> k = e.get();
                    //条件成立:说明老表中的当前位置的entry 是一个过期数据..
                    if (k == null) {
                        e.value = null; // Help the GC
                    } else {
                        //执行到这里,说明老表的当前位置的元素是非过期数据 正常数据,需要迁移到扩容后的新表。。
                        //计算出当前entry在扩容后的新表的 存储位置。
                        int h = k.threadLocalHashCode & (newLen - 1);
                        //while循环 就是拿到一个距离h最近的一个可以使用的slot。
                        while (newTab[h] != null)
                            h = nextIndex(h, newLen);
                        //将数据存放到 新表的 合适的slot中。
                        newTab[h] = e;
                        //数量+1
                        count++;
                    }
                }
            }
            //设置下一次触发扩容的指标。
            setThreshold(newLen);
            size = count;
            //将扩容后的新表 的引用保存到 threadLocalMap 对象的 table这里。。
            table = newTab;
        }

5.总结

  1. ThreadLocal处理hash冲突的方法是线性探测,把冲突的数据直接放在冲突位置的后面。
  2. expungeStaleEntry方法会沿着开始位置向后清理过期数据。沿途将未过期数据refresh在table中重新定位,重定位后的元素理论上更接近寻址公式int i = key.threadLocalHashCode & (len-1)计算出的位置,优化了查询性能。
  3. threadLocalHashCode这个值只在创建新的ThreadLocal对象时会初始化一次,调用一个全局static 的nexthashcode的AtomicInteger.getAndAdd(HASH_INCREMENT)  生成一个值。再创建一个threadlocal对象时,这个 nexthashcode值已经变了,因为所有threadLocal对象共用一个nexthashcode,这个值用一次就会增长一次。
  4. 共享ThreadLocal数据的方法InheritableThreadLocal(父子线程共享)、transmittableThreadLocal(池化线程共享)

ThreadLocal用法简单,方法不多,核心是ThreadLocalMap,了解ThreadLocal处理hash冲突和清理过期Entry的方法后,可以拓展我们解决问题的思路。



这篇关于ThreadLocal介绍和源码解析的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!


扫一扫关注最新编程教程