什么？JDK8 的 ConcurrentHashMap 有 Bug

最新推荐文章于 2022-09-04 16:13:31 发布

Java烟雨

最新推荐文章于 2022-09-04 16:13:31 发布

阅读量312

点赞数

文章标签： bug 开发语言职场和发展经验分享 java

本文链接：https://blog.youkuaiyun.com/weixin_70730532/article/details/124925238

版权

本文探讨了JDK8中ConcurrentHashMap存在的一个Bug，该Bug与addCount()方法有关，但不影响实际使用。在JDK12中已修复。文章详细分析了 ConcurrentHashMap 的计数逻辑和扩容逻辑，指出在扩容条件判断中存在错误，可能导致扩容线程数不受限制，但最终扩容任务的正确执行确保了不影响使用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

大家看到标题是不是第一反应，怎么可能 JDK8 的 ConcurrentHsahMap 会有 bug，肯定是个标题党

且慢，的确我们 JDK8 中存在这个 Bug，但是这个 Bug 不影响使用，并且在 JDK12 中对其进行了修复

在这个 JDK 的 Bug 收集论坛上，我们可以看到这个报告指出的是在 ConcurrentHsahMap 进行 addCount() 的时候会有问题存在，我们先看一下具体在 JDK8 和 JDK12 中该方法的体现

JDK8

private final void addCount(long x, int check) {
        //...
        if (check >= 0) {
            Node<K,V>[] tab, nt; int n, sc;
            while (s >= (long)(sc = sizeCtl) && (tab = table) != null &&
                   (n = tab.length) < MAXIMUM_CAPACITY) {
                int rs = resizeStamp(n);
                if (sc < 0) {
                    if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
                        sc == rs + MAX_RESIZERS || (nt = nextTable) == null ||
                        transferIndex <= 0)
                        break;
                    //...
                }
                //...
            }
        }
    }

JDK12

private final void addCount(long x, int check) {
    //...
    if (check >= 0) {
        Node<K,V>[] tab, nt;
        int n, sc;
        while (s >= (long)(sc = sizeCtl) && (tab = table) != null &&
                (n = tab.length) < MAXIMUM_CAPACITY) {
            int rs = resizeStamp(n) << RESIZE_STAMP_SHIFT;
            if (sc < 0) {
                if (sc == rs + MAX_RESIZERS || sc == rs + 1 ||
                        (nt = nextTable) == null || transferIndex <= 0)
                    break;
                //...
            } 
            //...
        }
    }
}

我们仔细对比一下代码，就可以发现在 JDK12 中去除了 (sc >>> RESIZE_STAMP_SHIFT) != rs

这个条件判断，那问题就来，这个条件出现了什么问题？

Doug Lea 这么细的人当初为什么没考虑到，欢迎走入今天的文章，揭秘一下这个 BUG 的前世今生，对 ConcurrentHashMap 扩容和计数逻辑熟悉的同学，可直接跳转第三部份看问题分析即可