jdk7HashMap扩容和扩容死锁分析

1. 前言

jdk7的HashMap扩容过程在多线程下容易形成环，线程不安全，那么怎么产生的环？要解决这个问题，就要先弄懂jdk7下的HashMap是怎么扩容的，这里先介绍扩容过程，然后分析环的形成过程。

---

2. 扩容过程

jdk7中，扩容代码如下：

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;//next指向当前遍历结点e的下一个结点
                if (rehash) {//再hash
                    e.hash = null == e.key ? 0 : hash(e.key);
                }
                int i = indexFor(e.hash, newCapacity);//重新计算当前元素在新数组中的位置
                /*********关键的 3行代码（头插法移动元素）*********/
                e.next = newTable[i];
                newTable[i] = e;
                e = next;
            }
        }
    }

关于扩容中关键的3行代码，解释如下图：

注意：这里只是分析扩容过程，关于数组大小等其他因素不考虑。

newTable[0] == null时，e.next = newTable[i]==null;然后执行newTable[i] = e，将e放入数组中。

当给数组newTable[0]插入第2个元素时，结果类似。

插入第3个元素。

注意：newTable[i]相当于一个指针，始终指向数组当前索引链表中的第1个结点。

---

3. 多线程下产生环的过程分析

对自己来说真是不容易去想，花了一上午时间去解决，终于有点眉目，故在此记录。

核心代码：
1. e.next = newTable[i];
2. newTable[i] = e;
3. e = next;

假设有2个结点，value分别为1和35，他们扩容后的数组下标和原来一样：

初始状态：

这里不考虑扩容后的大小，扩容时各个引用(指针)的状态如下图，

开始扩容，假设有2个线程同时进行，第1个线程执行Entry<K,V> next = e.next;记住：此时e指向value=1的结点，next指向value= 35的结点，然后切换到第2个线程执行扩容操作：

扩容共3步：

第一步：e.next和next结点断开，并指向新数组newTable对应下标的第1个结点。

第二三步：newTable[i] = e; 更新e= next;(这里没有画出修改后的e的指向) 以便下次使用。

使用尾插法开始插入第2个结点：

第2个线程完成后，切换到第1个线程，我们来看看此时的第一个线程的e和next的位置：

然后线程1继续自己的扩容，扩容后的e和next指向如下：

---

next=null时，不满足while循环条件，跳出循环，可以看到，链表产生了环，这样的后果是调用get()方法时会产生死循环。

---

小结：

之前在总结的时候犯了一个大错，在此特意记录：每个线程都有一份自己的newTable[]变量的，自己看成了共享一份newTable[]。
（完）