ThreadLocal深入剖析

JDK 1.2的版本中就提供java.lang.ThreadLocal，ThreadLocal为解决多线程程序的并发问题提供了一种新的思路。使用这个工具类可以很简洁地编写出优美的多线程程序，ThreadLocal并不是一个Thread，而是Thread的局部变量。
ThreadLocal为每个使用它的线程提供了一个单独的线程局部变量值的副本，每个变量只能看到与自己i的值，而不知道别的线程可能正在使用或者修改他们自己的副本。

该类提供了线程局部变量。这些变量不同于他们的普通对应物，因为访问某个变量（通过其get或set方法）的每个线程都有自己的局部变量，他独立于变量的初始化副本。ThreadLocal变量通常是类中的private static字段，他们希望将状态与某一个线程相关联

每个线程都保持对其局部变量副本的隐式引用，只要线程时活动的，并且ThreadLocal实例是可访问的；在线程消失之后，其线程局部实例的所有副本都会被垃圾回收（除非存在对这些副本的其他引用）

ThreadLocal是如何做到位每一个线程维护变量的副本的呢？其实在ThreadLocal类中定义了以ThreadLocalMap,每一个Thread中都有一个该类型的变量-threadLocals-用于存储每一个线程的变量副本，Map中元素的键为线程对象，而值为线程的变量副本。

ThreadLocal的四个方法如下:
T get()
返回该线程局部变量的当前线程副本中的值。如果变量没有用于当前线程的值，则现将其初始化为调用initialvalue（）方法返回的值
protected T initialValue()
返回此线程局部变量的当前线程的初始值。这个方法是一个延迟调用方法，线程第一次使用get()方法访问变量时将调用此方法，但如果线程之前调用了set(T)方法，则不会对该线程再调用initialValue方法。通常，此方法对每个线程最多调用一次，但如果在调用get()后又调用了remove()，则有可能再次调用此方法。该实现返回null;如果程序员希望线程局部变量具有null意外的值，则必须为ThreadLocal创建子类，bin重写此方法。通常将使用匿名内部类完成此操作。
void remove()
移除此线程局部变量当前线程的值，如果此线程局部变量随后被当前线程读取，且这期间当前贤臣没有设置其值，则将调用其intialvalue()方法重新初始化其值。这将导致在当前线程多次调用intialvalue方法
void set(T value)
将次线程局部变量的当前线程副本中的值设置为指定值，大部分子类不需要重写此方法，他们只依靠intialvalue来设置线程局部变量的值。

public T get() {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null) {
            ThreadLocalMap.Entry e =map.getEntry(this);
            if (e != null)
                return (T)e.value;
        }
        return setInitialValue();
    }

第一行代码获取当前线程。

第二行代码利用getMap()方法获取当前线程对应的ThreadLocalMap。

getMap()方法的代码如下：

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

可见，getMap()方法返回的是Thread类中一个叫“threadLocals”的字段。查看Thread类的源码，可以发现，每个Thread实例都有一个ThreadLocalMap类型的成员变量：

   ThreadLocal.ThreadLocalMap threadLocals =null;

ThreadLocalMap实际上是ThreadLocal类中的一个静态内部类：

static class ThreadLocalMap {
 
        static class Entry extends WeakReference<ThreadLocal> {
 
            Object value;
 
            Entry(ThreadLocal k, Object v) {
                super(k);
                value = v;
            }
                }

ThreadLocalMap的Entry继承了WeakReference，并且使用ThreadLocal作为键值。正因如此，第四行代码：
ThreadLocalMap.Entrye = map.getEntry(this);

获取Entry时传入的参数是this，即当前的ThreadLocal实例，而非第一行代码获取的当前线程t。

如果得到的Entry不为空，直接返回，如果为空，则调用setInitialValue()方法：

private T setInitialValue() {
T value = initialValue();
Thread t = Thread.currentThread();
ThreadLocalMap map = getMap(t);
if (map != null)
map.set(this, value);
else
createMap(t, value);
return value;
}

如果当前线程的threadLocals不为空，将初始化值放入threadLocals，如果为空，则新建一个ThreadLocalMap，赋值给当前线程的threadLocals。

 void createMap(Thread t, T firstValue) {
        t.threadLocals = new ThreadLocalMap(this, firstValue);
    }

整体思路：首先，在每个线程Thread内部都有一个ThreadLocal.ThreadLocalMap类型的成员变量threadLocals，这个threadLocals就是用来存储实际的变量副本的，键值为当前ThreadLocal实例，value为变量副本
初始化时，在Thread里面的ThreadLocals为null,当通过ThreadLocal变量调用get()方法或者set()方法时，就会对Thread类中的ThreadLocals进行初始化，并且以当前ThreadLocal变量为键值，以ThreadLocal要保存的副本变量为value,存到ThreadLocals
在当前程序里面，如果要使用副本变量，就可以通过get方法在ThreadLocals里面查找
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()类似，也是先获取当前线程的ThreadLocalMap，然后以当前ThreadLocal、指定value为键值对的Entry存入该ThreadLocalMap（如果ThreadLocalMap为空，则需要先创建再存入）。

**ThreadLocal和线程同步机制相比有什么优势呢？**ThreadLocal和线程同步机制都是为了解决多线程中相同变量的访问冲突问题。

在同步机制中，通过对象的锁机制保证同一时间只有一个线程访问变量。这时该变量是多个线程共享的，使用同步机制要求程序慎密地分析什么时候对变量进行读写，什么时候需要锁定某个对象，什么时候释放对象锁等繁杂的问题，程序设计和编写难度相对较大。

而ThreadLocal则从另一个角度来解决多线程的并发访问。在编写多线程代码时，可以把不安全的变量封装进ThreadLocal。

由于ThreadLocal中可以持有任何类型的对象，低版本JDK所提供的get()返回的是Object对象，需要强制类型转换。但JDK 5.0通过泛型很好的解决了这个问题，在一定程度地简化ThreadLocal的使用。

概括起来说，对于多线程资源共享的问题，同步机制采用了“以时间换空间”的方式，而ThreadLocal采用了“以空间换时间”的方式。前者仅提供一份变量，让不同的线程排队访问，而后者为每一个线程都提供了一份变量，因此可以同时访问而互不影响。

ThreadLocal是解决线程安全问题一个很好的思路，它通过为每个线程提供一个独立的变量副本解决了变量并发访问的冲突问题。在很多情况下，ThreadLocal比直接使用synchronized同步机制解决线程安全问题更简单，更方便，且结果程序拥有更高的并发性