图文讲解JDK1.7HashMap多线程下线程安全问题

JDK1.7HashMap多线程下会出现死循环和数据丢失的情况
本文将对这两种情况出现的进行简单讲解

简单讲解：

出现死循环的例子可见：

https://zhuanlan.zhihu.com/p/174226955

直接切入主题发生问题就在转移结点的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;
            }
        }
    }

两个线程转移一个链表 3->2->1

初始状态：

两个线程在自己本地内存中都会有一个newTable数组

此时线程1已经完成转移，如图所示左边的型数组已经变成 1->2->3

线程2的当前结点e2指向3，next2指向2

由于完成转移操作会将结果刷回主存，现在newTable和table中的Entry都是主存中最新值

此时已经能发现端倪了，对于线程2来说，按道理来说next2应该为e2的下一个元素，但此时next2由于依旧指向2 e2指向3,此时就已经next2在e2的上面，也就是next2的下一个元素变成了e2。

线程2继续执行

执行语句e.next=newTable[i]

再执行newTable[i]=e; 执行后见下图

最后执行本次循环的最后一条语句e=next;

线程2开启第2次循环 执行：Entry<K,V> next = e.next; 如下图所示

之后执行e.next=newTable[i];对图中元素不产生影响

然后继续执行newTable[i]=e;

继续执行e=next;

第二次循环也结束。开始第三次循环：执行：Entry<K,V> next = e.next; 执行完之后next指向null 如下图所示

再执行e.next=newTable[i];链表中就出现了死循环，同时导致元素1丢失

简单的说根本原因是transfer()中是头插法，倒序操作。A->B 第一线程在处理过程中比较慢，第二个线程已经完成了倒序编程了B-A 那么就出现了循环，B->A->B，而JDK1.8是尾插法，新元素转移都是插到链表的尾部