HashMap在put操作时,如果达到了扩容条件,会触发resize操作,对map进行扩容。
public V put(K key, V value) {
if (key == null)
return putForNullKey(value);
int hash = hash(key);
int i = indexFor(hash, table.length);
// 如果key已经存在,则替换value,并返回旧值
for (Entry<K,V> e = table[i]; e != null; e = e.next) {
Object k;
if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
V oldValue = e.value;
e.value = value;
e.recordAccess(this);
return oldValue;
}
}
modCount++;
// key不存在,则插入新的元素
addEntry(hash, key, value, i);
return null;
}
插入新元素的addEntry方法:
void addEntry(int hash, K key, V value, int bucketIndex) {
// 判断是否需要扩容
if ((size >= threshold) && (null != table[bucketIndex])) {
// 扩容
resize(2 * table.length);
hash = (null != key) ? hash(key) : 0;
bucketIndex = indexFor(hash, table.length);
}
createEntry(hash, key, value, bucketIndex);
}
扩容方法:
void resize(int newCapacity) {
Entry[] oldTable = table;
// 新数组
int oldCapacity = oldTable.length;
...
Entry[] newTable = new Entry[newCapacity];
...
// 将之前的元素搬到新数组里
transfer(newTable, rehash);
table = newTable;
threshold = (int)Math.min(newCapacity * loadFactor, MAXIMUM_CAPACITY + 1);
}
搬运的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方法里,在Java7和7之前,map里的链表在transfer或者说resize之后顺序会发生倒转,也就是原来是a->b->c,扩容之后会变成c->b->a。在把链表搬运到新数组中的时候,如果多个线程并发,就会出现问题,会导致链表的循环引用,变成了一个有环的链表。
然后在map的get操作中,会遍历链表,因为有环,所以一直不会遍历完,就出现了死循环。
就是这里:
不过,在Java8中,对扩容进行了优化,如果是链表,就不会倒转链表了,避免了循环引用的问题,就不会出现死循环了。
具体发生死循环的过程可以参考:https://www.jianshu.com/p/1e9cf0ac07f4