hashmap并发情况下的成环原因

最新推荐文章于 2025-03-04 15:48:59 发布

qq_32182461

最新推荐文章于 2025-03-04 15:48:59 发布

阅读量7.7k

点赞数 2

分类专栏： 2018面试准备

本文链接：https://blog.csdn.net/qq_32182461/article/details/81152025

版权

2018面试准备专栏收录该内容

15 篇文章

订阅专栏

本文深入探讨了HashMap在并发场景下的线程安全性问题，特别是在数据迁移过程中可能出现的链表成环现象，导致get操作死循环。文章详细分析了问题产生的原因，并提出了几种解决方案。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

hashmap是一个非线程安全的集合。

他的线程不安全出现在，并发情况下可能会出现链表成环的问题，导致程序在执行get操作时形成死循环。

hashmap成环原因的代码出现在transfer代码中，也就是扩容之后的数据迁移部分，代码如下：

void transfer(Entry[] newTable, boolean rehash) {
    int newCapacity = newTable.length;
    for (Entry<K,V> e : table) {
        while(null != e) {
            Entry<K,V> next = e.next;
            if (rehash) {
                e.hash = null == e.key ? 0 : hash(e.key);
            }
            int i = indexFor(e.hash, newCapacity);
            e.next = newTable[i];
            newTable[i] = e;
            e = next;
        }
    }
}

解释一下transfer的过程：

首先获取新表的长度，之后遍历新表的每一个entry，然后每个ertry中的链表，以反转的形式，形成rehash之后的链表。

并发问题：

若当前线程此时获得ertry节点，但是被线程中断无法继续执行，此时线程二进入transfer函数，并把函数顺利执行，此时新表中的某个位置有了节点，之后线程一获得执行权继续执行，因为并发transfer，所以两者都是扩容的同一个链表，当线程一执行到e.next = new table[i] 的时候，由于线程二之前数据迁移的原因导致此时new table[i] 上就有ertry存在，所以线程一执行的时候，会将next节点，设置为自己，导致自己互相使用next引用对方，因此产生链表，导致死循环。

解决问题：

使用synchronize ，或者使用collection.synchronizeXXX方法。或者使用concurrentHashmap来解决。