【Java 实习生】每日面试题打卡——ThreadLocal源码夺命12问,你能坚持到第几问?

  • 临近秋招,备战暑期实习,祝大家每天进步亿点点!Day10
  • 本篇总结的是 并发编程 ThreadLocal源码面试题,后续会每日更新~
  • ThreadLocal 源码深入分析参考我的往期博客:ThreadLocal源码分析_01 入门案例以及表层源码分析、ThreadLocal源码分析_02 内核(ThreadLocalMap)
  • :不理解 ThreadLocal 如何使用以及其原理的小伙伴,一定要先看上面的两篇博客哦!

在这里插入图片描述


1、面试官:请你说一说你对ThreadLocal的理解?

  • ThreadLocal 是一个全局对象,ThreadLocal 是线程范围内变量共享的解决方案;ThreadLocal 可以看作是一个map集合,key就是当前线程,value就是要存放的变量

参考回答:

ThreadLocal 对象可以给每个线程分配一份属于自己的局部变量副本,多个线程之间可以互不干扰。一般我们会重写 initalValue()方法来给当前 ThreadLocal 对象赋初始值。


2、面试官:简单描述一下JDK1.8中,ThreadLocal原理?

参考回答:

  • JDK8 中,每个线程对象 Thread 类内部都有一个成员属性 threadLocals(即ThreadLocalMap,它是一个Entry[]数组,而不是 Map 集合哦~),各个线程在调用同一个 ThreadLocal 对象的set(value)方法设置值的时候,就是往各自的 ThreadLocalMap 对象数组中新增值。
  • ThreadLocalMap (Entry[]数组)中存放的是一个个的 Entry节点,它有两个属性字段,虚引用 key(ThreadLocal对象) ,和强引用 value (当前线程变量副本的值)。

3、面试官:ThreadLocal是怎样坐到线程互不干扰的呢(线程隔离)?

参考回答:

  • 首先,每个线程 Thread 都有一份属于自己的 ThreadLoacalMap 用于存储数据。
  • 当线程访问某个 ThreadLocal 对象的 get()方法时,方法内部会检测该线程的 ThreadLoacalMap 数组(Entry[])内是否存在 key 为当前 ThreadLocal 对象的 Entry 节点。如果数组内没有对应的节点,那么当前 ThreadLocal 对象就会调用其内部的 initialValue() 方法创建一个 Entry 节点存放到 ThreadLocalMap 中去。

4、面试官:ThreadLocal 使用的 hash 是怎样计算得来的?

  • 首先,ThreadLocal 使用的 hash 并不是重写自 Object 的 hashCode() 方法,而是通过自身的nextHashCode();计算得来。代码如下:
// threadLocalHashCode ---> 用于threadLocals的桶位寻址:
// 1.线程获取threadLocal.get()时:
// 		如果是第一次在某个threadLocal对象上get,那么就会给当前线程分配一个value,
// 		这个value 和 当前的threadLocal对象被包装成为一个 entry 
// 		其中entry的 key 是threadLocal对象,value 是threadLocal对象给当前线程生成的value
// 2.这个entry存放到当前线程 threadLocals 这个map的哪个桶位呢? 
//		桶位寻址与当前 threadLocal对象的 threadLocalHashCode有关系:
// 		使用 threadLocalHashCode & (table.length - 1) 计算结果得到的位置就是当前 entry 需要存放的位置。
private final int threadLocalHashCode = nextHashCode();

// nextHashCode: 表示hash值
// 创建ThreadLocal对象时会使用到该属性:
// 每创建一个threadLocal对象时,就会使用 nextHashCode 分配一个hash值给这个对象。
private static AtomicInteger nextHashCode = new AtomicInteger();

// HASH_INCREMENT: 表示hash值的增量~
// 每创建一个ThreadLocal对象,ThreadLocal.nextHashCode的值就会增长HASH_INCREMENT(0x61c88647)。
// 这个值很特殊,它是斐波那契数也叫黄金分割数。
// hash增量为这个数字,带来的好处就是hash分布非常均匀。
private static final int HASH_INCREMENT = 0x61c88647;

/**
 * 返回一个nextHashCode的hash值:
 * 创建新的ThreadLocal对象时,使用这个方法,会给当前对象分配一个hash值。
 */
private static int nextHashCode() {
     
    // 每创建一个对象,nextHashCode计算得到的hash值就增长HASH_INCREMENT(0x61c88647)
    return nextHashCode.getAndAdd(HASH_INCREMENT);
}

/*
 * 初始化一个起始value:
 * 默认返回null,一般情况下都是需要重写这个方法的(例如第2小节的入门案例中就重写了该方法)。
 */
protected T initialValue() {
     
    return null;
}

5、面试官:为什么 ThreadLocalMap 选择去重新设计"Map",而不直接使用 JDK中的 HashMap呢?

参考回答:

  • 因为 ThreadLocal 自己重新设计的 Map,它可以把自己的 Key 限定为特有类型(ThreadLocal),这个特定类型的Key 使用的是弱引用 WeakReference>,而 HashMap 中的 Key 采用的是强引用方式。

6、面试官:ThreadLocalMap的Enrty的key为什么要设置成弱引用?

  • 之设计成弱引用的目的是为了更好地对 ThreadLocal 进行回收,当我们在代码中将 ThreadLocal 的强引用置为 null后,这时候 Entry 中的 ThreadLocal 理应被回收了,但是如果 Entrykey 被设置成强引用则该 ThreadLocal 就不能被回收,这就是将其设置成弱引用的目的。
  • 当 ThreadLocal 对象失去强引用且对象GC回收后,散列表中的与 ThreadLocal 对象相关联的 Entry#key 再次去key.get()时,拿到的是 null
  • 站在 ThreadLocalMap 角度就可以区分出哪些 Entry 是过期的,哪些 Entry 是非过期的
    • 例如:在set()方法向下寻找可用 solt 桶位的过程中,如果碰到key == null 的情况,说明当前Entry 是过期数据,这个时候可以强行占用该桶位,通过replaceStaleEntry方法执行替换过期数据的逻辑。
    • 例如:cleanSomeSlots(int i, int n)方法通过遍历桶位,也会将 key == null 过期数据清理掉。

7、面试官:ThreadLocalMap 对象是何时第一次被创建呢?

参考回答:

  • 每个线程 Thread 对象的 ThreadLocalMap 都是延迟初始化的,当我们在调用 ThreadLocal 对象的 set()get()方法时,它会检测当前线程是否已经绑定了 ThreadLocalMap,如果已经绑定,则继续执行 set()get()方法的逻辑。
  • 而如果没有,则会先创建 ThreadLocalMap 并将其绑定给 Thread 对象。

面试官:那么线程的 ThreadLocalMap 会被多次创建吗?

  • 不会,在线程的生命周期内,ThreadLocalMap 对象只会被初始化一次。

8、面试官:ThreadLocalMap 的初始化长度是多少呢?

  • 初始化时,ThreadLocalMap 容量为 16

9、面试官:上面你说初始化长度是16,那为什么初始容量要是2的N次幂数呢?

参考回答:

  • 这个设计它和 HashMap 是一样的,目的都是为了方便 hash 寻址时,得到的 index (桶位)更均匀分布,减少 hash 冲突
  • 寻址算法为:index = threadLocalHashCode & (table.length - 1)。这个算法实际就是取模运算:hash % tab.length,而计算机中直接求余运算效率不如位移运算
  • 所以源码中做了优化,使用 hash & (tab.length- 1)来寻找桶位。而实际上 hash % length 等于 hash & ( length - 1) 的前提是 length 必须为 2 的 n 次幂

例如,数组长度 tab.length = 8 的时候,3 & (8 - 1) = 3,2 & (8 - 1) = 2,桶的位置是(数组索引) 32,不同位置上,不发生 hash 碰撞。


10、面试官:ThreadLocalMap 的 扩容阈值是多少?它的扩容机制是怎样的?

参考回答:

  • 首先,ThreadLocalMap 的扩容阈值为初始容量的 2/3,当数组中,存储 Entry 节点的个数大于等于 2/3 时,会它并不会直接开始扩容。
  • 而是先调用 rehash()方法,在该方法中,全面扫描整个数组,并将数组中过期的数据(key == null)给清理掉,重新整理数组。
  • 如果重新整理数组,并将过期的数据清理后,再次重新判断数组内的 Entry 节点的个数是否达到扩容阈值的3/4,如果达到再调用真正扩容的方法resize();

面试官:那么你对 resize() 方法内部的扩容算法了解吗?

  • resize() 方法在真正执行扩容时,内部逻辑是先创建一个新的数组,新数组长度是原来数组长度的 2 倍。
  • 然后遍历旧数组,将旧数组中的数据重新按照 hash 算法迁移到新数组里面。
  • 接着重新计算出下次扩容的阈值threshold
  • 最后更新 Thread 对象的 threadLocals 字段引用,使其指向新数组。

11、面试官:请你说一下 ThreadLocal 的 get 方法的执行流程?

  • ① 首先 get() 方法中会先获取当前线程对象 t : Thread t = Thread.currentThread();
  • ② 接下来根据 t 获取其独有的 ThreadLocalMap 数组:ThreadLocalMap map = getMap(t);
  • ③ 如果 ② 获取的 map为空,则调用setInitialValue()方法,该方法内部调用 initialValue();方法获取 value,并根据 当前线程tvalue 调用 createMap(t, value); 方法创建 ThradLocalMap。
  • ④ 如果 ② 获取的 map不为空,则直接调用 ThreadLocalMap.Entry e = map.getEntry(this); 方法通过 this(当前ThreadLocal对象)从 ThreadLocalMap 中获取对应封装数据的 Entry 节点。
  • ⑤ 最终通过 T result = (T)e.value; 得到要获取的线程变量副本的值。

注意

第 ④ 步中,通过当前 ThreadLocal 对象从 ThreadLocalMap 中获取对应封装数据的 Entry 节点时,内部逻辑是需要涉及到桶位寻址 index = threadLocalHashCode & (table.length - 1),如果获取的 inde 桶位中没有目标数据,这时候会执行``nextIndex(int i, int len)方法,**线性的向前或者向后去寻找目标数据所在的桶位,直到遍历整个数组仍未找到,则返回null`**。

此外,在线性的向前、向后遍历数组寻找目标元素所在的桶位时,如果发现数据过期了(key == null),则需要调用expungeStaleEntry(i);方法进行一次探测式过期数据回收


12、面试官:请你说一下 ThreadLocal 的 set 方法的执行流程?

参考回答:

  • ① 首先,set()方法向 ThreadLocalMap 中添加数据时,也是需要根据 Key (ThreadLocal对象) 的去寻址找到要插入的桶位下标 i = key.threadLocalHashCode & (len-1);
  • ② 根据桶位下标,获取对应桶中的Enety 对象Entry e = tab[i];,如果获取的 enull ,则说明是空桶,直接讲 Key 和 Value 包装成 Entry 放入桶中即可:tab[i] = new Entry(key, value);
  • ③ 如果第 ② 步骤获取的 e 不为 null,说明不是空桶,则需要从以下三种情况考虑:
    • 如果当前桶中 Entry 的 Key 不是当前 ThreadLocal 对象,且不为 null,则调用nextIndex(int i, int len)方法线性查找下一个空桶位,并将新数据放入。
    • 如果当前桶中 Entry 的 Key 是当前 ThreadLocal 对象,则通过更新操作,将就 Entry 的 Value 值覆盖。
    • 如果如果当前桶中 Entry 的 Key 是null,则说明当前 Entry 已经过期,需要执行 替换过期数据的逻辑: replaceStaleEntry(key, value, i);

总结的面试题也挺费时间的,文章会不定时更新,有时候一天多更新几篇,如果帮助您复习巩固了知识点,还请三连支持一下,后续会亿点点的更新!

在这里插入图片描述


为了帮助更多小白从零进阶 Java 工程师,从CSDN官方那边搞来了一套 《Java 工程师学习成长知识图谱》,尺寸 870mm x 560mm,展开后有一张办公桌大小,也可以折叠成一本书的尺寸,有兴趣的小伙伴可以了解一下,当然,不管怎样博主的文章一直都是免费的~
在这里插入图片描述

你可能感兴趣的:(JDK,JUC源码,面试题,java)