扩容死锁(hashmap在jdk1.7中的多线程死锁问题)
hashmap 的死锁问题主要是在扩容的时候,而扩容的方法是 transfer ,对方法 transfer 简化如下,
void transfer(Entry[] newTable, boolean rehash) {
for (Entry<K,V> e : table) {
while(null != e) {
Entry<K,V> next = e.next;
e.next = newTable[i];
newTable[i] = e;
e = next;
}
}
}
首先:这里的hashmap是个线程间的共享资源,多个线程可以同时对其操作。
假设现在有两个线程 t1 丶 t2 和 t3 在运行这段代码,当 t1 线程运行了 e.next = newTable[i]; 的时候, t2 执行 next = e.next; 然后 t3 运行 newTable[i] = e; 和 e = next; 那么就会存在 e.next = newTable[i]; 和 newTable[i].next = e; 从而造成死循环。
- 线程1
- 当t1执行到e.next = newTable[i],将e.next赋值为null,当刚执行完这个指令,线程2开始执行,
- 线程2
- 线程2,此时执行的确实next = e.next, 此时因为线程1执行后,next = e.next = newTable[i].
- 线程3
- 但是,线程3执行到了第三句, newTable[i] = e 和 e = next ,也就等同于,e = next = newTable[i] 和 newTable[i].next = e ,地址间相互指向,形成死锁。
- 但是,线程3执行到了第三句, newTable[i] = e 和 e = next ,也就等同于,e = next = newTable[i] 和 newTable[i].next = e ,地址间相互指向,形成死锁。
- e = next = Entry<K,V> next = e.next = e.next = newTable[i];
newTable[i] = e;
发生死循环。