jdk7 HashMap线程不安全之链表成环

源码如下,可以自行从github上查看
https://github.com/openjdk/jdk/blob/jdk7-b147/jdk/src/share/classes/java/util/HashMap.java#L486

核心

void resize(int newCapacity) {
    Entry[] oldTable = table;
    int oldCapacity = oldTable.length;
    if (oldCapacity == MAXIMUM_CAPACITY) {
        threshold = Integer.MAX_VALUE;
        return;
    }

    Entry[] newTable = new Entry[newCapacity];
    transfer(newTable);
    table = newTable;
    threshold = (int)(newCapacity * loadFactor);
}

/**
 * Transfers all entries from current table to newTable.
 */
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);
        }
    }
}

从上面代码可以看到,当扩容时,会创建一个新的数组,然后再移动每个桶的元素,移动的时候会发生链表的反转,且移动过程为头插法,原理在此不再赘述。
在1.8版本,已经改变为尾插法。

问题

单线程操作时,怎么都不会出现问题,当多线程操作时,涉及扩容操作就会出现环形链表

过程剖析

当有两个线程,同时进行扩容操作。为保证逻辑从简,扩容过程中不涉及各元素桶位的变化。

下图为一个桶中的链表结构,链表中为3个元素,箭头代表next的方向。
在这里插入图片描述
有两个线程T1、T2同时进行扩容操作
a、当T1执行到如下环节时,cpu时间片耗尽,hang住。即执行完Entry<K,V> next = e.next;
在这里插入图片描述
b、T2获得时间片,执行完该桶的扩容操作。这个桶的扩容操作,会影响A、B、C该链表的顺序,完成如下。
在这里插入图片描述
c、此时T1获得时间片,但是A、B、C之间next的关系已经发生了变化,继续向下推演代码执行,以下为第一个元素
在这里插入图片描述
d、执行下一个do代码块
在这里插入图片描述
e、再次执行do代码块
到这步的时候,链表已经成环。 A.next = B; B.next = A
在这里插入图片描述
至此,最终形成链表关系如下
在这里插入图片描述
当最终保留的扩容结果,并更新至原来的数组时,就会生成成环的链表。
最终在执行**get(A)、get(B)**的时候,就会出现死循环,最终导致CPU 100%,很多现场hang在那里

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值