HashMap由并发引起的链表死循环

最新推荐文章于 2024-04-21 11:39:13 发布

雪山上的小草

最新推荐文章于 2024-04-21 11:39:13 发布

阅读量333

点赞数

分类专栏： Java

原文链接：https://youzhixueyuan.com/the-underlying-structure-and-principle-of-hashmap.html

版权

Java 专栏收录该内容

87 篇文章 0 订阅

订阅专栏

文章来源：阿里P8架构师谈：深入探讨HashMap的底层结构、原理、扩容机制

3. 扩容机制

扩容(resize)就是重新计算容量，向HashMap对象里不停的添加元素，而HashMap对象内部的数组无法装载更多的元素时，对象就需要扩大数组的长度，以便能装入更多的元素。当然Java里的数组是无法自动扩容的，方法是使用一个新的数组代替已有的容量小的数组，就像我们用一个小桶装水，如果想装更多的水，就得换大水桶。

我们分析下resize的源码，鉴于JDK1.8融入了红黑树，较复杂，为了便于理解我们仍然使用JDK1.7的代码，好理解一些，本质上区别不大。

 1 void resize(int newCapacity) { //传入新的容量
 2 Entry[] oldTable = table; //引用扩容前的Entry数组
 3 int oldCapacity = oldTable.length; 
 4 if (oldCapacity == MAXIMUM_CAPACITY) { //扩容前的数组大小如果已经达到最大(2^30)了
 5 threshold = Integer.MAX_VALUE; //修改阈值为int的最大值(2^31-1)，这样以后就不会扩容了
 6 return;
 7 }
 8 
 9 Entry[] newTable = new Entry[newCapacity]; //初始化一个新的Entry数组
10 transfer(newTable); //！！将数据转移到新的Entry数组里
11 table = newTable; //HashMap的table属性引用新的Entry数组
12 threshold = (int)(newCapacity * loadFactor);//修改阈值
13 }

这里就是使用一个容量更大的数组来代替已有的容量小的数组，transfer()方法将原有Entry数组的元素拷贝到新的Entry数组里。

 1 void transfer(Entry[] newTable) {
 2 Entry[] src = table; //src引用了旧的Entry数组
 3 int newCapacity = newTable.length;
 4 for (int j = 0; j < src.length; j++) { //遍历旧的Entry数组
 5 Entry<K,V> e = src[j]; //取得旧Entry数组的每个元素
 6 if (e != null) {
 7 src[j] = null;//释放旧Entry数组的对象引用（for循环后，旧的Entry数组不再引用任何对象）
 8 do {
 9 Entry<K,V> next = e.next;
10 int i = indexFor(e.hash, newCapacity); //！！重新计算每个元素在数组中的位置
11 e.next = newTable[i]; //标记[1]
12 newTable[i] = e; //将元素放在数组上
13 e = next; //访问下一个Entry链上的元素
14 } while (e != null);
15 }
16 }
17 }

newTable[i]的引用赋给了e.next，也就是使用了单链表的头插入方式，同一位置上新元素总会被放在链表的头部位置；这样先放在一个索引上的元素终会被放到Entry链的尾部(如果发生了hash冲突的话），这一点和Jdk1.8有区别。在旧数组中同一条Entry链上的元素，通过重新计算索引位置后，有可能被放到了新数组的不同位置上。

线程安全性

在多线程使用场景中，应该尽量避免使用线程不安全的HashMap，而使用线程安全的ConcurrentHashMap。

那么为什么说HashMap是线程不安全的，下面举例子说明在并发的多线程使用场景中使用HashMap可能造成死循环。代码例子如下(便于理解，仍然使用JDK1.7的环境)：

public class HashMapInfiniteLoop { 
 private static HashMap<Integer,String> map = new HashMap<Integer,String>(2，0.75f); 
 public static void main(String[] args) { 
 map.put(5， "C"); 
 new Thread("Thread1") { 
 public void run() { 
 map.put(7, "B"); 
 System.out.println(map); 
 }; 
 }.start(); 
 new Thread("Thread2") { 
 public void run() { 
 map.put(3, "A); 
 System.out.println(map); 
 }; 
 }.start(); 
 } 
}

其中，map初始化为一个长度为2的数组，loadFactor=0.75，threshold=2*0.75=1，也就是说当put第二个key的时候，map就需要进行resize。

通过设置断点让线程1和线程2同时debug到transfer方法(3.3小节代码块)的首行。注意此时两个线程已经成功添加数据。放开thread1的断点至transfer方法的“Entry next = e.next;” 这一行；然后放开线程2的的断点，让线程2进行resize。结果如下图。

阿里P8架构师谈：深入探讨HashMap的底层结构、原理、扩容机制