JDK1.7hashmap成环原因
1.多线程
2.扩容
hashmap成环原因的代码出现在transfer代码中,看以下代码,transfer(),在实际扩容时候把原来数组中的元素放入新的数组中。
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()方法把原数组中的值放到新数组中
transfer(newTable, initHashSeedAsNeeded(newCapacity));
//设置hashmap扩容后为新的数组引用
table = newTable;
//设置hashmap扩容新的阈值
threshold = (int)Math.min(newCapacity * loadFactor, MAXIMUM_CAPACITY + 1);
}
void transfer(Entry[] newTable, boolean rehash) {
int newCapacity = newTable.length;
for (Entry<K,V> e : table) {
while(null != e) {
//1, 获取旧表的下一个元素
Entry<K,V> next = e.next;
if (rehash) {
e.hash = null == e.key ? 0 : hash(e.key);
}
//通过key值的hash值和新数组的大小算出在当前数组中的存放位置
int i = indexFor(e.hash, newCapacity);
e.next = newTable[i];
newTable[i] = e;
e = next;
}
}
}
举个案例:若map某个桶位置 有a,b ,现要插入c,插入c发生扩容,进入代码中。我们理想头插法插入后的顺序是c,b,a。如图
结合代码来看,第一个循环,for (Entry<K,V> e : table) 这里遍历旧链表。e即为第一个元素,next为下一个元素。中间三行是为了确定 新链表在数组的一个位置。成环的代码主要是在这最后三行代码, 首先插入是从头开始插入的。
假设线程1执行代码,执行到代码Entry<K,V> next = e.next;执行完这段代码,线程1挂起;线程2执行代码,此时线程2执行成功,将该桶链表顺序更改为c,b,a。 我们知道entry 中next是指向下个节点的,线程2执行完后,即b=c.next,a=b.next。再来看线程1,线程1恢复后执行,在头部插入a时,a.next指向b,而因为线程2 已经将b.next指向a。Entry的next节点永不为空,发生了死循环。
总结
数组是固定长度,链表太长就需要扩充数组长度进行rehash减少链表长度。如果两个线程同时触发扩容,在移动节点时会导致一个链表中的2个节点相互引用,从而生成环链表。