threadlocal 的使用

介绍:

ThreadLocal是啥?有些伙伴喜欢把它和线程同步机制混为一谈,事实上ThreadLocal与线程同步无关。ThreadLocal虽然提供了一种解决多线程环境下成员变量的问题,但是它并不是解决多线程共享变量的问题。

所以ThreadLocal与线程同步机制不同,线程同步机制是多个线程共享同一个变量,而ThreadLocal是为每一个线程创建一个单独的变量副本,故而每个线程都可以独立地改变自己所拥有的变量副本,而不会影响其他线程所对应的副本。可以说ThreadLocal为多线程环境下变量问题提供了另外一种解决思路。

ThreadLocal定义了四个方法:

  • get():返回此线程局部变量的当前线程副本中的值。

  • initialValue():返回此线程局部变量的当前线程的“初始值”。

  • remove():移除此线程局部变量当前线程的值。

  • set(T value):将此线程局部变量的当前线程副本中的值设置为指定值。

除了这四个方法,ThreadLocal内部还有一个静态内部类ThreadLocalMap,该内部类才是实现线程隔离机制的关键,get()、set()、remove()都是基于该内部类操作。ThreadLocalMap提供了一种用键值对方式存储每一个线程的变量副本的方法,key为当前ThreadLocal对象,value则是对应线程的变量副本。

get获取值注意点:

 get()方法是用来获取ThreadLocal在当前线程中保存的变量副本,set()用来设置当前线程中变量的副本,remove()用来移除当前线程中变量的副本,initialValue()是一个protected方法,一般是用来在使用时进行重写的,它是一个延迟加载方法,下面会详细说明。

  首先我们来看一下ThreadLocal类是如何为每个线程创建一个变量的副本的。

  先看下get方法的实现:

  

   第一句是取得当前线程,然后通过getMap(t)方法获取到一个map,map的类型为ThreadLocalMap。然后接着下面获取到<key,value>键值对,注意这里获取键值对传进去的是  this,而不是当前线程t。

  如果获取成功,则返回value值。

  如果map为空,则调用setInitialValue方法返回value。

  我们上面的每一句来仔细分析:

  首先看一下getMap方法中做了什么:

  

  可能大家没有想到的是,在getMap中,是调用当期线程t,返回当前线程t中的一个成员变量threadLocals。

  那么我们继续取Thread类中取看一下成员变量threadLocals是什么:

  

  实际上就是一个ThreadLocalMap,这个类型是ThreadLocal类的一个内部类,我们继续取看ThreadLocalMap的实现:

  

  可以看到ThreadLocalMap的Entry继承了WeakReference,并且使用ThreadLocal作为键值。

  然后再继续看setInitialValue方法的具体实现:

  很容易了解,就是如果map不为空,就设置键值对,为空,再创建Map,看一下createMap的实现:

  

  至此,可能大部分朋友已经明白了ThreadLocal是如何为每个线程创建变量的副本的:

  首先,在每个线程Thread内部有一个ThreadLocal.ThreadLocalMap类型的成员变量threadLocals,这个threadLocals就是用来存储实际的变量副本的,键值为当前ThreadLocal变量,value为变量副本(即T类型的变量)。

  初始时,在Thread里面,threadLocals为空,当通过ThreadLocal变量调用get()方法或者set()方法,就会对Thread类中的threadLocals进行初始化,并且以当前ThreadLocal变量为键值,以ThreadLocal要保存的副本变量为value,存到threadLocals。

  然后在当前线程里面,如果要使用副本变量,就可以通过get方法在threadLocals里面查找。

对于ThreadLocal需要注意的有两点:

  1. ThreadLocal实例本身是不存储值,它只是提供了一个在当前线程中找到副本值得key。

  2. 是ThreadLocal包含在Thread中,而不是Thread包含在ThreadLocal中,有些小伙伴会弄错他们的关系。

下图是Thread、ThreadLocal、ThreadLocalMap的关系

 

ThreadLocal使用示例

package top.mschen.blog.common.test;

/**
 * 首先,我们来看看不考虑多线程共享数据的情况。

 现在有小明、小刚、小红三人在同一家银行,分别向各自账户存入 200 元钱:
 */
public class ThreadLocalTets {

    public static void main(String[] args) {
        Bank bank = new Bank();
        Thread xMThread = new Thread(() -> bank.deposit(200), "小明");
        Thread xGThread = new Thread(() -> bank.deposit(200), "小刚");
        Thread xHThread = new Thread(() -> bank.deposit(200), "小红");
        xMThread.start();
        xGThread.start();
        xHThread.start();
    }
}


/**
 * 结果
 * 小红--当前账户余额为:1000
 小红--存入 200 后账户余额为:1200
 小刚--当前账户余额为:1200
 小刚--存入 200 后账户余额为:1400
 小明--当前账户余额为:1400
 小明--存入 200 后账户余额为:1600
 因为共享了同一个变量
 */
class Bank {

//    private int money = 1000;
//    public void deposit(int money) {
//        String threadName = Thread.currentThread().getName();
//        System.out.println(threadName + "--当前账户余额为:" + this.money);
//        this.money += money;
//        System.out.println(threadName + "--存入 " + money + " 后账户余额为:" + this.money);
//        try {
//            Thread.sleep(1000);
//        } catch (InterruptedException e) {
//            e.printStackTrace();
//        }
//    }

//    ThreadLocal<Integer> account = new ThreadLocal<Integer>(){
//        @Override
//        protected Integer initialValue() {
//            return 1000;
//        }
//    };
    ThreadLocal<Integer> account = ThreadLocal.withInitial(()->{
        return 1000;
    });


    public void deposit(int money) {
        String threadName = Thread.currentThread().getName();
        System.out.println(threadName + "--当前账户余额为:" + account.get());
        account.set(account.get() + money);
        System.out.println(threadName + "--存入 " + money + " 后账户余额为:" + account.get());
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

 

具体过程请参考:对ThreadLocal实现原理的一点思考

ThreadLocal源码解析

ThreadLocal虽然解决了这个多线程变量的复杂问题,但是它的源码实现却是比较简单的。ThreadLocalMap是实现ThreadLocal的关键,我们先从它入手。

ThreadLocalMap

ThreadLocalMap其内部利用Entry来实现key-value的存储,如下:

 
  1.       static class Entry extends WeakReference<ThreadLocal<?>> {

  2.            /** The value associated with this ThreadLocal. */

  3.            Object value;

  4.  

  5.            Entry(ThreadLocal<?> k, Object v) {

  6.                super(k);

  7.                value = v;

  8.            }

  9.        }

从上面代码中可以看出Entry的key就是ThreadLocal,而value就是值。同时,Entry也继承WeakReference,所以说Entry所对应key(ThreadLocal实例)的引用为一个弱引用(关于弱引用这里就不多说了,感兴趣的可以关注这篇博客:Java 理论与实践: 用弱引用堵住内存泄漏)

ThreadLocalMap的源码稍微多了点,我们就看两个最核心的方法getEntry()、set(ThreadLocal key, Object value)方法。

set(ThreadLocal key, Object value)

 
  1.    private void set(ThreadLocal<?> key, Object value) {

  2.  

  3.        ThreadLocal.ThreadLocalMap.Entry[] tab = table;

  4.        int len = tab.length;

  5.  

  6.        // 根据 ThreadLocal 的散列值,查找对应元素在数组中的位置

  7.        int i = key.threadLocalHashCode & (len-1);

  8.  

  9.        // 采用“线性探测法”,寻找合适位置

  10.        for (ThreadLocal.ThreadLocalMap.Entry e = tab[i];

  11.            e != null;

  12.            e = tab[i = nextIndex(i, len)]) {

  13.  

  14.            ThreadLocal<?> k = e.get();

  15.  

  16.            // key 存在,直接覆盖

  17.            if (k == key) {

  18.                e.value = value;

  19.                return;

  20.            }

  21.  

  22.            // key == null,但是存在值(因为此处的e != null),说明之前的ThreadLocal对象已经被回收了

  23.            if (k == null) {

  24.                // 用新元素替换陈旧的元素

  25.                replaceStaleEntry(key, value, i);

  26.                return;

  27.            }

  28.        }

  29.  

  30.        // ThreadLocal对应的key实例不存在也没有陈旧元素,new 一个

  31.        tab[i] = new ThreadLocal.ThreadLocalMap.Entry(key, value);

  32.  

  33.        int sz = ++size;

  34.  

  35.        // cleanSomeSlots 清楚陈旧的Entry(key == null)

  36.        // 如果没有清理陈旧的 Entry 并且数组中的元素大于了阈值,则进行 rehash

  37.        if (!cleanSomeSlots(i, sz) && sz >= threshold)

  38.            rehash();

  39.    }

这个set()操作和我们在集合了解的put()方式有点儿不一样,虽然他们都是key-value结构,不同在于他们解决散列冲突的方式不同。集合Map的put()采用的是拉链法,而ThreadLocalMap的set()则是采用开放定址法(具体请参考散列冲突处理系列博客)。掌握了开放地址法该方法就一目了然了。

set()操作除了存储元素外,还有一个很重要的作用,就是replaceStaleEntry()和cleanSomeSlots(),这两个方法可以清除掉key == null 的实例,防止内存泄漏。在set()方法中还有一个变量很重要:threadLocalHashCode,定义如下:

 
  1. private final int threadLocalHashCode = nextHashCode();

从名字上面我们可以看出threadLocalHashCode应该是ThreadLocal的散列值,定义为final,表示ThreadLocal一旦创建其散列值就已经确定了,生成过程则是调用nextHashCode():

 
  1.    private static AtomicInteger nextHashCode = new AtomicInteger();

  2.  

  3.    private static final int HASH_INCREMENT = 0x61c88647;

  4.  

  5.    private static int nextHashCode() {

  6.        return nextHashCode.getAndAdd(HASH_INCREMENT);

  7.    }

nextHashCode表示分配下一个ThreadLocal实例的threadLocalHashCode的值,HASH_INCREMENT则表示分配两个ThradLocal实例的threadLocalHashCode的增量,从nextHashCode就可以看出他们的定义。

getEntry()

 
  1.        private Entry getEntry(ThreadLocal<?> key) {

  2.            int i = key.threadLocalHashCode & (table.length - 1);

  3.            Entry e = table[i];

  4.            if (e != null && e.get() == key)

  5.                return e;

  6.            else

  7.                return getEntryAfterMiss(key, i, e);

  8.        }

由于采用了开放定址法,所以当前key的散列值和元素在数组的索引并不是完全对应的,首先取一个探测数(key的散列值),如果所对应的key就是我们所要找的元素,则返回,否则调用getEntryAfterMiss(),如下:

 
  1.        private Entry getEntryAfterMiss(ThreadLocal<?> key, int i, Entry e) {

  2.            Entry[] tab = table;

  3.            int len = tab.length;

  4.  

  5.            while (e != null) {

  6.                ThreadLocal<?> k = e.get();

  7.                if (k == key)

  8.                    return e;

  9.                if (k == null)

  10.                    expungeStaleEntry(i);

  11.                else

  12.                    i = nextIndex(i, len);

  13.                e = tab[i];

  14.            }

  15.            return null;

  16.        }

这里有一个重要的地方,当key == null时,调用了expungeStaleEntry()方法,该方法用于处理key == null,有利于GC回收,能够有效地避免内存泄漏。

get()

返回当前线程所对应的线程变量

 
  1.    public T get() {

  2.        // 获取当前线程

  3.        Thread t = Thread.currentThread();

  4.  

  5.        // 获取当前线程的成员变量 threadLocal

  6.        ThreadLocalMap map = getMap(t);

  7.        if (map != null) {

  8.            // 从当前线程的ThreadLocalMap获取相对应的Entry

  9.            ThreadLocalMap.Entry e = map.getEntry(this);

  10.            if (e != null) {

  11.                @SuppressWarnings("unchecked")

  12.  

  13.                // 获取目标值        

  14.                T result = (T)e.value;

  15.                return result;

  16.            }

  17.        }

  18.        return setInitialValue();

  19.    }

首先通过当前线程获取所对应的成员变量ThreadLocalMap,然后通过ThreadLocalMap获取当前ThreadLocal的Entry,最后通过所获取的Entry获取目标值result。

getMap()方法可以获取当前线程所对应的ThreadLocalMap,如下:

 
  1.    ThreadLocalMap getMap(Thread t) {

  2.        return t.threadLocals;

  3.    }

set(T value)

设置当前线程的线程局部变量的值。

 
  1.    public void set(T value) {

  2.        Thread t = Thread.currentThread();

  3.        ThreadLocalMap map = getMap(t);

  4.        if (map != null)

  5.            map.set(this, value);

  6.        else

  7.            createMap(t, value);

  8.    }

获取当前线程所对应的ThreadLocalMap,如果不为空,则调用ThreadLocalMap的set()方法,key就是当前ThreadLocal,如果不存在,则调用createMap()方法新建一个,如下:

 
  1.    void createMap(Thread t, T firstValue) {

  2.        t.threadLocals = new ThreadLocalMap(this, firstValue);

  3.    }

initialValue()

返回该线程局部变量的初始值。

 
  1.    protected T initialValue() {

  2.        return null;

  3.    }

该方法定义为protected级别且返回为null,很明显是要子类实现它的,所以我们在使用ThreadLocal的时候一般都应该覆盖该方法。该方法不能显示调用,只有在第一次调用get()或者set()方法时才会被执行,并且仅执行1次。

remove()

将当前线程局部变量的值删除。

 
  1.    public void remove() {

  2.        ThreadLocalMap m = getMap(Thread.currentThread());

  3.        if (m != null)

  4.            m.remove(this);

  5.    }

该方法的目的是减少内存的占用。当然,我们不需要显示调用该方法,因为一个线程结束后,它所对应的局部变量就会被垃圾回收。

ThreadLocal为什么会内存泄漏

前面提到每个Thread都有一个ThreadLocal.ThreadLocalMap的map,该map的key为ThreadLocal实例,它为一个弱引用,我们知道弱引用有利于GC回收。当ThreadLocal的key == null时,GC就会回收这部分空间,但是value却不一定能够被回收,因为他还与Current Thread存在一个强引用关系,如下(图片来自http://www.jianshu.com/p/ee8c9dccc953):

由于存在这个强引用关系,会导致value无法回收。如果这个线程对象不会销毁那么这个强引用关系则会一直存在,就会出现内存泄漏情况。所以说只要这个线程对象能够及时被GC回收,就不会出现内存泄漏。如果碰到线程池,那就更坑了。

那么要怎么避免这个问题呢?

在前面提过,在ThreadLocalMap中的setEntry()、getEntry(),如果遇到key == null的情况,会对value设置为null。当然我们也可以显示调用ThreadLocal的remove()方法进行处理。

下面再对ThreadLocal进行简单的总结:

  • ThreadLocal 不是用于解决共享变量的问题的,也不是为了协调线程同步而存在,而是为了方便每个线程处理自己的状态而引入的一个机制。这点至关重要。

  • 每个Thread内部都有一个ThreadLocal.ThreadLocalMap类型的成员变量,该成员变量用来存储实际的ThreadLocal变量副本。

  • ThreadLocal并不是为线程保存对象的副本,它仅仅只起到一个索引的作用。它的主要木得视为每一个线程隔离一个类的实例,这个实例的作用范围仅限于线程内部。

参考: http://www.cnblogs.com/dolphin0520/p/3920407.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值