HashMap中的resize以及死链的情况

最新推荐文章于 2024-01-24 22:46:46 发布

_Kim

最新推荐文章于 2024-01-24 22:46:46 发布

阅读量1.6k

点赞数

分类专栏： java

java 专栏收录该内容

28 篇文章 0 订阅

订阅专栏

我们都知道HashMap是线程不安全的，如果多线程来访问会有什么问题呢？答案是会造成死锁。

接下来我们就分析下为何会造成死锁。

说到HashMap中死锁的情况，我们就必须要先讲下resize()方法，顾名思义，这个方法就是来扩容的。

当HashMap的size超过 thredshold时，就需要扩容了。当我们put时：

（截图代码为JDK７ HashMap源码）

首先，我们需要知道几个最基本的概念： Entry<K,V>[] table的初始化长度length(默认值是16)，Load factor为负载因子(默认值是0.75)，threshold是HashMap所能容纳的最大数据量的Entry(键值对)个数。size是HashMap中实际存在的键值对数量。threshold = length * Load factor。也就是说，在数组定义好长度之后，负载因子越大，所能容纳的键值对个数越多。

接着我们直接看上面的代码，当size >= threshold且table[bucketIndex]不为空就会触发resize操作。然后看resize()方法：

这里重点就是transfer方法，接着我们来看transfer方法：

第一：遍历旧的table

第二：将旧的table中每个元素重新计算hash值，然后赋予新的table中

具体我们将用图示的方法来解析：

单线程扩容：

假设：hash算法就是简单的key与length(数组长度)求余。

hash表长度为2，如果不扩容，那么元素key为3,5,7按照计算(key%table.length)的话都应该碰撞到table[1]上

扩容：hash表长度会扩容为4

重新hash，key=3 会落到table[3]上(3%4=3)，当前e.next为key(7), 继续while循环

重新hash，key=7 会落到table[3]上(7%4=3), 产生碰撞，这里采用的是头插入法，所以key=7的Entry会排在key=3前面(这里可以具体看while语句中代码)

当前e.next为key(5), 继续while循环

重新hash，key=5 会落到table[1]上(5%4=3)，当前e.next为null, 跳出while循环， resize结束

如题如图所示：

多线程扩容：

这里我们先把核心代码搬出来，方便查看

while(null != e) {

Entry<K,V> next = e.next; //第一行

int i = indexFor(e.hash, newCapacity); //第二行

e.next = newTable[i]; //第三行

newTable[i] = e; //第四行

e = next; //第五行

}

去掉了一些冗余的代码，层次结构更加清晰了。

第一行：记录odl hash表中e.next

第二行：rehash计算出数组的位置(hash表中桶的位置)

第三行：e要插入链表的头部，所以要先将e.next指向new hash表中的第一个元素

第四行：将e放入到new hash表的头部

第五行：转移e到下一个节点，继续循环下去

核心代码如上所说，下面就是多线程同时put的情况了，然后同时进入transfer方法中：

假设这里有两个线程同时执行了put()操作，并进入了transfer()环节

while(null != e) {
    Entry<K,V> next = e.next; //线程1执行到这里被调度挂起了
    e.next = newTable[i];
    newTable[i] = e;
    e = next;
}

那么现在的状态为：

从上面的图我们可以看到，因为线程1的 e 指向了 key(3)，而 next 指向了 key(7)，在线程2 rehash 后，就指向了线程2 rehash 后的链表。

然后线程1被唤醒了：

执行e.next = newTable[i]，于是 key(3)的 next 指向了线程1的新 Hash 表，因为新 Hash 表为空，所以e.next = null，
执行newTable[i] = e，所以线程1的新 Hash 表第一个元素指向了线程2新 Hash 表的 key(3)。好了，e 处理完毕。
执行e = next，将 e 指向 next，所以新的 e 是 key(7)

然后该执行 key(3)的 next 节点 key(7)了: