多线程HashMap头插法扩容导致死循环解析

结论:

1.多线程情况下会进行多次扩容,第一次扩容后e与其next位置已经互换,第二次扩容的时候将e放在新的hashmap中后,取next

代码实现如下,注意最后三行

具体分析

对于场景如下,两个线程同时需要扩容,线程2阻塞,线程1先进行。

之后hashmap状态如下

此时线程2苏醒,再次执行扩容

①开始扩容从e2开始,将e2放在新链表上

此时需要获取新的next,即新hashmap中的3是e.next,而3就是next。此时出现问题,本来next需要在原表上,此时却在新表上了。再进行节点移动

这是又移动一次之后,因为需要e= next,所以e此时为3.

第三轮将e.next = newTable[i] 时,出现环状

宏观来说是应该头插法,从头出发,但是多线程会出现后面的节点先出发的情况导致next乱掉了,在新表中,关键操作e = next 和e.next = Table[i]。

参考资料:

JDK7的HashMap头插法循环的问题,这么难理解吗?_哔哩哔哩_bilibili

### HashMap 头插法导致死循环的原因 在 JDK 1.7 中,`HashMap` 底层采用数组加链表的数据结构来存储键值对。当发生哈希冲突时,新加入的节点会以头插法的形式插入到已有的链表头部[^4]。 #### 死循环产生的原因 假设在一个多线程环境中两个线程几乎同时触发了 `HashMap` 的扩容操作: - 当第一个线程正在进行扩容迁移过程中被调度器暂停; - 第二个线程也开始执行扩容并完成部分迁移工作; - 这时候如果第一个线程恢复运行,则它将继续按照自己保存的状态继续迁移剩余元素; 由于两次并发的操作都试图修改同一个位置上的单向链表,并且都是基于各自看到的那个时刻之前的快照来进行调整,这就可能导致某些节点形成环形引用关系,即 A->B 和 B->A 同时存在的情况,从而造成遍历时陷入无限循环之中[^2]。 ```java // 模拟JDK1.7中HashMap扩容过程中的错误场景 public class UnsafeResize { static Node<K,V>[] table; public void resize() { int oldCapacity = (table.length); Entry[] oldTable = table; int newCapacity = oldCapacity << 1; Entry[] newTable = new Entry[newCapacity]; for (int i = 0; i < oldCapacity ; i++) { for (Entry e = oldTable[i]; e != null;) { Entry next = e.next; // 计算新的索引位置... int newIndex = indexFor(e.hash, newCapacity); // 使用头插法将当前entry放到新的bucket里 e.next = newTable[newIndex]; newTable[newIndex] = e; // 移动到下一个entry e = next; } } table = newTable; } } ``` 上述代码片段展示了如何在扩容期间使用头插法更新桶内的链接列表。然而,在高竞争环境下这种做法容易引发竞态条件,进而破坏原有链表结构完整性。 ### 解决方案 为了防止此类问题的发生,可以采取以下措施之一: - **升级至更高版本**:自 JDK 1.8 开始,官方已经修复了此缺陷。新版 `HashMap` 不仅引入红黑树优化长链路查找效率,而且改变了处理碰撞的方式——由原来的单纯链表改为尾部追加模式,有效规避了因不当插入顺序而引起的异常状况。 - **同步控制访问**:虽然简单粗暴地给整个 map 加锁确实能解决问题,但这显然不是最优解因为这会影响到整体性能表现。更推荐的做法是在具体业务逻辑层面合理运用细粒度锁定机制或者选用其他支持并发读写的集合类如 `ConcurrentHashMap` 来替代普通 `HashMap` 实现相同功能需求[^3]。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值