由浅入深TheradLocal

摘要:
然而,当前的设计在JDK之后进行了优化。在JDK8中,ThreadLocal的设计是每个线程都维护一个ThreadLocalMap。此映射的键是ThreadLocal实例本身,value是要存储的value对象。因为以前的存储量由线程数决定,所以现在由ThreadLocal的数量决定。实际上,ThreadLocal的数量通常小于Threads的数量。线程被销毁后,相应的ThreadLocalMap也将被销毁,这可以减少内存的使用。
  • 线程并发:在多线程并发的场景下
  • 传递数据:我们可以通过ThreadLocal在同一线程,不同组件中传递公共变量
  • 线程隔离:每个线程的变量都是独立的,不会相互影响

常用方法

方法声明描述
ThreadLocal()创建ThreadLocal对象
public void set(T value)设置当前线程绑定的局部变量
public T get()获取当前线程绑定的局部变量
public void remove()移除当前线程绑定的局部变量

ThreadLocal与synchronized的区别

都是用于处理多线程并发访问变量的问题,不过两者处理问题的角度和思路不同。

synchronizedThreadLocal
原理同步机制采用“以时间换空间”的方式,只提供了一份变量,让不同的线程排队访问ThreadLocal采用“空间换时间”,为每一个线程都提供了一份变量的副本,从而实现同时访问二不相干扰
侧重点多个线程之间访问资源的同步多线程中让每个线程之间的数据相互隔离

总结:在刚刚的案例中,虽然使用ThreadLocal和synchronize都能解决问题,但是使用ThreadLocal更为合适,因为这样可以使程序拥有更高的并发性。

运用场景:事务案例

一个简单的转账场景:有一张account表,利用有两个用户Jack和Tom,用户Tom给用户Jack转账。

表:account

idnamemoney
1Tom1000
2Jack0
SQL语句
updata account set money = money - ? where name = ?;//Tom转出100
updata account set money = money + ? where name = ?;//Jack转入100

案例中的转账涉及两个数据库操作: 一个转出,一个转入。这些操作是需要具备原子性的,不可分割。不然就有可能出现数据修改异常情况。

所以这里就需要操作事务,来保证转出和转入操作具备原子性,要么同时成功,要么同时失败。

JDBC中关于事务操作的api

Connection接口的方法作用
void setAutoCommit(false)禁用事务自动提交(改为手动)
void commit();提交事务
void rollback();回滚事务

开启事务的注意点:

  • 为了保证所有的操作在同一个事务中,案例中使用的连接(connection)必须是同一个:service层开启事务的connection需要跟dao层访问数据的connection保持一致
  • 线程并发情况下,每个线程只能操作各自的connection

事务

常规方案解决事务的两个问题

1、传参:将service层的connection对象直接传递到dao层

2、加锁

常规解决方案

常规方法解决事务问题的

常规解决方案的弊端:

  • 提高代码耦合度
  • 降低程序性能

ThreadLocal方案

使用TheradLocal解决常规方法的弊端

修改JdbcUtils类

TheradLocal_remove方法

ThreadLocal方案有两个突出的优势:

  • 传递数据:保存每个线程绑定的数据,在需要的方法可以直接获取,避免参数直接传递带来的代码耦合问题
  • 线程隔离:各线程之间的数据互相隔离却又具备并发性,避免同步方式带来的性能损失

ThreadLocal实现

常见的误解

如果我们不去看源代码的话,可能会猜测ThreadLocal是这样子设计的:每个ThreadLocal都创建一个Map,然后用线程作为Map的key,要存储的局部变量作为Map的value,这样就能达到各个线程的局部变量隔离的效果。这是最简单的设计方法,JDK最早期的ThreadLocal 确实是这样设计的,但现在早已不是了。

ThreadLocal实现

现在的设计

但是,JDK后面优化了设计方案,在JDK8中 ThreadLocal的设计是:每个Thread维护一个ThreadLocalMap,这个Map的key是ThreadLocal实例本身,value才是真正要存储的值Object。

具体的过程是这样的:

  • 每个Thread线程内部都有一个Map (ThreadLocalMap)
  • Map里面存储ThreadLocal对象(key)和线程的变量副本(value)
  • Thread内部的Map是由ThreadLocal维护的,由ThreadLocal负责向map获取和设置线程的变量值。
  • 对于不同的线程,每次获取副本值时,别的线程并不能获取到当前线程的副本值,形成了副本的隔离,互不干扰。
这样设计的好处

这个设计与我们一开始说的设计刚好相反,这样设计有如下两个优势:

  • 这样设计之后每个Map存储的Entry数量就会变少。因为之前的存储数量由Thread的数量决定,现在是由ThreadLocal的数量决定。在实际运用当中,往往ThreadLocal的数量要少于Thread的数量。
  • 当Thread销毁之后,对应的ThreadLocalMap也会随之销毁,能减少内存的使用。

ThreadLocal的核心方法源码

方法声明描述
protected T initialValue()返回当前线程局部变量的初始值
public void set(T value)设置当前线程绑定的局部变量
public T get()获取当前线程绑定的局部变量
public void remove()移除当前线程绑定的局部变量
set方法

(1)、源码和对应的中文注释

/**
     * 设置当前线程对应的ThreadLocal的值
     *
     * @param value 将要保存在当前线程对应的ThreadLocal的值
     */
public void set(T value) {
    // 获取当前线程对象
    Thread t = Thread.currentThread();
    // 获取此线程对象中维护的ThreadLocalMap对象
    ThreadLocalMap map = getMap(t);
    // 判断map是否存在
    if (map != null)
        // 存在则调用map.set设置此实体entry
        map.set(this, value);
    else
        // 1)当前线程Thread 不存在ThreadLocalMap对象
        // 2)则调用createMap进行ThreadLocalMap对象的初始化
        // 3)并将 t(当前线程)和value(t对应的值)作为第一个entry存放至ThreadLocalMap中
        createMap(t, value);
}

/**
     * 获取当前线程Thread对应维护的ThreadLocalMap 
     * 
     * @param  t the current thread 当前线程
     * @return the map 对应维护的ThreadLocalMap 
     */
ThreadLocalMap getMap(Thread t) {
    return t.threadLocals;
}
/**
     *创建当前线程Thread对应维护的ThreadLocalMap 
     *
     * @param t 当前线程
     * @param firstValue 存放到map中第一个entry的值
     */
void createMap(Thread t, T firstValue) {
    //这里的this是调用此方法的threadLocal
    t.threadLocals = new ThreadLocalMap(this, firstValue);
}

(2)、代码执行流程

A. 首先获取当前线程,并根据当前线程获取一个Map

B. 如果获取的Map不为空,则将参数设置到Map中(当前ThreadLocal的引用作为key)

C. 如果Map为空,则给该线程创建 Map,并设置初始值

get方法

(1)、源码和对应的中文注释

/**
* 返回当前线程中保存ThreadLocal的值
* 如果当前线程没有此ThreadLocal变量,
* 则它会通过调用{@link #initialValue} 方法进行初始化值
*
* @return 返回当前线程对应此ThreadLocal的值
*/
public T get() {
    // 获取当前线程对象
    Thread t = Thread.currentThread();
    // 获取此线程对象中维护的ThreadLocalMap对象
    ThreadLocalMap map = getMap(t);
    // 如果此map存在
    if (map != null) {
        // 以当前的ThreadLocal 为 key,调用getEntry获取对应的存储实体e
        ThreadLocalMap.Entry e = map.getEntry(this);
        // 对e进行判空 
        if (e != null) {
            @SuppressWarnings("unchecked")
            // 获取存储实体 e 对应的 value值
            // 即为我们想要的当前线程对应此ThreadLocal的值
            T result = (T)e.value;
            return result;
        }
    }
    /*
    初始化 : 有两种情况有执行当前代码
    第一种情况: map不存在,表示此线程没有维护的ThreadLocalMap对象
    第二种情况: map存在, 但是没有与当前ThreadLocal关联的entry
    */
    return setInitialValue();
}

/**
* 初始化
*
* @return the initial value 初始化后的值
*/
private T setInitialValue() {
    // 调用initialValue获取初始化的值
    // 此方法可以被子类重写, 如果不重写默认返回null
    T value = initialValue();
    // 获取当前线程对象
    Thread t = Thread.currentThread();
    // 获取此线程对象中维护的ThreadLocalMap对象
    ThreadLocalMap map = getMap(t);
    // 判断map是否存在
    if (map != null)
        // 存在则调用map.set设置此实体entry
        map.set(this, value);
    else
        // 1)当前线程Thread 不存在ThreadLocalMap对象
        // 2)则调用createMap进行ThreadLocalMap对象的初始化
        // 3)并将 t(当前线程)和value(t对应的值)作为第一个entry存放至ThreadLocalMap中
        createMap(t, value);
    // 返回设置的值value
    return value;
}

(2)、代码执行流程

A. 首先获取当前线程, 根据当前线程获取一个Map

B. 如果获取的Map不为空,则在Map中以ThreadLocal的引用作为key来在Map中获取对应的Entry e,否则转到D

C. 如果e不为null,则返回e.value,否则转到D

D. Map为空或者e为空,则通过initialValue函数获取初始值value,然后用ThreadLocal的引用和value作为firstKey和firstValue创建一个新的Map

总结: 先获取当前线程的 ThreadLocalMap 变量,如果存在则返回值,不存在则创建并返回初始值。

remove方法

(1)、源码和对应的中文注释

 /**
  * 删除当前线程中保存的ThreadLocal对应的实体entry
  */
public void remove() {
    // 获取当前线程对象中维护的ThreadLocalMap对象
    ThreadLocalMap m = getMap(Thread.currentThread());
    // 如果此map存在
    if (m != null)
        // 存在则调用map.remove
        // 以当前ThreadLocal为key删除对应的实体entry
        m.remove(this);
}

(2)、代码执行流程

A. 首先获取当前线程,并根据当前线程获取一个Map

B. 如果获取的Map不为空,则移除当前ThreadLocal对象对应的entry

initialValue方法
/**
  * 返回当前线程对应的ThreadLocal的初始值
  
  * 此方法的第一次调用发生在,当线程通过get方法访问此线程的ThreadLocal值时
  * 除非线程先调用了set方法,在这种情况下,initialValue 才不会被这个线程调用。
  * 通常情况下,每个线程最多调用一次这个方法。
  *
  * <p>这个方法仅仅简单的返回null {@code null};
  * 如果程序员想ThreadLocal线程局部变量有一个除null以外的初始值,
  * 必须通过子类继承{@code ThreadLocal} 的方式去重写此方法
  * 通常, 可以通过匿名内部类的方式实现
  *
  * @return 当前ThreadLocal的初始值
  */
protected T initialValue() {
    return null;
}

此方法的作用是 返回该线程局部变量的初始值。

(1) 这个方法是一个延迟调用方法,从上面的代码我们得知,在set方法还未调用而先调用了get方法时才执行,并且仅执行1次。

(2)这个方法缺省实现直接返回一个null。

(3)如果想要一个除null之外的初始值,可以重写此方法。(备注: 该方法是一个protected的方法,显然是为了让子类覆盖而设计的)

ThreadLocalMap源码分析

在分析ThreadLocal方法的时候,我们了解到ThreadLocal的操作实际上是围绕ThreadLocalMap展开的。ThreadLocalMap的源码相对比较复杂,我们从以下三个方面进行讨论。

基本结构

ThreadLocalMap是ThreadLocal的内部类,没有实现Map接口,用独立的方式实现了Map的功能,其内部的Entry也是独立实现

![TheradLocal体系结构]由浅入深TheradLocal第7张

(1)成员变量

/**
* 初始容量 —— 必须是2的整次幂
*/
private static final int INITIAL_CAPACITY = 16;

/**
* 存放数据的table,Entry类的定义在下面分析
* 同样,数组长度必须是2的整次幂。
*/
private Entry[] table;

/**
* 数组里面entrys的个数,可以用于判断table当前使用量是否超过阈值。
*/
private int size = 0;

/**
* 进行扩容的阈值,表使用量大于它的时候进行扩容。
*/
private int threshold; // Default to 0

跟HashMap类似,INITIAL_CAPACITY代表这个Map的初始容量;table 是一个Entry 类型的数组,用于存储数据;size 代表表中的存储数目; threshold 代表需要扩容时对应 size 的阈值。

(2)存储结构 - Entry

/*
 * Entry继承WeakReference,并且用ThreadLocal作为key.
 * 如果key为null(entry.get() == null),意味着key不再被引用,
 * 因此这时候entry也可以从table中清除。
 */
static class Entry extends WeakReference<ThreadLocal<?>> {
    /** The value associated with this ThreadLocal. */
    Object value;

    Entry(ThreadLocal<?> k, Object v) {
        super(k);
        value = v;
    }
}

在ThreadLocalMap中,也是用Entry来保存K-V结构数据的。不过Entry中的key只能是ThreadLocal对象,这点在构造方法中已经限定死了。

另外,Entry继承WeakReference,也就是key(ThreadLocal)是弱引用,其目的是将ThreadLocal对象的生命周期和线程生命周期解绑。

弱引用和内存泄露

有些程序员在使用ThreadLocal的过程中会发现有内存泄漏的情况发生,就猜测这个内存泄漏跟Entry中使用了弱引用的key有关系。这个理解其实是不对的。

我们先来回顾这个问题中涉及的几个名词概念,再来分析问题。

(1) 内存泄漏相关概念

  • Memory overflow:内存溢出,没有足够的内存提供申请者使用。
  • Memory leak: 内存泄漏是指程序中已动态分配的堆内存由于某种原因程序未释放或无法释放,造成系统内存的浪费,导致程序运行速度减慢甚至系统崩溃等严重后果。内存泄漏的堆积终将导致内存溢出。

(2) 弱引用相关概念

Java中的引用有4种类型: 强、软、弱、虚。当前这个问题主要涉及到强引用和弱引用:

强引用(“Strong” Reference),就是我们最常见的普通对象引用,只要还有强引用指向一个对象,就能表明对象还“活着”,垃圾回收器就不会回收这种对象。

弱引用(WeakReference),垃圾回收器一旦发现了只具有弱引用的对象,不管当前内存空间足够与否,都会回收它的内存。

(3) 如果key使用强引用

假设ThreadLocalMap中的key使用了强引用,那么会出现内存泄漏吗?

此时ThreadLocal的内存图(实线表示强引用)如下:

TheradLocal内存图

假设在业务代码中使用完ThreadLocal ,threadLocal Ref被回收了。

但是因为threadLocalMap的Entry强引用了threadLocal,造成threadLocal无法被回收。

在没有手动删除这个Entry以及CurrentThread依然运行的前提下,始终有强引用链 threadRef->currentThread->threadLocalMap->entry,Entry就不会被回收(Entry中包括了ThreadLocal实例和value),导致Entry内存泄漏。

也就是说,ThreadLocalMap中的key使用了强引用, 是无法完全避免内存泄漏的。

(5)如果key使用弱引用

那么ThreadLocalMap中的key使用了弱引用,会出现内存泄漏吗?

此时ThreadLocal的内存图(实线表示强引用,虚线表示弱引用)如下:

TheradLocal内存图弱引用

同样假设在业务代码中使用完ThreadLocal ,threadLocal Ref被回收了。

由于ThreadLocalMap只持有ThreadLocal的弱引用,没有任何强引用指向threadlocal实例, 所以threadlocal就可以顺利被gc回收,此时Entry中的key=null。

但是在没有手动删除这个Entry以及CurrentThread依然运行的前提下,也存在有强引用链 threadRef->currentThread->threadLocalMap->entry -> value ,value不会被回收, 而这块value永远不会被访问到了,导致value内存泄漏。

也就是说,ThreadLocalMap中的key使用了弱引用, 也有可能内存泄漏。

(6)出现内存泄漏的真实原因

比较以上两种情况,我们就会发现,内存泄漏的发生跟ThreadLocalMap中的key是否使用弱引用是没有关系的。那么内存泄漏的的真正原因是什么呢?

细心的同学会发现,在以上两种内存泄漏的情况中,都有两个前提:

  1. 没有手动删除这个Entry
  2. CurrentThread依然运行

第一点很好理解,只要在使用完ThreadLocal,调用其remove方法删除对应的Entry,就能避免内存泄漏。

第二点稍微复杂一点, 由于ThreadLocalMap是Thread的一个属性,被当前线程所引用,所以它的生命周期跟Thread一样长。那么在使用完ThreadLocal之后,如果当前Thread也随之执行结束,ThreadLocalMap自然也会被gc回收,从根源上避免了内存泄漏。

综上,ThreadLocal内存泄漏的根源是:由于ThreadLocalMap的生命周期跟Thread一样长,如果没有手动删除对应key就会导致内存泄漏。

(7) 为什么使用弱引用

根据刚才的分析, 我们知道了: 无论ThreadLocalMap中的key使用哪种类型引用都无法完全避免内存泄漏,跟使用弱引用没有关系。

要避免内存泄漏有两种方式:

使用完ThreadLocal,调用其remove方法删除对应的Entry

使用完ThreadLocal,当前Thread也随之运行结束

相对第一种方式,第二种方式显然更不好控制,特别是使用线程池的时候,线程结束是不会销毁的。

也就是说,只要记得在使用完ThreadLocal及时的调用remove,无论key是强引用还是弱引用都不会有问题。那么为什么key要用弱引用呢?

事实上,在ThreadLocalMap中的set/getEntry方法中,会对key为null(也即是ThreadLocal为null)进行判断,如果为null的话,那么是会对value置为null的。

这就意味着使用完ThreadLocal,CurrentThread依然运行的前提下,就算忘记调用remove方法,弱引用比强引用可以多一层保障:弱引用的ThreadLocal会被回收,对应的value在下一次ThreadLocalMap调用set,get,remove中的任一方法的时候会被清除,从而避免内存泄漏。

hash冲突的解决

hash冲突的解决是Map中的一个重要内容。我们以hash冲突的解决为线索,来研究一下ThreadLocalMap的核心源码。

hash冲突的解决是Map中的一个重要内容。我们以hash冲突的解决为线索,来研究一下ThreadLocalMap的核心源码。

(1) 首先从ThreadLocal的set() 方法入手

public void set(T value) {
    Thread t = Thread.currentThread();
    ThreadLocal.ThreadLocalMap map = getMap(t);
    if (map != null)
        //调用了ThreadLocalMap的set方法
        map.set(this, value);
    else
        createMap(t, value);
}
ThreadLocal.ThreadLocalMap getMap(Thread t) {
    return t.threadLocals;
}
void createMap(Thread t, T firstValue) {
    //调用了ThreadLocalMap的构造方法
    t.threadLocals = new ThreadLocal.ThreadLocalMap(this, firstValue);
}

这个方法我们刚才分析过, 其作用是设置当前线程绑定的局部变量 :

A. 首先获取当前线程,并根据当前线程获取一个Map

B. 如果获取的Map不为空,则将参数设置到Map中(当前ThreadLocal的引用作为key)

(这里调用了ThreadLocalMap的set方法)

C. 如果Map为空,则给该线程创建 Map,并设置初始值

(这里调用了ThreadLocalMap的构造方法)

这段代码有两个地方分别涉及到ThreadLocalMap的两个方法, 我们接着分析这两个方法。

(2)构造方法ThreadLocalMap(ThreadLocal firstKey, Object firstValue)

 /*
  * firstKey : 本ThreadLocal实例(this)
  * firstValue : 要保存的线程本地变量
  */
ThreadLocalMap(ThreadLocal<?> firstKey, Object firstValue) {
    //初始化table
    table = new ThreadLocal.ThreadLocalMap.Entry[INITIAL_CAPACITY];
    //计算索引(重点代码)
    int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1);
    //设置值
    table[i] = new ThreadLocal.ThreadLocalMap.Entry(firstKey, firstValue);
    size = 1;
    //设置阈值
    setThreshold(INITIAL_CAPACITY);
}

构造函数首先创建一个长度为16的Entry数组,然后计算出firstKey对应的索引,然后存储到table中,并设置size和threshold。

重点分析int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1)

a. 关于firstKey.threadLocalHashCode

private final int threadLocalHashCode = nextHashCode();
    
private static int nextHashCode() {
    return nextHashCode.getAndAdd(HASH_INCREMENT);
}
//AtomicInteger是一个提供原子操作的Integer类,通过线程安全的方式操作加减,适合高并发情况下的使用
private static AtomicInteger nextHashCode =  new AtomicInteger();
//特殊的hash值
private static final int HASH_INCREMENT = 0x61c88647;

这里定义了一个AtomicInteger类型,每次获取当前值并加上HASH_INCREMENT,HASH_INCREMENT = 0x61c88647,这个值跟斐波那契数列(黄金分割数)有关,其主要目的就是为了让哈希码能均匀的分布在2的n次方的数组里, 也就是Entry[] table中,这样做可以尽量避免hash冲突。

b. 关于& (INITIAL_CAPACITY - 1)

计算hash的时候里面采用了hashCode & (size - 1)的算法,这相当于取模运算hashCode % size的一个更高效的实现。正是因为这种算法,我们要求size必须是2的整次幂,这也能保证在索引不越界的前提下,使得hash发生冲突的次数减小。

(3) ThreadLocalMap中的set方法

private void set(ThreadLocal<?> key, Object value) {
    ThreadLocal.ThreadLocalMap.Entry[] tab = table;
    int len = tab.length;
    //计算索引(重点代码,刚才分析过了)
    int i = key.threadLocalHashCode & (len-1);
    /**
         * 使用线性探测法查找元素(重点代码)
         */
    for (ThreadLocal.ThreadLocalMap.Entry e = tab[i];
         e != null;
         e = tab[i = nextIndex(i, len)]) {
        ThreadLocal<?> k = e.get();
        //ThreadLocal 对应的 key 存在,直接覆盖之前的值
        if (k == key) {
            e.value = value;
            return;
        }
        // key为 null,但是值不为 null,说明之前的 ThreadLocal 对象已经被回收了,
        // 当前数组中的 Entry 是一个陈旧(stale)的元素
        if (k == null) {
            //用新元素替换陈旧的元素,这个方法进行了不少的垃圾清理动作,防止内存泄漏
            replaceStaleEntry(key, value, i);
            return;
        }
    }

    //ThreadLocal对应的key不存在并且没有找到陈旧的元素,则在空元素的位置创建一个新的Entry。
    tab[i] = new Entry(key, value);
    int sz = ++size;
    /**
             * cleanSomeSlots用于清除那些e.get()==null的元素,
             * 这种数据key关联的对象已经被回收,所以这个Entry(table[index])可以被置null。
             * 如果没有清除任何entry,并且当前使用量达到了负载因子所定义(长度的2/3),那么进行				 * rehash(执行一次全表的扫描清理工作)
             */
    if (!cleanSomeSlots(i, sz) && sz >= threshold)
        rehash();
}

 /**
 * 获取环形数组的下一个索引
 */
private static int nextIndex(int i, int len) {
    return ((i + 1 < len) ? i + 1 : 0);
}

代码执行流程:

A. 首先还是根据key计算出索引 i,然后查找i位置上的Entry,

B. 若是Entry已经存在并且key等于传入的key,那么这时候直接给这个Entry赋新的value值,

C. 若是Entry存在,但是key为null,则调用replaceStaleEntry来更换这个key为空的Entry,

D. 不断循环检测,直到遇到为null的地方,这时候要是还没在循环过程中return,那么就在这个null的位置新建一个Entry,并且插入,同时size增加1。

最后调用cleanSomeSlots,清理key为null的Entry,最后返回是否清理了Entry,接下来再判断sz 是否>= thresgold达到了rehash的条件,达到的话就会调用rehash函数执行一次全表的扫描清理。

重点分析 : ThreadLocalMap使用线性探测法来解决哈希冲突的。

该方法一次探测下一个地址,直到有空的地址后插入,若整个空间都找不到空余的地址,则产生溢出。

举个例子,假设当前table长度为16,也就是说如果计算出来key的hash值为14,如果table[14]上已经有值,并且其key与当前key不一致,那么就发生了hash冲突,这个时候将14加1得到15,取table[15]进行判断,这个时候如果还是冲突会回到0,取table[0],以此类推,直到可以插入。

按照上面的描述,可以把Entry[] table看成一个环形数组。

如果我想共享线程的TheradLocal数据怎么办?

jdk提供了一个InheritableThreadLocal类是TheradLocal的子类可以实现,父子线程之间共享数据。

public static void main(String[] args) {    
final ThreadLocal threadLocal = new InheritableThreadLocal();       
threadLocal.set("我是父线程中设置的数据");    
Thread t = new Thread() {        
    @Override        
    public void run() {            
      super.run();            
      System.out.println( "我是子线程,我来试着获取 " + threadLocal.get());        
    }    
  };          
  t.start(); 
} 

执行结果

InheritableTheradLoacl

在子线程中拿到了父线程中设置的数据了

实现原理

Thread源码

Therad类中出来theradLocals变量还有一个inheritableTheeadLocals变量

如何实现在父子线程之间传递的

再线程的init方法中,如果inheritThreadLocalsture并且父线程的inheritableTheradLocals也存在,那么就把父线程的inheritableTheradLocals给当前线程的inheritableTheradLocals,这样就实现了父子线程之间共享TheradLocal变量

面试题

1、简单说一说什么是TheradLoacl

使用ThreadLoacl可以让每个线程拥有自己的局部变量通过set/get来对这个局部变量进行操作,不同线程之间是相互隔离的。

两点好处:1、可以实现线程间数据隔离;2、可以实现同一个线程间不同层次之间的数据传递

2、在项目中有用到过TheradLoacl吗?

这个平时用的比较少,不过还真的用到过。

我们项目中有一个DateUtils工具类,里面封装了一些常用的时间格式化方法,实现是使用的SimpleDateFormat。由于SimpleDateFormat是线程不安全的:它里面有一个calendar属性是线程共享的,当多个线程同时操作calendar属性时就会出现线程不安全的情况。

为了解决这个问题,有三种方案:1、加锁(性能不好);2、每次用到时就new一个(不够优雅:浪费空间);3、为每个线程设置一线程私有的SimpleDateFormat对象。

我们项目采用的是第三种方法,而刚好可以用ThreadLoacl来解决这个问题:ThreadLoacl来保证每个线程都有一个私有的SimpleDateFormat对象从而优雅的解决了线程SimpleDateFormat的不安全问题。

在工作场景用的的确不多,不过我觉得ThreadLocal的最经典应用场景是在事务中:在同一个事务(service层和dao层)中要保证使用的是同一个connection,而且还要保证当前使用的connection不能被其他线程使用。刚好ThreadLocal可以满足这两个条件:在事务开始之后,第一次需要用到connection时从连接池(ds.getConnection())中获取一个connection对象,并通过set()方法将其保存到TheradLoacl中,当再次需要用的connection的时候再调用get()拿到同一个connection对象,这样即实现了connection对象在service层和dao层的传递,又实现了不同线程之间的数据隔离。

3、TheradLoacl底层原理是什么?jdk8前后有什么区别

jdk8之前:TheradLoacl中有一个TheradLoaclMap,Therad对象充当Empty的key,线程私有的变量作为Empty的value。

这样有一些问题:

  • 同一个线程有多个想要线程私有的变量,作为key存储的当前线程就会发生冲突,需要做一些”手脚“,不然无法同时保存多个变量
  • 当并发情况很大的情况下,线程数量过多,会导致map过大,浪费空间

jdk8以后:每一个Therad中有一个TheradLoaclMap,TheradLoacl对象充当Empty的key,线程私有的变量作为Empty的value

解决了什么问题:

  • 每个线程维护自己的TheradLoaclMap对象不会导致map过大
  • 同一个线程有多个TheradLoacl对象也不会存在key冲突的问题
  • TheradLoaclMap随着线程的创建而创建,随着线程的销毁而销毁,节省了内存空间
4、TheradLoacl有什么问题?(为什么会出现内存泄露)
  • 什么是内存泄露

    • 内存溢出:我想在堆内存中开辟空间,但是堆内存中没有多余的空间可以给我,就会抛出OutOfMemoryError,这就叫做内存溢出

    • 内存泄露:指程序中有大量的你不用的对象,但是又无法被系统(GC)回收,然后推挤过多导致内存溢出。

  • TheradLoacl为什么会出现内存泄露

    • 在TheradLoacl的内存结构中,有两条引用链:

      • 1、TheradLocal Ref --> theradlocal对象;
      • 2、Therad Ref --> therad对象 --> theradLocalMap对象 key--> theradlocal对象/ vulue --> obj
    • 当TheradLocal使用完之后,但是当前线程还在执行(线程池会复用线程),然后由于引用链2的存在,导致当前线程的TheradLocalMap中的Empty无法被释放,也就是Empty中key指向的堆内存中的theradLocal对象和value指向的线程私有对象(obj)无法被释放。当程序中大量存在这种情况就会发生内存溢出。

    • 想要避免内存溢出就一定要手动调用remove()方法,它会将对应的Empty删除。

    • 现在的TheradLoacl发生内存溢出是一个小概率的事件,jdk的设计者再设计TheradLoacl时为内存溢出提供了一层保护机制:

      • 他先是将引用链2中Empty中key指向TheradLoacl对象的引用设置为弱引用,这样当引用链中的强引用断开之后,只要发生了GC就可以将theradLoacl对象回收掉
      • 然后在set()/get()/remove()方法中都会将Map中中key为null的Empty的value置为null
      • 这样就将不用的theradlocal对象和他对应的对象回收掉了,虽然说jdk的设计者再设计提供了一层保护机制,但还是应该手动的调用remove()方法。
5、Java中的引用类型有哪些?
  • 强引用:通过new出来的对象都是强引用对象,当内存空间不足时,jvm宁可抛出OutOfMemoryError异常也不会回收他
  • 软引用:需要继承sortReference来实现,当内存不足时,会将其回收
  • 弱引用:需要继承weakReference来实现,就算内存很充足,只要发生了GC就会将其回收掉
  • 虚引用:需要继承phantomReference来实现,意思已经很明确了,就是形同虚设一样,主要引用于记录对象什么时候回收。虚引用结合引用队列(ReferenceQueue)来实现当对象被回收时,然后发送一个通知,这就可以知道这个对象是什么时候被回收的了
6、为什么建议使用static来修饰TheradLoacl

因为TheradLocalMap是Therad来维护的,在同一个线程中没必要为每一个对象都创建一个Theradlocal变量,虽然这样程序也不会出现任何异常,但是在map中会出现不同的theradlocal对象对应同一个线程私有变量的情况。为了节省内存建议使用static来修饰TheradLoacl

7、如果我想共享线程的ThreadLocal数据怎么办?

JDK提供了一个InheritThreadLocal类是ThreadLocal类的子类,ThreadLocal thradlocal= new InheritThreadLocal();然后就可以实现父子线程之间的数据共享。比如在子线程中可以get()到父线程set()的数据。

实现原理:

  • 每一个线程除了维护一个TheradLocalMap 类型的 theradLocals属性外还维护了一个TheradLocalMap类型的inheritableTheradLocals属性,这个属性和线程间的数据传递有关。

  • 在线程创建的时候会调用init()方法,然后在init()方法中有一个if语句会判断父类线程的inheritableTheradLocals是否为空,如果不为空,会将父线程的inheritableTheradLocals复制给子线程。

参考链接

免责声明:文章转载自《由浅入深TheradLocal》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇Android2.2快速入门使用JSmooth制造java jar文件可以运行exe文件教程图像下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

Oracle锁表查询和解锁方法

数据库操作语句的分类 DML:数据操纵语言,关键字:Insert、delete、update DCL:数据库控制语言 ,关键字:grant、remove DQL:数据库查询语言,关键字:select DDL:数据库模式定义语言,关键字:create oracle表在什么情况下会被锁住 DML锁又可以分为,行锁、表锁、死锁 行锁:当事务执行数据库插入、更...

Java多线程之控制执行顺序

 概念: 多线程在并发环境中的正常执行顺序是随机无序的,并不能按照期盼的结果输出。                因为启动一个线程时,线程并不会立即执行,而是等待CPU的资源调度,CPU能调度哪个线程,是通过多种复杂的算法计算而来。 (一)Thread的join()方法来解决这个问题        一般在多线程编程时,需要控制线程的先后执行顺序,比如:主线...

Android中AsyncTask的简单用法

转自:http://blog.csdn.net/cjjky/article/details/6684959 在开发Android移动客户端的时候往往要使用多线程来进行操作,我们通常会将耗时的操作放在单独的线程执行,避免其占用主线程而给用户带来不好的用户体验。但是在子线程中无法去操作主线程(UI 线程),在子线程中操作UI线程会出现错误。因此android提...

数据库连接池SQLAlchemy中多线程安全问题

数据库连接池SQLAlchemy中多线程安全的问题 1、数据库模块model.py from sqlalchemy.orm import scoped_session from sqlalchemy.orm import sessionmaker session_factory = sessionmaker(bind=some_engine) Ses...

ThreadLocal工具类 隔离思想

ThreadLocal不是用来解决共享对象的多线程访问问题的, 通过ThreadLocal的set()方法设置到线程的ThreadLocal.ThreadLocalMap里的是是线程自己要存储的对象,其他线程不需要去访问,也是访问不到的。各个线程中的ThreadLocal.ThreadLocalMap以及ThreadLocal.ThreadLocal中的值...

C#中回滚TransactionScope的使用方法和原理

TransactionScope只要一个操作失败,它会自动回滚,Complete表示事务完成  实事上,一个错误的理解就是Complete()方法是提交事务的,这是错误的,事实上,它的作用的表示本事务完成,它一般放在try{}的结尾处,不用判断前台操作是否成功,如果不成功,它会自己回滚。 在.net 1.1的时代,还没有TransactionScope类...