hashmap jdk1.7头插法造成死循环的原因分析

关于这个问题，网上的说法真是五花八门，怎么说的都有，我也不知道他们是不是真的理解。我是对照源码一步步分析的

首先说结论：很多文章没有把死循环这点说清楚，其实并发扩容时先形成了环状，随后再进行扩容的线程才会形成死循环，原来造成环的线程循环是会终止的；其次，环状链表是几个节点相互指向，不是某个节点自己指向自己。

分析：

直接扒一段1.7的源码：

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;//这里记做第四部
        }
    }
}

造成环状链表的就是这段代码。

我们来一步一步分析：

假设单线程操作，原数组如下（手画，见谅，首先初始数组容量定为2个大小）

通过头插法扩展后如下：

当然，数组扩展后会重新进行hash，节点A和B不一定还会挂在同一个链表上，我们为了分析问题，假设两个节点重新hash后，还在同一个链表上，就假设在3号位，这些都不重要。

好，下面是分析高并发情况下，单线程下没有任何问题，源码再放这里

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;//这里记做第四部
        }
    }
}

假设两个线程，线程1、线程2都执行到了第一步

此时线程1取到的e为A节点，e.next为B节点，正常情况下，线程1认为B节点后边指向的是NULL，所以循环完B节点就该结束了。

这时候线程1挂起，线程2继续执行。线程2会像上边说的单线程扩容一样进行操作，不会有任何问题，线程2执行完数组变成了如下：

重点：线程2执行完以后是将线程2中的newTable赋值给table的，table是个成员变量，它将影响到接下来线程1的操作

好，现在线程1开始继续执行，上边已经说过，线程1在挂起之前已经取到了e节点（就是A节点），e.next就是B，只不过此时的B节点已经被线程2修改过了，B节点此时已经指向了A（即B节点的e.next不再是NULL，而是A节点）
1：线程1的第一次while循环会将A取出来放到3号位的头部，并且next为NULL，如下图

解释：此时线程1头插法操作的是线程1中的newTable，而newTable是个局部变量，第一次循环还没有插入任何节点，A是第一个进入newTable的3号位的，所以他的next为NULL
（很多文章在这里就会说A指向了B，B又指向了A，这里操作的是newTable，不是table，所以这里A插入3号位指向的是NULL，不是B）

源码中的第二步第三步就是完成头插，第四部是将next赋值给e，继续循环。
2：while第二次循环时，此时的e就是B节点，e.next就是A节点
（因为循环的是table，这里B的指向已经被线程2修改过了，取值是从table里边取的，写入是写进newTable的，transfer方法执行完才会将newTable赋值给table）

将B节点通过头插法插入newTable中，插入后结果如下

然后把A节点赋值给e，继续循环
3：第三次循环，此时的e就是A节点，e.next是NULL
(因为此时的A是从table中取出来的，线程2扩容后已经将A指向了NULL)

继续执行，将A通过头插法插入newTable的3号位，插入后结果如下
此时才真正的形成环状链表，第三次循环时e.next已经是NULL了，所以，将next赋值给e进行第四次while循环时，while循环会终止。

线程1会将这个环状链表赋值给table，线程1执行完毕。当再有线程3来扩容时，因为有环状链表，所以就会一直循环取节点，造成死循环。

印证结论：hashmap1.7中的死循环是有多个线程并发扩容形成了环状链表，随后再进行扩容的线程会循环取这个环状链表的节点，造成死循环；其次，环状链表是几个节点相互指向，并不是某个节点自己指向自己。