源码如下,可以自行从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在那里