HashMap那些事之JDK8中的数据覆盖问题

最新推荐文章于 2023-03-25 17:31:41 发布

hanna22

最新推荐文章于 2023-03-25 17:31:41 发布

阅读量1.2k

点赞数

分类专栏： hashmap 文章标签：散列表哈希算法数据结构

本文链接：https://blog.csdn.net/m0_60907200/article/details/123443149

版权

hashmap 专栏收录该内容

6 篇文章 2 订阅

订阅专栏

上一篇文章我们用图分析了JDK7中造成cpu100%的原因，下面分析JDK8中可能出现的数据覆盖问题：

JDK8中已经没有transfer()函数，数据的迁移都是在resize()中完成的，并且采用了尾插法，不会出现链表成环问题，当时当我们进行put操作时数据覆盖的问题仍然存在：

代码：

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;
}

1.如果有两个线程同时进行put操作，并且通过他们的key获得的hash值和（n-1）相与得到的数组下标是相同的，当第一个线程执行到if ((p = tab[i = (n - 1) & hash]) == null)判断该位置上没有节点，可以直接添加新节点时，第二个线程抢占了cpu，并且也通过了上述判断成功添加了节点在此数组下标的位置上，这时又切换回第一个线程，由于之前已经通过了if判断，所以也会直接添加新节点在此数组下标的位置，这样一来就覆盖了线程二已经添加的节点。

2.在put方法中还存在size++操作（i++操作本身就是线程不安全的，i++会被分解成三个指令①getfield拿到原始值②执行iadd进行加一操作③putfield把累加后的值返回），如果两个线程同时执行size++操作，线程一先拿到了size的初始值12，然后线程二抢占了cpu，拿到了size的值为12，并进行了+1操作，变成了13，将修改写回size，线程一又继续在开始时拿到的值上执行+1操作，得到结果13，写回size，这就又造成了数据覆盖。