ThreadLocal 提供了线程本地的变量，每个线程只能通过 get/set 方法访问自己的变量。此类的实例通常声明为类的 private static 属性、用来把状态（比如事务ID）关联到线程上。

InheritableThreadLocal 扩展了 ThreadLocal，为子线程提供从父线程那里继承的值：在创建子线程时，子线程会接收所有可继承的线程局部变量的初始值，以获得父线程所具有的值。

1. 实现思路

如果自行实现一个 ThreadLocal，直接思路可能是：ThreadLocal 内维护一个 Map，以 线程对象为 key，value 为变量。

这个思路的问题有：
1. 当线程终止、JVM 进行垃圾回收时，这个 Map 还持有对线程的引用而没法回收线程的资源；如果 JVM 要能回收，那么必须知道有多少 ThreadLocal 实例持有对线程的引用，这会给 JVM 带来负担。
2. 为了实现 InheritableThreadLocal 时，在创建时还必须找出所有的 InheritableThreadLocal，判断父线程是否有设置变量，有的则进行拷贝变量。

从上述问题来看，实现线程本地变量至少应该考虑：
1. 线程本地变量不应该直接持有对 Thread 对象的引用，避免给 JVM 回收 Thread 带来额外的开销；
2. 为实现 InheritableThreadLocal，一个线程在哪些 InheritableThreadLocal 里设置了变量应该有个集中式的存储，这样才方便把父线程的可继承本地变量拷贝到子线程的。
3. 可能有多个线程同时对 ThreadLocal 进行设置变量，那么对 Map 的访问应当是线程安全的。

再来看下线程本地变量涉及哪些参与者：ThreadLocal 、Thread、变量值。

一个 ThreadLocal 可以持有多个 Thread 的变量，一个 Thread 也可以在多个 ThreadLocal 上设置变量。因此一个 (ThreadLocal, Thread) 的组合才能唯一确定一个线程本地变量值。

Map 只能放在 (ThreadLocal, Thread) 中的一个，前面也说了放在 ThreadLocal 上是不合适的。再来看看放在 Thread 上如何。

每个 Thread 的 Map 属性的 key 是 ThreadLocal 对象，value 是变量值，看来也能实现线程本地变量。

这样反转之后，ThreadLocal 不会持有线程的引用，线程回收不存在问题，线程的 Map 也可以在线程回收时进行回收，Map 里面保存的变量值也可以进行回收。

可继承的线程本地变量可以用另一个 Map 来维护，起到了集中存储的作用。

每个线程都只访问自己的 Map，自然没有并发的竞争。

完美！JDK 从 1.3 开始就是按这个思路去实现的。

继续阅读 →