快捷導(dǎo)航

HashMap線程不安全問(wèn)題解析

更新時(shí)間：2023年11月02日 08:44:59 作者：Heloise_yangyuchang

這篇文章主要介紹了HashMap線程不安全問(wèn)題解析,HashMap的線程不安全體現(xiàn)在會(huì)造成死循環(huán)、數(shù)據(jù)丟失、數(shù)據(jù)覆蓋等問(wèn)題,其中死循環(huán)和數(shù)據(jù)丟失是在JDK1.7中出現(xiàn)的問(wèn)題,在JDK1.8中已經(jīng)得到解決,但是1.8中仍會(huì)有數(shù)據(jù)覆蓋這樣的問(wèn)題,需要的朋友可以參考下

一、概述

結(jié)論：HashMap的線程不安全體現(xiàn)在會(huì)造成死循環(huán)、數(shù)據(jù)丟失、數(shù)據(jù)覆蓋等問(wèn)題。其中死循環(huán)和數(shù)據(jù)丟失是在JDK1.7中出現(xiàn)的問(wèn)題，在JDK1.8中已經(jīng)得到解決，但是1.8中仍會(huì)有數(shù)據(jù)覆蓋這樣的問(wèn)題。HashMap是線程不安全的，線程安全場(chǎng)景應(yīng)該使用ConcurrentHashMap。

HashMap的線程不安全主要是發(fā)生在擴(kuò)容方法中，JDK1.7中HashMap的transfer函數(shù)如下：

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

HashMap的擴(kuò)容操作（先擴(kuò)容在頭插法插入）會(huì)重新定位每個(gè)桶的下標(biāo)，并采用頭插法將元素遷移到新數(shù)組中。頭插法會(huì)將鏈表的順序翻轉(zhuǎn)，這也是造成死循環(huán)和數(shù)據(jù)丟失的關(guān)鍵。

二、JDK1.7中HashMap擴(kuò)容分析

比如現(xiàn)在有兩個(gè)線程A、B同時(shí)對(duì)下面這個(gè)HashMap進(jìn)行擴(kuò)容操作：

在這里插入圖片描述

正常擴(kuò)容后的結(jié)果如下（7%4=3%4=3）：

在這里插入圖片描述

但是當(dāng)線程A執(zhí)行到上面transfer函數(shù)的第11行代碼時(shí)，CPU時(shí)間片耗盡，線程A被掛起,即

 newTable[i] = e; //此處掛起，此時(shí)還沒(méi)有執(zhí)行

此時(shí)線程A中：e=3、next=7、e.next=null

在這里插入圖片描述

此時(shí)線程B開(kāi)始執(zhí)行，并且線程B成功的完成了數(shù)據(jù)遷移，如下：

在這里插入圖片描述

這個(gè)是問(wèn)題出現(xiàn)關(guān)鍵時(shí)間段，根據(jù)Java JMM，線程B執(zhí)行完數(shù)據(jù)遷移后，此時(shí)主內(nèi)存中newTable和table都是最新的，也就是說(shuō)：7.next=3；3.next=null

此時(shí)線程A獲得CPU時(shí)間片繼續(xù)執(zhí)行newTable[i] = e，將3放入新數(shù)組對(duì)應(yīng)的位置，執(zhí)行完此輪循環(huán)后線程A的情況如下

在這里插入圖片描述

接著繼續(xù)執(zhí)行下一輪循環(huán)，此時(shí)e=7，從主內(nèi)存中讀取e.next時(shí)發(fā)現(xiàn)主內(nèi)存中7.next=3，即next=3，并將7采用頭插法的方式放入新數(shù)組中，并繼續(xù)執(zhí)行完此輪循環(huán)，結(jié)果如下：

在這里插入圖片描述

繼續(xù)執(zhí)行下一次循環(huán)可以發(fā)現(xiàn)， e.next=null，所以此輪循環(huán)將會(huì)是最后一輪循環(huán)。接下來(lái)當(dāng)執(zhí)行完e.next=newTable[i]即3.next=7后，3和7之間就相互連接了，當(dāng)執(zhí)行完newTable[i]=e后，3被頭插法重新插入到鏈表中，執(zhí)行結(jié)果如下圖所示：

在這里插入圖片描述

到此線程A、B的擴(kuò)容操作完成。

顯然當(dāng)線程A執(zhí)行完后，HashMap中出現(xiàn)了環(huán)形結(jié)構(gòu)，當(dāng)在以后對(duì)該HashMap進(jìn)行操作時(shí)會(huì)出現(xiàn)死循環(huán)。并且從上圖可以發(fā)現(xiàn)，元素5在擴(kuò)容期間被莫名的丟失了，這就發(fā)生了數(shù)據(jù)丟失的問(wèn)題。

三、JDK1.8中的線程不安全

JDK1.7出現(xiàn)的問(wèn)題，在JDK1.8中已經(jīng)得到了很好的解決，JDK1.8直接在resize函數(shù)中完成了數(shù)據(jù)遷移。在進(jìn)行元素插入時(shí)使用的是尾插法然后在擴(kuò)容。

但是在1.8中仍會(huì)有數(shù)據(jù)覆蓋這樣的問(wèn)題，先看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) //判斷是否出現(xiàn)hash碰撞,如果沒(méi)有hash碰撞則直接插入元素，此處線程不安全
            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) //++size此處線程不安全
            resize();
        afterNodeInsertion(evict);
        return null;
    }

其中代碼if ((p = tab[i = (n - 1) & hash]) == null) 是判斷是否出現(xiàn)hash碰撞：比如兩個(gè)線程A、B都在進(jìn)行put操作，并且hash函數(shù)計(jì)算出的插入下標(biāo)是相同的，當(dāng)線程A執(zhí)行完第六行代碼后由于時(shí)間片耗盡導(dǎo)致被掛起，而線程B得到時(shí)間片后在該下標(biāo)處插入了元素，完成了正常的插入，然后線程A獲得時(shí)間片，由于之前已經(jīng)進(jìn)行了hash碰撞的判斷，所有此時(shí)不會(huì)再進(jìn)行判斷，而是直接進(jìn)行插入，這就導(dǎo)致了線程B插入的數(shù)據(jù)被線程A覆蓋了，從而線程不安全。

還有一種情況就是代碼 if (++size > threshold)中的++size：同樣還是線程A、B，這兩個(gè)線程同時(shí)進(jìn)行put操作時(shí)，假設(shè)當(dāng)前HashMap的zise大小為10，當(dāng)線程A執(zhí)行到此行代碼時(shí)，從主內(nèi)存中獲得size的值為10后準(zhǔn)備進(jìn)行+1操作，但是由于時(shí)間片耗盡只好讓出CPU，線程B快樂(lè)的拿到CPU還是從主內(nèi)存中拿到size的值10進(jìn)行+1操作，完成了put操作并將size=11寫(xiě)回主內(nèi)存，然后線程A再次拿到CPU并繼續(xù)執(zhí)行(此時(shí)size的值仍為10)，當(dāng)執(zhí)行完put操作后，還是將size=11寫(xiě)回內(nèi)存，此時(shí)線程A、B都執(zhí)行了一次put操作，但是size的值只增加了1，所有說(shuō)還是由于數(shù)據(jù)覆蓋又導(dǎo)致了線程不安全。