面试官最爱问的HashMap死循环问题，我用动画和代码带你彻底搞懂（JDK 1.7版）-编程阁

深入剖析JDK 1.7 HashMap死循环：从原理到复现的完整指南

在Java面试中，HashMap的线程安全问题几乎是必问的经典题目。特别是JDK 1.7版本中存在的死循环问题，不仅考察候选人对集合底层实现的理解，更是检验多线程编程基本功的试金石。本文将带你从源码层面彻底理解这个问题的成因，并通过代码复现和可视化分析，掌握在面试中清晰阐述这一问题的技巧。

1. HashMap基础与线程安全背景

HashMap作为Java集合框架中最常用的数据结构之一，其内部实现经历了多个版本的演进。JDK 1.7版本采用数组+链表的实现方式，当哈希冲突发生时，新的元素会被插入到链表的头部——这就是所谓的"头插法"。

为什么HashMap不是线程安全的？这个问题看似简单，但要回答到位需要理解几个关键点：

结构性修改：当多个线程同时进行put操作导致扩容时，内部的链表结构会被修改
可见性问题：一个线程的修改可能不会立即被其他线程看到
原子性缺失：扩容过程中的操作不是原子性的，可能被其他线程中断

在单线程环境下，头插法工作得很好，它只需要简单的指针操作：

// 典型的头插法实现 newNode.next = currentHead; bucket[index] = newNode;

但在多线程环境下，这种看似简单的操作却可能引发灾难性的后果。理解这个问题需要我们先掌握HashMap扩容的基本机制。

2. 扩容机制与transfer方法解析

HashMap在达到负载因子(默认0.75)阈值时会进行扩容，这个过程主要涉及两个步骤：

创建新的Entry数组（通常是原数组大小的2倍）
将旧数组中的元素重新哈希到新数组中

关键就在于第二步的transfer方法，让我们看看JDK 1.7中的实现：

void transfer(Entry[] newTable) { Entry[] src = table; int newCapacity = newTable.length; for (int j = 0; j < src.length; j++) { Entry<K,V> e = src[j]; if (e != null) { src[j] = null; do { Entry<K,V> next = e.next; int i = indexFor(e.hash, newCapacity); e.next = newTable[i]; newTable[i] = e; e = next; } while (e != null); } } }

这个方法的核心逻辑可以用以下步骤描述：

遍历旧数组中的每个桶
对每个桶中的链表元素，计算其在新数组中的位置
使用头插法将元素插入到新数组的对应位置

在多线程环境下，问题就出在这个头插法的过程不是原子性的。让我们通过一个具体的例子来理解死循环是如何形成的。

3. 多线程场景下的死循环形成过程

假设我们有一个初始HashMap，大小为2，负载因子为0.75，当前有3个元素，即将触发扩容。有两个线程Thread-1和Thread-2同时执行put操作。

初始状态

旧数组结构如下：

table[0]: null table[1]: A -> B -> null

两个线程都检测到需要扩容，各自创建了一个新的数组（大小为4）。

线程2先执行transfer

假设Thread-2先获得了CPU时间片，完整执行了transfer方法：

处理table[1]的链表A->B
重新计算A和B的位置（假设A在新位置1，B在新位置3）
使用头插法将A和B插入新数组

执行后的新数组状态：

newTable[1]: A -> null newTable[3]: B -> null

线程1恢复执行

此时Thread-1从之前暂停的地方恢复执行，记住它的局部变量状态：

e = A
next = B

Thread-1继续执行：

e.next = newTable[i]：将A的next指向newTable[1]（当前为null）
newTable[i] = e：将A放入newTable[1]
e = next：e现在指向B

然后进入下一轮循环：

next = e.next = B.next = null（因为Thread-2已经处理过B）
e.next = newTable[i]：将B的next指向newTable[3]（当前为A）
newTable[i] = e：将B放入newTable[3]
e = next：e现在为null，循环结束

最终形成的新数组状态：

newTable[1]: A -> null newTable[3]: B -> A -> B -> A -> ... (无限循环)

可以看到，table[3]中的链表已经形成了环状结构：B->A->B->A...。当后续操作尝试遍历这个链表时，就会陷入无限循环。

4. 代码复现与调试技巧

理解了原理后，让我们尝试用代码实际复现这个问题。以下是完整的复现代码：

public class HashMapDeadLoopDemo { static final HashMap<Integer, Integer> map = new HashMap<>(2, 0.75f); public static void main(String[] args) throws InterruptedException { map.put(1, 1); map.put(3, 3); // 这两个key会hash到同一个桶 Thread t1 = new Thread(() -> { map.put(5, 5); // 触发扩容 }, "Thread-1"); Thread t2 = new Thread(() -> { map.put(7, 7); // 触发扩容 }, "Thread-2"); t1.start(); t2.start(); t1.join(); t2.join(); // 尝试读取数据，可能会陷入死循环 System.out.println(map.get(11)); } }

要成功复现这个问题，需要注意以下几点：