ThreadLocal原理的秘密

原创已于 2023-07-07 18:14:25 修改 · 381 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

收录于

Java基础知识

计算机基础

于 2020-12-11 15:02:38 首次发布

本文深入剖析了ThreadLocal的工作原理，解释了ThreadLocalMap的作用及其内部结构，并揭示了一个用于优化哈希分布的神奇数字。

1. ThreadLocal描述

ThreadLocal保证了每个线程都有自己独享的变量，不用考虑并发同步的问题。通常情况下，ThreadLocal类型的变量被建议声明为static，即使多个线程调用多次，该变量也只会初始化一次。ThreadLocal使用起来很简单、方便，但非常值得弄清ThreadLocal的实现原理。

2. 认识ThreadLocalMap

在ThreadLocal内部，有一个静态类（ThreadLocalMap）很关键，ThreadLocalMap声明为 package private, 所以我们无法直接使用它，只能通过与ThreadLocalMap在同一个包下的ThreadLocal访问它，比如使用ThreadLocal的set()和get()方法时，底层实际上在操作ThreadLocalMap。对线程来说，ThreadLocalMap天然就是线程安全的，并不是因为ThreadLocalMap做了很多额外的线程安全操作，而是在Thread类中声明了一个ThreadLocalMap的成员变量（Thread与ThreadLocalMap在同一个包中），所以每个线程都有自己的ThreadLocalMap对象，多个线程互不干扰。一个线程只能有一个ThreadLocalMap变量，但是可以关联多个ThreadLocal变量，下图是他们之间的关系：

上图只描述了Thread和ThreadLocalMap或者Thread和ThreadLocal之间的关系，没有说明ThreaLocalMap和ThreadLocal之间的关系，为了清楚的描述ThreaLocalMap和ThreadLocal之间关系，最好要清楚ThreadLocalMap的内部结构。ThreadLocalMap主要由一个Entry数组构成，Entry有两个成员变量，一个是<ref>, <ref>是一个ThreadLocal类型的对象，一般把<ref>当成key，另一个成员变量是value，value是自定义的，ThreadLocalMap结构和ThreadLocal的关系如下图：

如上图，一个ThreadLocal变量加上一个自定义的value，映射到ThreadLocalMap的一个Entry对象。当使用ThreadLocal的set()和get()方法，设置和查找值时，底层将ThreadLocal对象作为key，实际操作的是ThreadLocalMap中的Entry数组。

3. 神奇的数字

在ThreadLocalMap源码中，有个非常有趣的东西，为了快速查找和设置值，需要找到ThreadLocal对象到ThreadLocalMap的Entry数组下标进行快速映射，所以jdk源码中使用了一个神奇的数字<0x61c88647>，使用这个数字可以得到最佳分布的乘法哈希码，如下面的例子：

        int HASH_CODE = 0;

        int HASH_INCREMENT = 0x61c88647; // magic number

        // generate numbers in 16
        int i=0;
        while(i < 16){
            HASH_CODE = HASH_CODE + HASH_INCREMENT;
            int index = HASH_CODE & (16 - 1);
            System.out.print(index + " ");
            i++;
        }

运行上面的代码，得到结果：