Java高频面试之并发编程-10

hello啊，各位观众姥爷们！！！本baby今天来报道了！哈哈哈哈哈嗝🐶

面试官：ThreadLocalMap 怎么解决 Hash 冲突的？

ThreadLocalMap 是 ThreadLocal 的核心实现，它采用 开放地址法（Open Addressing）中的线性探测（Linear Probing） 来解决哈希冲突。与 HashMap 的拉链法（链式地址法）不同，ThreadLocalMap 直接在数组上顺序查找下一个可用槽位。以下是其详细实现机制：

1. 哈希冲突解决原理

(1) 数据结构

底层数组：Entry[] table，每个 Entry 以 ThreadLocal<?> 为键（弱引用），存储线程本地变量的值。
初始容量：默认 16，扩容阈值为数组长度的 2/3。

(2) 哈希函数

哈希计算：
ThreadLocal 实例的 threadLocalHashCode 通过原子递增生成，确保哈希分布均匀。

private final int threadLocalHashCode = nextHashCode();
private static AtomicInteger nextHashCode = new AtomicInteger();
private static final int HASH_INCREMENT = 0x61c88647; // 黄金分割数
private static int nextHashCode() {return nextHashCode.getAndAdd(HASH_INCREMENT);
}

索引计算：
通过 hashCode & (table.length - 1) 确定初始槽位（类似 HashMap 的取模优化）。

(3) 线性探测流程

当插入或查找键值对时，若目标槽位已被占用（键不同或哈希冲突），则按顺序向后查找空槽位（到数组末尾后折返到头部）。

操作步骤：

计算初始索引：i = key.threadLocalHashCode & (len - 1)。
遍历数组：
- 若 Entry[i] 的键匹配 → 直接操作该槽位。
- 若 Entry[i] 的键为 null（弱引用被回收）→ 触发清理（expungeStaleEntry）。
- 若 Entry[i] 被占用但键不匹配 → i = nextIndex(i, len)（即 i+1，超过长度则回绕到 0）。
找到空槽或完成清理：插入新键值对或更新现有值。

2. 关键代码解析（以 `set()` 方法为例）

private void set(ThreadLocal<?> key, Object value) {Entry[] tab = table;int len = tab.length;int i = key.threadLocalHashCode & (len - 1); // 初始索引// 线性探测查找合适槽位for (Entry e = tab[i]; e != null; e = tab[i = nextIndex(i, len)]) {ThreadLocal<?> k = e.get();if (k == key) { // 键匹配，直接更新值e.value = value;return;}if (k == null) { // 遇到过期 Entry（键被回收），替换过期槽位replaceStaleEntry(key, value, i);return;}}// 找到空槽位，插入新 Entrytab[i] = new Entry(key, value);int sz = ++size;// 清理部分过期 Entry 后若仍超过阈值，触发扩容if (!cleanSomeSlots(i, sz) && sz >= threshold)rehash();
}

3. 线性探测的优缺点

优点	缺点
节省内存：无链表指针开销	冲突较多时查找效率下降（最差 O(n)）
适合小规模数据（ThreadLocalMap 通常条目少）	扩容成本高（需全量 rehash）
内存局部性好（数组连续遍历）	需要处理过期 Entry 清理逻辑

4. 清理过期 Entry（解决内存泄漏）

在线性探测过程中，若遇到键为 null 的过期 Entry，会触发清理：

expungeStaleEntry(int staleSlot)：
- 清理当前过期槽位，并向后探测，重新哈希未过期的 Entry，直到遇到空槽。
- 解决因哈希冲突导致过期 Entry 残留的问题。
cleanSomeSlots()：
- 启发式清理，扫描 log(n) 次，平衡清理开销与内存释放。

5. 示例场景

假设 ThreadLocalMap 的数组长度为 8，插入两个键 A 和 B，其哈希计算后的初始索引均为 3：

插入键 A：直接放入索引 3。
插入键 B：
- 索引 3 已被 A 占用，向后探测到索引 4，放入 B。
查找键 B：
- 计算初始索引 3，发现是 A → 继续探测索引 4，找到 B。

6. 对比 HashMap 的拉链法

特性	ThreadLocalMap（开放地址法）	HashMap（拉链法）
冲突解决	线性探测，顺序查找空槽	链表或红黑树链接冲突节点
内存占用	更紧凑（无链表指针）	需要额外指针存储链表/树结构
适用场景	预期条目少，内存敏感	高并发、大数据量
扩容机制	全量 rehash，成本高	链表拆分，增量迁移