不正确地使用HashMap引发死循环及元素丢失

叁歲伎倆 2022-07-16 02:37 130阅读 0赞

问题引出

前一篇文章讲解了HashMap的实现原理，讲到了HashMap不是线程安全的。那么HashMap在多线程环境下又会有什么问题呢？

几个月前，公司项目的一个模块在线上运行的时候出现了死循环，死循环的代码就卡在HashMap的get方法上。尽管最终发现不是因为HashMap导致的，但却让我重视了HashMap在多线程环境下会引发死循环的这个问题，下面先用一段代码简单模拟出HashMap的死循环：

![复制代码][copycode.gif]

public class HashMapThread extends Thread
    {
        private static AtomicInteger ai = new AtomicInteger(0);
        private static Map<Integer, Integer> map = new HashMap<Integer, Integer>(1);
        
        public void run()
        {
            while (ai.get() < 100000)
            {
                map.put(ai.get(), ai.get());
                ai.incrementAndGet();
            }
        }
    }

![复制代码][copycode.gif]

这个线程的作用很简单，给AtomicInteger不断自增并写入HashMap中，其中AtomicInteger和HashMap都是全局共享的，也就是说所有线程操作的都是同一个AtomicInteger和HashMap。开5个线程操作一下run方法中的代码：

![复制代码][copycode.gif]

public static void main(String[] args)
    {
        HashMapThread hmt0 = new HashMapThread();
        HashMapThread hmt1 = new HashMapThread();
        HashMapThread hmt2 = new HashMapThread();
        HashMapThread hmt3 = new HashMapThread();
        HashMapThread hmt4 = new HashMapThread();
        hmt0.start();
        hmt1.start();
        hmt2.start();
        hmt3.start();
        hmt4.start();
    }

![复制代码][copycode.gif]

多运行几次之后死循环就出来了，我大概运行了7次、8次的样子，其中有几次是数组下标越界异常ArrayIndexOutOfBoundsException。这里面要提一点，多线程环境下代码会出现问题并不意味着多线程环境下一定会出现问题，但是只要出现了问题，或者是死锁、或者是死循环，那么你的项目除了重启就没有什么别的办法了，所以代码的线程安全性在开发、评审的时候必须要重点考虑到。OK，看一下控制台：

![801753-20151210203621652-472339013.png][]

红色方框一直亮着，说明代码死循环了。死循环问题的定位一般都是通过jps+jstack查看堆栈信息来定位的：

![801753-20151210203714933-143225835.png][]

看到Thread-0处于RUNNABLE，而从堆栈信息上应该可以看出，这次的死循环是由于Thread-0对HashMap进行扩容而引起的。

所以，本文就解读一下，HashMap的扩容为什么会引起死循环。

正常的扩容过程

先来看一下HashMap一次正常的扩容过程。简单一点看吧，假设我有三个经过了最终rehash得到的数字，分别是5 7 3，HashMap的table也只有2，那么HashMap把这三个数字put进数据结构了之后应该是这么一个样子的：

![801753-20151212170803809-1228904061.png][]

这应该很好理解。然后看一下resize的代码，上面的堆栈里面就有：

void addEntry(int hash, K key, V value, int bucketIndex) {
    Entry<K,V> e = table[bucketIndex];
        table[bucketIndex] = new Entry<K,V>(hash, key, value, e);
        if (size++ >= threshold)
            resize(2 * table.length);
    }

![复制代码][copycode.gif]

void resize(int newCapacity) {
        Entry[] oldTable = table;
        int oldCapacity = oldTable.length;
        if (oldCapacity == MAXIMUM_CAPACITY) {
            threshold = Integer.MAX_VALUE;
            return;
        }
    
        Entry[] newTable = new Entry[newCapacity];
        transfer(newTable);
        table = newTable;
        threshold = (int)(newCapacity * loadFactor);
    }

![复制代码][copycode.gif]

void transfer(Entry[] newTable) {
        Entry[] src = table;
        int newCapacity = newTable.length;
        for (int j = 0; j < src.length; j++) {
            Entry<K,V> e = src[j];
            if (e != null) {
                src[j] = null;
                do {
                    Entry<K,V> next = e.next;
                    int i = indexFor(e.hash, newCapacity);
                    e.next = newTable[i];
                    newTable[i] = e;
                    e = next;
                } while (e != null);
            }
        }
    }

![复制代码][copycode.gif]

我总结一下这三段代码，HashMap一次扩容的过程应该是：

1、取当前table的2倍作为新table的大小

2、根据算出的新table的大小new出一个新的Entry数组来，名为newTable

3、轮询原table的每一个位置，将每个位置上连接的Entry，算出在新table上的位置，并以链表形式连接

4、原table上的所有Entry全部轮询完毕之后，意味着原table上面的所有Entry已经移到了新的table上，HashMap中的table指向newTable

这样就完成了一次扩容，用图表示是这样的：

![801753-20151212171001169-218100779.png][]

HashMap的一次正常扩容就是这样的，这很好理解。

扩容导致的死循环

既然是扩容导致的死循环，那么继续看扩容的代码：

![复制代码][copycode.gif]

1 void transfer(Entry[] newTable) {
     2     Entry[] src = table;
     3     int newCapacity = newTable.length;
     4     for (int j = 0; j < src.length; j++) {
     5         Entry<K,V> e = src[j];
     6         if (e != null) {
     7             src[j] = null;
     8             do {
     9                 Entry<K,V> next = e.next;
    10                 int i = indexFor(e.hash, newCapacity);
    11                 e.next = newTable[i];
    12                 newTable[i] = e;
    13                 e = next;
    14             } while (e != null);
    15         }
    16     }
    17 }

![复制代码][copycode.gif]

两个线程，线程A和线程B。假设第9行执行完毕，线程A切换，那么对于线程A而言，是这样的：

![801753-20151212184247794-1773995400.png][]

CPU切换到线程B运行，线程B将整个扩容过程全部执行完毕，于是就形成了：

![801753-20151212184340794-575118916.png][]

此时CPU切换到线程A上，执行第8行~第14行的do...while...循环，首先放置3这个Entry：

![801753-20151212185029137-1615739989.png][]

我们必须要知道，由于线程B已经执行完毕，因此根据Java内存模型（JMM），现在table里面所有的Entry都是最新的，也就是7的next是3，3的next是null。3放置到table\[3\]的位置上了，下面的步骤是：

1、e=next，即e=7

2、判断e不等于null，循环继续

3、next=e.next，即next=7的next，也就是3

4、放置7这个Entry

所以，用图表示就是：

![801753-20151212185651591-1282375682.png][]

放置完7之后，继续运行代码：

1、e=next，也就是说e=3

2、判断e不等于null，循环继续

3、next=e.next，即3的next，也就是null

4、放置3这个Entry

把3移到table\[3\]上去，死循环就出来了：

![801753-20151212185956028-948946343.png][]

3移到table\[3\]上去了，3的next指向7，由于原先7的next指向3，这样就成了一个死循环。

此时执行13行的e=next，那么e=null，循环终止。尽管此次循环确实结束了，但是后面的操作，只要涉及轮询HashMap数据结构的，无论是迭代还是扩容，都将在table\[3\]这个链表处出现死循环。这也就是前面的死循环堆栈出现的原因，transfer的484行，因为这是一次扩容操作，需要遍历HashMap数据结构，transfer方法是扩容的最后一个方法。

3 5 7又会有怎样的结果

可能有人觉得上面的数字5 7 3太巧了，像是专门为了产生HashMap的死循环而故意选择的数字。

这个问题，我这么回答：我记得在《从Paxos到Zookeeper分布式一致性原理与实践》有一段话大概是这么描述的，有一个被反复实践得出的结论是，任何在多线程下可能发生的错误场景最终一定会发生。

5 7 3这个数字可不巧，扩容前相邻两个Entry被分配到扩容后同样的table位置是很正常的。关键的是，即使这种异常场景发生的可能性再低，只要发生一次，那么你的系统就部分甚至全部不可用了----除了重启系统没有任何办法。所以，这种可能会发生的异常场景必须提前扼杀。

OK，不扯了，前面讲了5 7 3导致了死循环，现在看一下正常的顺序3 5 7，会发生什么问题。简单看一下，就不像上面讲得这么详细了：

![801753-20151212201914200-984546904.png][]

这是扩容前数据结构中的内容，扩容之后正常的应该是：

![801753-20151212202024200-201515113.png][]

现在在多线程下遇到问题了，某个线程先放7：

![801753-20151212202127091-1874097507.png][]

再接着放5：

![801753-20151212202205653-1833003565.png][]

由于5的next此时为null，因此扩容操作结束，3 5 7造成的结果就是元素丢失。

如何解决

把一个线程非安全的集合作为全局共享的，本身就是一种错误的做法，并发下一定会产生错误。

所以，解决这个问题的办法很简单，有两种：

1、使用Collections.synchronizedMap(Mao<K,V> m)方法把HashMap变成一个线程安全的Map

2、使用Hashtable、ConcurrentHashMap这两个线程安全的Map

不过，既然选择了线程安全的办法，那么必然要在性能上付出一定的代价----毕竟这个世界上没有十全十美的事情，既要运行效率高、又要线程安全。

[copycode.gif]: /images/20220716/66ea0058ac874092ad5d428cc71367d0.png
[801753-20151210203621652-472339013.png]: /images/20220716/c86868b2d2dc43868671f70af9c40d51.png
[801753-20151210203714933-143225835.png]: /images/20220716/bf23faa207524d58a4acac8ef935611d.png
[801753-20151212170803809-1228904061.png]: /images/20220716/e30ed1c2d2a942a3bce17349aca336bf.png
[801753-20151212171001169-218100779.png]: /images/20220716/5670af528cb444448baecdefc4d71b37.png
[801753-20151212184247794-1773995400.png]: /images/20220716/aa2651d09d8b456fb83daab443db26b5.png
[801753-20151212184340794-575118916.png]: /images/20220716/f632634e52e245ccbb316607a94cc643.png
[801753-20151212185029137-1615739989.png]: /images/20220716/d0b80698d7a04b61ae0060ce8066249a.png
[801753-20151212185651591-1282375682.png]: /images/20220716/818f7ae445e04483b0c48496ee2b2dbf.png
[801753-20151212185956028-948946343.png]: /images/20220716/36049e6e44be41ddbbae0cbcb28a4510.png
[801753-20151212201914200-984546904.png]: /images/20220716/056fe01b63f04ed6a8c7772213c8c9ac.png
[801753-20151212202024200-201515113.png]: /images/20220716/e45a3c31bba448d9a467af79f3e90dca.png
[801753-20151212202127091-1874097507.png]: /images/20220716/39e4636aa87840229d02d8ddd891fb3b.png
[801753-20151212202205653-1833003565.png]: /images/20220716/8eeed47659d34c769fbf8a755b216d7f.png