欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

解析ConcurrentHashMap: put方法源碼分析

 更新時間:2021年06月10日 16:31:04   作者:興趣使然の草帽路飛  
ConcurrentHashMap是由Segment數(shù)組結(jié)構(gòu)和HashEntry數(shù)組結(jié)構(gòu)組成。Segment的結(jié)構(gòu)和HashMap類似,是一種數(shù)組和鏈表結(jié)構(gòu),今天給大家普及java面試常見問題---ConcurrentHashMap知識,一起看看吧

上一章:預(yù)熱(內(nèi)部一些小方法分析)

  • put()方法是并發(fā)HashMap源碼分析的重點方法,這里涉及到并發(fā)擴(kuò)容,桶位尋址等等…
  • JDK1.8 ConcurrentHashMap結(jié)構(gòu)圖:

1、put方法源碼解析

// 向并發(fā)Map中put一個數(shù)據(jù)
public V put(K key, V value) {
    return putVal(key, value, false);
}
// 向并發(fā)Map中put一個數(shù)據(jù)
// Key: 數(shù)據(jù)的鍵
// value:數(shù)據(jù)的值
// onlyIfAbsent:是否替換數(shù)據(jù):
// 如果為false,則當(dāng)put數(shù)據(jù)時,遇到Map中有相同K,V的數(shù)據(jù),則將其替換
// 如果為true,則當(dāng)put數(shù)據(jù)時,遇到Map中有相同K,V的數(shù)據(jù),則不做替換,不插入
final V putVal(K key, V value, boolean onlyIfAbsent) {
    // 控制k 和 v 不能為null
    if (key == null || value == null) throw new NullPointerException();
    // 通過spread方法,可以讓高位也能參與進(jìn)尋址運(yùn)算,使最終得到的hash值更分散
    int hash = spread(key.hashCode());
    // binCount表示當(dāng)前k-v 封裝成node插入到指定桶位后,在桶位中的所屬鏈表的下標(biāo)位置
    // =0 表示當(dāng)前桶位為null,node可以直接放入
    // >0 表示當(dāng)前桶位中有節(jié)點,遍歷鏈表,將封裝k-v的新node放入鏈表末尾,并記錄鏈表末尾的下標(biāo)binCount
    // =2 表示當(dāng)前桶位**可能**已經(jīng)樹化為紅黑樹了
    int binCount = 0;
    // tab 引用map對象的table
	// 自旋
    for (Node<K,V>[] tab = table;;) {
        // f 表示桶位的頭結(jié)點
        // n 表示散列表數(shù)組的長度
        // i 表示key通過尋址計算后,得到的桶位下標(biāo)
        // fh 表示桶位頭結(jié)點的hash值
        Node<K,V> f; int n, i, fh;
        // -----------------------------------------------------------------------------
        // CASE1:成立,表示當(dāng)前map中的table尚未初始化...
        if (tab == null || (n = tab.length) == 0)
            // 對map中的table進(jìn)行初始化
            tab = initTable();
        // -----------------------------------------------------------------------------
        // CASE2:table已經(jīng)初始化,此時根據(jù)尋址算法確定一個桶,并且桶的頭結(jié)點f為null
        // i 表示key使用路由尋址算法得到key對應(yīng)table數(shù)組的下標(biāo)位置,tabAt方法獲取指定桶位i的頭結(jié)點f
        else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
            // 這時候就可以將封裝k-v的結(jié)點直接放入桶
            // casTabAt通過CAS的方式去向Node數(shù)組指定位置i設(shè)置節(jié)點值,設(shè)置成功返回true 否則返回false
            if (casTabAt(tab, i, null,
                         new Node<K,V>(hash, key, value, null)))
                break;
        }
        // -----------------------------------------------------------------------------
        // CASE3:table已經(jīng)初始化,尋址得到的桶位中的頭結(jié)點f不是null,如果該頭結(jié)點f的hash值fh=-1:
        // 則,表示當(dāng)前節(jié)點是FWD(forwarding)節(jié)點
        // 如果CASE3條件成立:表示當(dāng)前桶位的頭結(jié)點為 FWD結(jié)點,表示目前map正處于擴(kuò)容過程中..
        else if ((fh = f.hash) == MOVED)
            // 發(fā)現(xiàn)f是FWD結(jié)點后,當(dāng)前結(jié)點有義務(wù)去幫助當(dāng)前map對象完成數(shù)據(jù)遷移工作...
            // 等學(xué)完擴(kuò)容再來分析這里~
            tab = helpTransfer(tab, f);
        // -----------------------------------------------------------------------------
        // CASE4:CASE1-3都不滿足時,那么當(dāng)前桶位存放的可能是鏈表也可能是紅黑樹代理結(jié)點TreeBin
        else {
            // 保留替換之前的數(shù)據(jù)引用:當(dāng)新插入的key存在后,會將舊值賦給OldVal,返回給put方法調(diào)用
            V oldVal = null;
            // 使用synchronized加鎖“頭節(jié)點”(**理論上是“頭結(jié)點”**)
            synchronized (f) {
                // -----------------------------------------------------------------------
        		// CASE5:tabAt(tab, i) == f
                // 對比一下當(dāng)前桶位的頭節(jié)點是否為之前獲取的頭結(jié)點:為什么又要對比一下?
                // 如果其它線程在當(dāng)前線程之前將該桶位的頭結(jié)點修改掉了,當(dāng)前線程再使用sync對該節(jié)點f加鎖就有問題了(鎖本身加錯了地方~) 
                if (tabAt(tab, i) == f) {// 如果條件成立,說明加鎖的對象f沒有問題,持有鎖!
                    // ------------------------------------------------------------------
                    // CASE6:fh >= 0)
                    // 如果條件成立,說明當(dāng)前桶位就是普通鏈表桶位,這里回顧下常量屬性字段:
                    // static final int MOVED = -1; 表示當(dāng)前節(jié)點是FWD(forwarding)節(jié)點
                    // static final int TREEBIN = -2; 表示當(dāng)前節(jié)點已經(jīng)樹化
                    if (fh >= 0) {
                        // 1.當(dāng)前插入key與鏈表當(dāng)中所有元素的key都不一致時,當(dāng)前的插入操作是追加到鏈表的末尾,binCount此時表示鏈表長度
                        // 2.當(dāng)前插入key與鏈表當(dāng)中的某個元素的key一致時,當(dāng)前插入操作可能就是替換了。binCount表示沖突位置(binCount - 1)
                        binCount = 1;
                        // 迭代循環(huán)當(dāng)前桶位的鏈表,e是每次循環(huán)處理節(jié)點。
                        for (Node<K,V> e = f;; ++binCount) {
                            // 當(dāng)前循環(huán)遍歷節(jié)點的key
                            K ek;
                            // --------------------------------------------------------
                    		// CASE7:
                            // 條件一:e.hash == hash
                            // 成立:表示循環(huán)的當(dāng)前元素的hash值與插入節(jié)點的hash值一致,需要進(jìn)一步判斷
                            // 條件二:((ek = e.key) == key ||(ek != null && key.equals(ek)))
                            // 成立:說明循環(huán)的當(dāng)前節(jié)點與插入節(jié)點的key一致,確實發(fā)生沖突了~
                            if (e.hash == hash &&
                                ((ek = e.key) == key ||
                                 (ek != null && key.equals(ek)))) {
                                // 將當(dāng)前循環(huán)的元素的值賦值給oldVal
                                oldVal = e.val;
                                // 傳入的putVal方法參數(shù)onlyIfAbsent:是否替換數(shù)據(jù):
                                // false,當(dāng)put數(shù)據(jù)時,遇到Map中有相同K,V的數(shù)據(jù),則將其替換
                                // true,當(dāng)put數(shù)據(jù)時,遇到Map中有相同K,V的數(shù)據(jù),則不做替換,不插入
                                if (!onlyIfAbsent)
                                    e.val = value;
                                break;
                            }
                            // --------------------------------------------------------
                    		// CASE8:
                            // 當(dāng)前元素與插入元素的key不一致時,會走下面程序:
                            // 1.更新循環(huán)遍歷的節(jié)點為當(dāng)前節(jié)點的下一個節(jié)點
                            // 2.判斷下一個節(jié)點是否為null,如果是null,說明當(dāng)前節(jié)點已經(jīng)是隊尾了,插入數(shù)據(jù)需要追加到隊尾節(jié)點的后面。
                            Node<K,V> pred = e;
                            if ((e = e.next) == null) {
                                pred.next = new Node<K,V>(hash, key,
                                                          value, null);
                                break;
                            }
                        }
                    }
                    // ------------------------------------------------------------------
                    // CASE9:f instanceof TreeBin
                    // 如果條件成立,表示當(dāng)前桶位是紅黑樹代理結(jié)點TreeBin
                    //(前置條件:該桶位一定不是鏈表)
                    else if (f instanceof TreeBin) {
                        // p表示紅黑樹中如果與你插入節(jié)點的key 有沖突節(jié)點的話,則putTreeVal方法會返回沖突節(jié)點的引用。
                        Node<K,V> p;
                        // 強(qiáng)制設(shè)置binCount為2,因為binCount <= 1 時有其它含義,所以這里設(shè)置為了2 (回頭講addCount的時候會詳細(xì)介紹)
                        binCount = 2;
                        // 條件一成立,說明當(dāng)前插入節(jié)點的key與紅黑樹中的某個節(jié)點的key一致,沖突了:
                        // putTreeVal向紅黑樹中插入結(jié)點,插入成功返回null,否則返回沖突結(jié)點對象
                        if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
                                                       value)) != null) {
                            // 將沖突節(jié)點的值賦值給oldVal
                            oldVal = p.val;
                            if (!onlyIfAbsent)
                                p.val = value;
                        }
                    }
                }
            }
            // ------------------------------------------------------------------
            // CASE10:binCount != 0
            // 說明當(dāng)前桶位不為null,可能是紅黑樹也可能是鏈表
            if (binCount != 0) {
                // 如果binCount>=8 表示處理的桶位一定是鏈表
                if (binCount >= TREEIFY_THRESHOLD)
                    // 因為桶中鏈表長度大于了8,需要樹化:
                    // 調(diào)用轉(zhuǎn)化鏈表為紅黑樹的方法
                    treeifyBin(tab, i);
                // 說明當(dāng)前線程插入的數(shù)據(jù)key,與原有k-v發(fā)生沖突,需要將原數(shù)據(jù)v返回給調(diào)用者。
                if (oldVal != null)
                    return oldVal;
                break;
            }
        }
    }
    // Map中的元素數(shù)據(jù)量累加方法:有額外的以下功能
    // 1.統(tǒng)計當(dāng)前table一共有多少數(shù)據(jù)
    // 2.并判斷是否達(dá)到擴(kuò)容閾值標(biāo)準(zhǔn),觸發(fā)擴(kuò)容。
    addCount(1L, binCount);
    return null;
}

2、initTable方法源碼分析

第一次放元素時,初始化桶數(shù)組:

/** 
 * table初始化
 */
private final Node<K,V>[] initTable() {
    // tab: 引用map.table
	// sc: sizeCtl的臨時值
    // sizeCtl:默認(rèn)為0,用來控制table的狀態(tài)、以及初始化和擴(kuò)容操作:
    // sizeCtl<0表示table的狀態(tài):
    //(1)=-1,表示有其他線程正在進(jìn)行初始化操作。(其他線程就不能再進(jìn)行初始化,相當(dāng)于一把鎖)
	//(2)=-(1 + nThreads),表示有n個線程正在一起擴(kuò)容。
    // sizeCtl>=0表示table的初始化和擴(kuò)容相關(guān)操作:
	//(3)=0,默認(rèn)值,后續(xù)在真正初始化table的時候使用,設(shè)置為默認(rèn)容量DEFAULT_CAPACITY --> 16。
	//(4)>0,將sizeCtl設(shè)置為table初始容量或擴(kuò)容完成后的下一次擴(kuò)容的門檻。
    Node<K,V>[] tab; int sc;
    // 附加條件的自旋: 條件是map.table尚未初始化...
    while ((tab = table) == null || tab.length == 0) {
        // -----------------------------------------------------------------------------
        // CASE1: sizeCtl) < 0
        // sizeCtl < 0可能是以下2種情況:
        //(1)-1,表示有其他線程正在進(jìn)行table初始化操作。
		//(2)-(1 + nThreads),表示有n個線程正在一起擴(kuò)容。
        if ((sc = sizeCtl) < 0)
            // 這里sizeCtl大概率就是-1,表示其它線程正在進(jìn)行創(chuàng)建table的過程,當(dāng)前線程沒有競爭到初始化table的鎖,進(jìn)而當(dāng)前線程被迫等待...
            Thread.yield();
        // -----------------------------------------------------------------------------
        // CASE2:sizeCtl) >= 0 且U.compareAndSwapInt(this, SIZECTL, sc, -1)結(jié)果為true
        // U.compareAndSwapInt(this, SIZECTL, sc, -1):以CAS的方式修改當(dāng)前線程的sizeCtl為-1,
        // sizeCtl如果成功被修改為-1,就返回true,否則返回false。
        // 當(dāng)返回true時,則該線程就可以進(jìn)入下面的else if代碼塊中,這時候sizeCtl=-1相當(dāng)于是一把鎖,表示下面的else if代碼塊已經(jīng)被該線程占用,其他線程不能再進(jìn)入~
        else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {
            try {
                // ----------------------------------------------------------------------
                // CASE3: 這里為什么又要判斷呢? 
                // 為了防止其它線程已經(jīng)初始化table完畢了,然后當(dāng)前線程再次對其初始化..導(dǎo)致丟失數(shù)據(jù)。
				// 如果條件成立,說明其它線程都沒有進(jìn)入過這個if塊,當(dāng)前線程就是具備初始化table權(quán)利了。
                if ((tab = table) == null || tab.length == 0) {
                    // sc大于等于0的情況如下:
                    //(3)=0,默認(rèn)值,后續(xù)在真正初始化table的時候使用,設(shè)置為默認(rèn)容量DEFAULT_CAPACITY --> 16。
					//(4)>0,將sizeCtl設(shè)置為table初始容量或擴(kuò)容完成后的下一次擴(kuò)容的門檻。
                    // 如果sc大于0,則創(chuàng)建table時使用sc為指定table初始容量大小,
                    // 否則使用16默認(rèn)值DEFAULT_CAPACITY
                    int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
                    @SuppressWarnings("unchecked")
                    // 創(chuàng)建新數(shù)組nt
                    Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
                    // 將新數(shù)組nt賦值給table、tab
                    table = tab = nt;
                    // sc設(shè)置為下次散列表擴(kuò)容的門檻:0.75n
                    sc = n - (n >>> 2);
                }
            } finally {
                // 將sc賦值給sizeCtl,分為一下2種情況:
                // 1、當(dāng)前線程既通過了CASE2的判斷,也通過了CASE3的判斷:
                // 則,當(dāng)前線程是第一次創(chuàng)建map.table的線程,那么,sc就表示下一次擴(kuò)容的閾值。
                // 2、當(dāng)線程通過了CASE2的判斷,但是沒有通過CASE3的判斷:
                // 則,當(dāng)前線程并不是第一次創(chuàng)建map.table的線程,當(dāng)前線程通過CASE2的判斷時,將
                // sizeCtl設(shè)置為了-1 ,那么在該線程結(jié)束上面的代碼邏輯之后,需要將sc修改回進(jìn)入CASE2之前的sc值。
                sizeCtl = sc;
            }
            break;
        }
    }
    return tab;
}

(1)使用CAS鎖控制只有一個線程初始化桶數(shù)組;

(2)sizeCtl在初始化后存儲的是擴(kuò)容門檻;

(3)擴(kuò)容門檻寫死的是桶數(shù)組大小的0.75倍,桶數(shù)組大小即map的容量,也就是最多存儲多少個元素。

3、addCount方法(難點)

在閱讀addCount方法源碼之前,最好再去熟悉下LongAdder源碼:一篇帶你解析入門LongAdder源碼

addCount方法作用:每次添加元素后,元素數(shù)量加1,并判斷是否達(dá)到擴(kuò)容門檻,達(dá)到了則進(jìn)行擴(kuò)容或協(xié)助擴(kuò)容。

/**
 * Map中的元素數(shù)據(jù)量累加方法:有額外的以下功能
 * 1.統(tǒng)計當(dāng)前table一共有多少數(shù)據(jù)
 * 2.并判斷是否達(dá)到擴(kuò)容閾值標(biāo)準(zhǔn),觸發(fā)擴(kuò)容
 */
private final void addCount(long x, int check) {
    // as 表示 LongAdder.cells
    // b 表示LongAdder.base
    // s 表示當(dāng)前map.table中元素的數(shù)量
    CounterCell[] as; long b, s;
    // -------------------------統(tǒng)計當(dāng)前table一共有多少數(shù)據(jù)----------------------------------
    // CASE1: 
    // (as = counterCells) != null
    // 條件一:true->表示cells已經(jīng)初始化了,當(dāng)前線程應(yīng)該去使用hash尋址找到合適的cell 去累加數(shù)據(jù)
    //        false->表示當(dāng)前線程應(yīng)該直接將數(shù)據(jù)累加到base(沒有線程競爭)
    // !U.compareAndSwapLong(this, BASECOUNT, b = baseCount, s = b + x)
    // 條件二:false->表示寫base成功,數(shù)據(jù)累加到base中了,當(dāng)前競爭不激烈,不需要創(chuàng)建cells
    //        true->表示寫base失敗,與其他線程在base上發(fā)生了競爭,當(dāng)前線程應(yīng)該去嘗試創(chuàng)建cells。
    if ((as = counterCells) != null ||
        !U.compareAndSwapLong(this, BASECOUNT, b = baseCount, s = b + x)) {
        // 有幾種情況進(jìn)入到if塊中?
        // 條件一為true->表示cells已經(jīng)初始化了,當(dāng)前線程應(yīng)該去使用hash尋址找到合適的cell去累加數(shù)據(jù)
        // 條件二為true->表示寫base失敗,與其他線程在base上發(fā)生了競爭,當(dāng)前線程應(yīng)該去嘗試創(chuàng)建cells。
        // a 表示當(dāng)前線程hash尋址命中的cell
        CounterCell a;
        // v 表示當(dāng)前線程寫cell時的期望值
        long v;
        // m 表示當(dāng)前cells數(shù)組的長度
        int m;
        // true -> 未發(fā)生線程競爭  false->發(fā)生線程競爭
        boolean uncontended = true;
        // ---------------------------------------------------------------------------
        // CASE2: 
        // 條件一:as == null || (m = as.length - 1) < 0
        // true-> 表示當(dāng)前線程是通過寫base競爭失敗(CASE1的條件二),然后進(jìn)入的if塊,就需要調(diào)用fullAddCount方法去擴(kuò)容或者重試.. 
        // (fullAddCount方法就類似于LongAdder.longAccumulate方法)
        // 條件二:a = as[ThreadLocalRandom.getProbe() & m]) == null 前置條件:cells已經(jīng)初始化了
        // true->表示當(dāng)前線程命中的cell表格是個空的,需要當(dāng)前線程進(jìn)入fullAddCount方法去初始化cell,放入當(dāng)前位置.
        // 條件三:!(uncontended = U.compareAndSwapLong(a, CELLVALUE, v = a.value, v + x)
        // 前置條件:條件二中當(dāng)前線程命中的cell表格不是空的~
        //       false->取反得到false,表示當(dāng)前線程使用cas方式更新當(dāng)前命中的cell成功
        //       true->取反得到true,表示當(dāng)前線程使用cas方式更新當(dāng)前命中的cell失敗,需要進(jìn)入fullAddCount進(jìn)行重試或者擴(kuò)容cells。
        if (as == null || (m = as.length - 1) < 0 ||
            (a = as[ThreadLocalRandom.getProbe() & m]) == null ||
            !(uncontended = U.compareAndSwapLong(a, CELLVALUE, v = a.value, v + x))
        ) {
            fullAddCount(x, uncontended);
            // 考慮到fullAddCount里面的事情比較累,就讓當(dāng)前線程不參與到擴(kuò)容相關(guān)的邏輯了,直接返回到調(diào)用點。
            return;
        }
        if (check <= 1)
            return;
        // sumCount統(tǒng)計當(dāng)前散列表元素個數(shù)sum = base + cells[0] + ... + cells[n],這是一個期望值
        s = sumCount();
    }
    // -------------------------判斷是否達(dá)到擴(kuò)容閾值標(biāo)準(zhǔn),觸發(fā)擴(kuò)容----------------------------
    // CASE3: 
    // check >= 0表示一定是一個put操作調(diào)用的addCount,check < 0是remove操作調(diào)用的addCount方法
    if (check >= 0) {
        // tab 表示 map.table
        // nt 表示 map.nextTable
        // n 表示map.table數(shù)組的長度
        // sc 表示sizeCtl的臨時值
        Node<K,V>[] tab, nt; int n, sc;
        /**
         * sizeCtl < 0
         * 1. -1 表示當(dāng)前table正在初始化(有線程在創(chuàng)建table數(shù)組),當(dāng)前線程需要自旋等待..
         * 2.表示當(dāng)前table數(shù)組正在進(jìn)行擴(kuò)容 ,高16位表示:擴(kuò)容的標(biāo)識戳   低16位表示:(1 + nThread) 當(dāng)前參與并發(fā)擴(kuò)容的線程數(shù)量
         *
         * sizeCtl = 0,表示創(chuàng)建table數(shù)組時 使用DEFAULT_CAPACITY為大小
         *
         * sizeCtl > 0
         *
         * 1. 如果table未初始化,表示初始化大小
         * 2. 如果table已經(jīng)初始化,表示下次擴(kuò)容時的 觸發(fā)條件(閾值)
         */
        // 有條件自旋~
        // 條件一:s >= (long)(sc = sizeCtl)
        //        true -> 1.當(dāng)前sizeCtl為一個負(fù)數(shù) 表示正在擴(kuò)容中..
        //                2.當(dāng)前sizeCtl是一個正數(shù),表示擴(kuò)容閾值,但是s已經(jīng)達(dá)到擴(kuò)容閾值(需要擴(kuò)容)
        //        false -> 表示當(dāng)前table尚未達(dá)到擴(kuò)容閾值條件(不需要擴(kuò)容)
        // 條件二:(tab = table) != null 恒成立 true
        // 條件三:(n = tab.length) < MAXIMUM_CAPACITY
        //        true -> 當(dāng)前table長度小于最大值限制,則可以進(jìn)行擴(kuò)容。
        while (s >= (long)(sc = sizeCtl) && (tab = table) != null &&
               (n = tab.length) < MAXIMUM_CAPACITY) {
            // 獲取擴(kuò)容唯一標(biāo)識戳
            // eg: 16 -> 32 擴(kuò)容標(biāo)識戳為:1000 0000 0001 1011
            // 什么意思呢?
            // 即,所有將map容量由16擴(kuò)容到32的線程,其拿到的擴(kuò)容唯一標(biāo)識戳都是1000 0000 0001 1011
            int rs = resizeStamp(n);
            // --------------------------------------------------------------------------
        	// CASE4: 
            // 條件成立:表示當(dāng)前table正在擴(kuò)容,則,當(dāng)前線程理論上應(yīng)該協(xié)助table完成擴(kuò)容
            if (sc < 0) {
                // --------------------------------------------------------------
        		// CASE2: 條件1~4只要有個為true就會跳出循環(huán),不會繼續(xù)擴(kuò)容~
                // 條件一:(sc >>> RESIZE_STAMP_SHIFT) != rs
                //       true -> 說明當(dāng)前線程獲取到的擴(kuò)容唯一標(biāo)識戳 非 本批次擴(kuò)容
                //       false -> 說明當(dāng)前線程獲取到的擴(kuò)容唯一標(biāo)識戳 是 本批次擴(kuò)容
                // 條件二:JDK1.8 中有bug,jira已經(jīng)提出來了,其實想表達(dá)的是 sc == (rs << 16 ) + 1
                //        true -> 表示擴(kuò)容完畢,當(dāng)前線程不需要再參與進(jìn)來了
                //        false -> 擴(kuò)容還在進(jìn)行中,當(dāng)前線程可以參與
                // 條件三:JDK1.8 中有bug,jira已經(jīng)提出來了,其實想表達(dá)的是:
                // sc == (rs << 16) + MAX_RESIZERS
                //        true-> 表示當(dāng)前參與并發(fā)擴(kuò)容的線程達(dá)到了最大值 65535 - 1
                //        false->表示當(dāng)前線程可以參與進(jìn)來
                //條件四:(nt = nextTable) == null
                //        true -> 表示本次擴(kuò)容結(jié)束
                //        false -> 擴(kuò)容正在進(jìn)行中
                if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
                    sc == rs + MAX_RESIZERS || (nt = nextTable) == null ||
                    transferIndex <= 0)
                    // 條件1~4只要有個為true就會跳出循環(huán),不會繼續(xù)擴(kuò)容~
                    break;
                // --------------------------------------------------------------
        		// CASE5: 
                // 前置條件:當(dāng)前table正在執(zhí)行擴(kuò)容中(即,CASE4沒有被通過)當(dāng)前線程有機(jī)會參與進(jìn)擴(kuò)容。
                // 條件成立:說明當(dāng)前線程成功參與到擴(kuò)容任務(wù)中,并且將sc低16位值加1,表示多了一個線程參與工作~
                // 條件失敗:
                // 1.當(dāng)前有很多線程都在此處嘗試修改sizeCtl,有其它一個線程修改成功了
                // 導(dǎo)致你的sc期望值與內(nèi)存中的值不一致,CAS修改失敗。(下次自選大概率不會在來到這里~)
                // 2.transfer任務(wù)內(nèi)部的線程也修改了sizeCtl。
                if (U.compareAndSwapInt(this, SIZECTL, sc, sc + 1))
                    // 擴(kuò)容(遷移數(shù)據(jù)):協(xié)助擴(kuò)容線程,持有nextTable參數(shù),進(jìn)入該方法協(xié)助擴(kuò)容~
                    transfer(tab, nt);
            }
            // --------------------------------------------------------------------------
        	// CASE6: 以CAS的方式去更新sc,更新成功返回true,否則返回false
            // 條件成立,說明當(dāng)前線程是觸發(fā)擴(kuò)容的**第一個**線程,在transfer方法需要做一些擴(kuò)容準(zhǔn)備工作:
            // rs << RESIZE_STAMP_SHIFT:將擴(kuò)容唯一標(biāo)識戳左移16位 eg:
            // 1000 0000 0001 1011 << 16 得到 1000 0000 0001 1011 0000 0000 0000 0000
            // 緊接這 (rs << RESIZE_STAMP_SHIFT) + 2)操作:
            // 1000 0000 0001 1011 0000 0000 0000 0000 + 2 
            // => 1000 0000 0001 1011 0000 0000 0000 0010,這個二進(jìn)制數(shù)有如下含義:
            // sizeCtl的高16位: 1000 0000 0001 1011 表示當(dāng)前的擴(kuò)容標(biāo)識戳
            // sizeCtl的低16位: 0000 0000 0000 0010 表示(1 + nThread),即,目前有多少個線程正在參與擴(kuò)容~
            // 那么這里的n是怎么來的呢? 
            // eg: (rs << RESIZE_STAMP_SHIFT) + 2 這里的2,就是1 + 1,后面的1就是對1*Thread,即(1+1*Threads)
            else if (U.compareAndSwapInt(this, SIZECTL, sc,
                                         (rs << RESIZE_STAMP_SHIFT) + 2))
                // 擴(kuò)容(遷移數(shù)據(jù)):觸發(fā)擴(kuò)容條件的線程 不持有nextTable
                transfer(tab, null);
            // 重新計算table中的元素個數(shù)
            s = sumCount();
        }
    }
}

4、總結(jié)

(1)元素個數(shù)的存儲方式類似于LongAdder類,存儲在不同的段上,減少不同線程同時更新size時的沖突;

(2)計算元素個數(shù)時把這些段的值及baseCount相加算出總的元素個數(shù);

(3)正常情況下sizeCtl存儲著擴(kuò)容門檻,擴(kuò)容門檻為容量的0.75倍;

(4)擴(kuò)容時sizeCtl高位存儲擴(kuò)容郵戳(resizeStamp),低位存儲擴(kuò)容線程數(shù)加1(1+nThreads);

(5)其它線程添加元素后如果發(fā)現(xiàn)存在擴(kuò)容,也會加入的擴(kuò)容行列中來;

以上就是ConcurrentHashMap源碼的put存入數(shù)據(jù)的方法以及相關(guān)方法,由于transfer 遷移數(shù)據(jù)這個方法比較復(fù)雜,我們放在下一篇文章中單獨(dú)分析~也希望大家多多關(guān)注腳本之家的其他內(nèi)容!

相關(guān)文章

最新評論