HashMap线程不安全问题分析

jdk1.7头插法-死循环问题

resize()死循环。在JDK1.8之前，HashMap在动态扩容时复制旧table中的链表结点到新扩容后的newTab中使用的是头插法，每个节点都是插入在链表的头部，这也是导致多线程环境下出现环形链表死循环的根本原因。

过程分析

源码如下：

简化代码

for(){
	 Entry<K,V> e = src[j];
	
	do{
		//①断开链表前读取下一个节点，否则将会丢失链表
 	   Entry<K,V> next = e.next;
	    //头插法，
	    e.next = newTable[i];
 	   //复制节点到新数组
 	   newTable[i] = e;
 	   e = next;
	}while(e!=null) ;
}

单线程情况下

假设当前HashMap的旧table长度为3要扩容为长度为6

在单线程的情况下，过程如下：

扩容完成后就是这样：

多线程情况下

因为没加锁，当有多个线程时，就会造成死循环

假设当前HashMap的旧table长度为3要扩容为长度为6

在多线程的情况下，过程如下：

e1 next1是属于线程1的
e2 next2是属于线程2的

此时，线程1的时间片用完，而线程2正常执行(就像上面单线程的执行一样)

这时候，线程1恢复执行了。。。

这个时候就出现了循环引用的问题。

jdk1.8尾插法-数据覆盖问题

在jdk1.8中对HashMap 进行了优化 ，在发生hash碰撞，不再采用头插法方式，而是直接插入链表尾部，因此不会出现环形链表的情况，但是在多线程的情况下仍然不安全。

putVal源码

final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
                   boolean evict) {
        Node<K,V>[] tab; Node<K,V> p; int n, i;
        if ((tab = table) == null || (n = tab.length) == 0)
            n = (tab = resize()).length;
        if ((p = tab[i = (n - 1) & hash]) == null)
            tab[i] = newNode(hash, key, value, null);
        else {
            Node<K,V> e; K k;
            if (p.hash == hash &&
                ((k = p.key) == key || (key != null && key.equals(k))))
                e = p;
            else if (p instanceof TreeNode)
                e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
            else {
                for (int binCount = 0; ; ++binCount) {
                    if ((e = p.next) == null) {
                        p.next = newNode(hash, key, value, null);
                        if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
                            treeifyBin(tab, hash);
                        break;
                    }
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        break;
                    p = e;
                }
            }
            if (e != null) { // existing mapping for key
                V oldValue = e.value;
                if (!onlyIfAbsent || oldValue == null)
                    e.value = value;
                afterNodeAccess(e);
                return oldValue;
            }
        }
        ++modCount;
        if (++size > threshold)
            resize();
        afterNodeInsertion(evict);
        return null;
    }

这是jdk1.8中HashMap中put操作的主函数， 注意第6行代码，如果没有hash碰撞则会直接插入元素。
如果线程A和线程B同时进行put操作，刚好这两条不同的数据hash值一样，并且该位置数据为null，所以这线程A、B都会进入第6行代码中。

假设一种情况，线程A进入后还未进行数据插入时挂起，而线程B正常执行，从而正常插入数据，然后线程A获取CPU时间片，此时线程A不用再进行hash判断了，问题出现：线程A会把线程B插入的数据给覆盖，发生线程不安全。

总结

HashMap是线程不安全的，其主要体现：

• 在jdk1.7中，在多线程环境下，扩容时会造成环形链死循环问题。

• 在jdk1.8中，在多线程环境下，会发生数据覆盖的情况。