主頁 >  其他 > JDK1.8中的ConcurrentHashMap原始碼分析

JDK1.8中的ConcurrentHashMap原始碼分析

2021-04-04 13:28:42 其他

JDK1.8中的ConcurrentHashMap原始碼分析

一、容器初始化

1、原始碼分析

在jdk8的ConcurrentHashMap中一共有5個構造方法,這四個構造方法中都沒有對內部的陣列做初始化, 只是對一些變數的初始值做了處理

jdk8的ConcurrentHashMap的陣列初始化是在第一次添加元素時完成

// 沒有維護任何變數的操作,如果呼叫該方法,陣列長度默認是16
public ConcurrentHashMap() {
}
// 傳遞進來一個初始容量,ConcurrentHashMap會基于這個值計算一個比這個值大的2的冪次方數作為初始容量
public ConcurrentHashMap(int initialCapacity) {
    if (initialCapacity < 0)
        throw new IllegalArgumentException();
    int cap = ((initialCapacity >= (MAXIMUM_CAPACITY >>> 1)) ?
               MAXIMUM_CAPACITY :
               tableSizeFor(initialCapacity + (initialCapacity >>> 1) + 1));// 此處的初始容量計算結果為傳入的容量 + 傳入的容量的一半 + 1
    this.sizeCtl = cap;
}

注意,呼叫這個方法,得到的初始容量和HashMap以及jdk7的ConcurrentHashMap不同,即使你傳遞的是一個2的冪次方數,該方法計算出來的初始容量依然是比這個值大的2的冪次方數

// 呼叫四個引數的構造
public ConcurrentHashMap(int initialCapacity, float loadFactor) {
    this(initialCapacity, loadFactor, 1);
}
// 計算一個大于或者等于給定的容量值,該值是2的冪次方數作為初始容量
public ConcurrentHashMap(int initialCapacity,
                         float loadFactor, int concurrencyLevel) {
    if (!(loadFactor > 0.0f) || initialCapacity < 0 || concurrencyLevel <= 0)
        throw new IllegalArgumentException();
    if (initialCapacity < concurrencyLevel)   // Use at least as many bins
        initialCapacity = concurrencyLevel;   // as estimated threads
    long size = (long)(1.0 + (long)initialCapacity / loadFactor);
    int cap = (size >= (long)MAXIMUM_CAPACITY) ?
        MAXIMUM_CAPACITY : tableSizeFor((int)size);
    this.sizeCtl = cap;
}
// 基于一個Map集合,構建一個ConcurrentHashMap
// 初始容量為16
public ConcurrentHashMap(Map<? extends K, ? extends V> m) {
    this.sizeCtl = DEFAULT_CAPACITY;
    putAll(m);
}

2、sizeCtl含義解釋

注意:以上這些構造方法中,都涉及到一個變數sizeCtl,這個變數是一個非常重要的變數,而且具有非常豐富的含義,它的值不同,對應的含義也不一樣,這里我們先對這個變數不同的值的含義做一下說明,后續原始碼分析程序中,進一步解釋

sizeCtl為0,代表陣列未初始化, 且陣列的初始容量為16

sizeCtl為正數,如果陣列未初始化,那么其記錄的是陣列的初始容量,如果陣列已經初始化,那么其記錄的是陣列的擴容閾值

sizeCtl為-1,表示陣列正在進行初始化

sizeCtl小于0,并且不是-1,表示陣列正在擴容, -(1+n),表示此時有n個執行緒正在共同完成陣列的擴容操作

3、其他屬性含義

  • 代表整個哈希表

    • transient volatile Node<K,V>[] table;
      
  • 用于哈希表擴容,擴容完成后會被重置為null,

    • private transient volatile Node<K,V>[] nextTable;
      
  • baseCount和counterCells一起保存著整個哈希表中存盤的所有的結點的個數總和,

    • private transient volatile long baseCount;
      private transient volatile CounterCell[] counterCells;
      

二、添加安全

1、原始碼分析

1.1、添加元素put/putVal方法
public V put(K key, V value) {
    return putVal(key, value, false);
}
final V putVal(K key, V value, boolean onlyIfAbsent) {
    // 如果有空值或者空鍵,直接拋例外
    if (key == null || value == null) throw new NullPointerException();
    // 基于key計算hash值,并進行一定的擾動,這里計算的hash一定是正數,因為與7FFFFFFF進行了位與運算,負數的hash值另有他用
    int hash = spread(key.hashCode());
    // 記錄某個桶上元素的個數,如果超過8個(并且table長度>=64),會轉成紅黑樹
    int binCount = 0;
    for (Node<K,V>[] tab = table;;) {
        Node<K,V> f; int n, i, fh;
        // 如果陣列還未初始化,先對陣列進行初始化
        if (tab == null || (n = tab.length) == 0)
            tab = initTable();
	    // 如果hash計算得到的桶位置沒有元素,利用cas將元素添加
        else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
            // cas+自旋(和外側的for構成自旋回圈),保證元素添加安全
            if (casTabAt(tab, i, null,
                         new Node<K,V>(hash, key, value, null)))
                break;                   // no lock when adding to empty bin
        }
        // 如果hash計算得到的桶位置元素的hash值為MOVED(-1),證明正在擴容,那么協助擴容
        else if ((fh = f.hash) == MOVED)
            tab = helpTransfer(tab, f);
        else {
            // hash計算的桶位置元素不為空,且當前沒有處于擴容操作,進行元素添加
            V oldVal = null;
            // 對當前陣列的第一個結點進行加鎖,執行添加操作,這里不僅保證了執行緒安全而且使得鎖的粒度相對較小
            synchronized (f) {
                if (tabAt(tab, i) == f) {
                    // 普通鏈表節點
                    if (fh >= 0) {
                        binCount = 1;
                        for (Node<K,V> e = f;; ++binCount) {
                            K ek;
                            // 鏈表的遍歷找到最后一個結點進行尾插法(如果找到相同的key則會覆寫)
                            if (e.hash == hash &&
                                ((ek = e.key) == key ||
                                 (ek != null && key.equals(ek)))) {
                                oldVal = e.val;
                                if (!onlyIfAbsent)
                                    e.val = value;
                                break;
                            }
                            Node<K,V> pred = e;
                            // 找到了最后一個結點,尾插法插入新結點在最后
                            if ((e = e.next) == null) {
                                pred.next = new Node<K,V>(hash, key,
                                                          value, null);
                                break;
                            }
                        }
                    }
                    // 樹節點,將元素添加到紅黑樹中
                    else if (f instanceof TreeBin) {
                        Node<K,V> p;
                        binCount = 2;
                        if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
                                                       value)) != null) {
                            oldVal = p.val;
                            if (!onlyIfAbsent)
                                p.val = value;
                        }
                    }
                }
            }
            if (binCount != 0) {
                // 鏈表長度>=8,將鏈表轉成紅黑樹
                if (binCount >= TREEIFY_THRESHOLD)
                    // (在該方法中會對table也就是陣列長度進行判斷,>=64時才會進行轉樹,否則為陣列擴容)
                    treeifyBin(tab, i);
                // 如果是重復鍵,直接將舊值回傳
                if (oldVal != null)
                    return oldVal;
                break;
            }
        }
    }
    // 添加的是新元素,維護集合長度,并判斷是否要進行擴容操作
    addCount(1L, binCount);
    return null;
}

通過以上原始碼,我們可以看到,當需要添加元素時,會針對當前元素所對應的桶位進行加鎖操作,這樣一方面保證元素添加時,多執行緒的安全,同時對某個桶位加鎖不會影響其他桶位的操作,進一步提升多執行緒的并發效率

1.2、陣列初始化,initTable方法
private final Node<K,V>[] initTable() {
    Node<K,V>[] tab; int sc;
    // cas+自旋,保證執行緒安全,對陣列進行初始化操作
    while ((tab = table) == null || tab.length == 0) {
        // 如果sizeCtl的值(-1)小于0,說明此時正在初始化, 讓出cpu
        if ((sc = sizeCtl) < 0)
            Thread.yield(); // lost initialization race; just spin
        // cas修改sizeCtl的值為-1,修改成功,進行陣列初始化,失敗,繼續自旋
        else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {
            try {
                // double checking,防止重復初始化
                if ((tab = table) == null || tab.length == 0) {
                    // sizeCtl為0,取默認長度16,否則去sizeCtl的值
                    int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
                    @SuppressWarnings("unchecked")
                    // 基于初始長度,構建陣列物件
                    Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
                    table = tab = nt;
                    // 計算擴容閾值,并賦值給sc
                    // n就是當前陣列的長度,當初始化完成后,sc記錄的是下次需要擴容的閾值
                    // n >>> 2 就相當于 n / 4
                    // 所以 n - (n >>> 2) 就相當于 n - n / 4 = n * 0.75,而0.75就是默認的加載因子
                    sc = n - (n >>> 2);
                }
            } finally {
                //將擴容閾值,賦值給sizeCtl
                sizeCtl = sc;
            }
            break;
        }
    }
    return tab;
}

2、圖解

2.1、put加鎖圖解

在這里插入圖片描述

三、擴容安全

1、原始碼分析

private final void transfer(Node<K,V>[] tab, Node<K,V>[] nextTab) {
    int n = tab.length, stride;
    // 如果是多cpu,那么每個執行緒劃分任務,最小任務量是16個桶位的遷移
    // 如果是單cpu,則沒必要劃分
    if ((stride = (NCPU > 1) ? (n >>> 3) / NCPU : n) < MIN_TRANSFER_STRIDE)
        stride = MIN_TRANSFER_STRIDE; // subdivide range
    // 如果是擴容執行緒,此時新陣列為null
    if (nextTab == null) {            // initiating
        try {
            @SuppressWarnings("unchecked")
            // 兩倍擴容創建新陣列
            Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n << 1];
            nextTab = nt;
        } catch (Throwable ex) {      // try to cope with OOME
            sizeCtl = Integer.MAX_VALUE;
            return;
        }
        nextTable = nextTab;
        // 記錄執行緒開始遷移的桶位,從后往前遷移
        transferIndex = n;
    }
    // 記錄新陣列的末尾
    int nextn = nextTab.length;
    // 已經遷移的桶位,會用這個節點占位(這個節點的hash值為-1——MOVED)
    ForwardingNode<K,V> fwd = new ForwardingNode<K,V>(nextTab);
    boolean advance = true;
    boolean finishing = false; // to ensure sweep before committing nextTab
    for (int i = 0, bound = 0;;) {
        Node<K,V> f; int fh;
        while (advance) {
            int nextIndex, nextBound;
            // i記錄當前正在遷移桶位的索引值
            // bound記錄下一次任務遷移的開始桶位
            
            // --i >= bound 成立表示當前執行緒分配的遷移任務還沒有完成
            if (--i >= bound || finishing)
                advance = false;
            // 沒有元素需要遷移 -- 后續會去將擴容執行緒數減1,并判斷擴容是否完成
            else if ((nextIndex = transferIndex) <= 0) {
                i = -1;
                advance = false;
            }
            // 計算下一次任務遷移的開始桶位,并將這個值賦值給transferIndex
            else if (U.compareAndSwapInt
                     (this, TRANSFERINDEX, nextIndex,
                      nextBound = (nextIndex > stride ?
                                   nextIndex - stride : 0))) {
                bound = nextBound;
                i = nextIndex - 1;
                advance = false;
            }
        }
        // 如果沒有更多的需要遷移的桶位,就進入該if
        if (i < 0 || i >= n || i + n >= nextn) {
            int sc;
            //擴容結束后,保存新陣列,并重新計算擴容閾值,賦值給sizeCtl
            if (finishing) {
                nextTable = null;
                table = nextTab;
                sizeCtl = (n << 1) - (n >>> 1);
                return;
            }
		   // 擴容任務執行緒數減1
            if (U.compareAndSwapInt(this, SIZECTL, sc = sizeCtl, sc - 1)) {
                // 判斷當前所有擴容任務執行緒是否都執行完成
                if ((sc - 2) != resizeStamp(n) << RESIZE_STAMP_SHIFT)
                    return;
                // 所有擴容執行緒都執行完,標識結束
                finishing = advance = true;
                i = n; // recheck before commit
            }
        }
        // 當前遷移的桶位沒有元素,直接在該位置添加一個fwd節點
        else if ((f = tabAt(tab, i)) == null)
            advance = casTabAt(tab, i, null, fwd);
        // 當前節點已經被遷移
        else if ((fh = f.hash) == MOVED)
            advance = true; // already processed
        else {
            // 當前節點需要遷移,加鎖遷移,保證多執行緒安全
            // 此處的遷移與hashmap類似
            synchronized (f) {
                if (tabAt(tab, i) == f) {
                    Node<K,V> ln, hn;
                    if (fh >= 0) {
                        int runBit = fh & n;
                        Node<K,V> lastRun = f;
                        for (Node<K,V> p = f.next; p != null; p = p.next) {
                            int b = p.hash & n;
                            if (b != runBit) {
                                runBit = b;
                                lastRun = p;
                            }
                        }
                        if (runBit == 0) {
                            ln = lastRun;
                            hn = null;
                        }
                        else {
                            hn = lastRun;
                            ln = null;
                        }
                        for (Node<K,V> p = f; p != lastRun; p = p.next) {
                            int ph = p.hash; K pk = p.key; V pv = p.val;
                            if ((ph & n) == 0)
                                ln = new Node<K,V>(ph, pk, pv, ln);
                            else
                                hn = new Node<K,V>(ph, pk, pv, hn);
                        }
                        setTabAt(nextTab, i, ln);
                        setTabAt(nextTab, i + n, hn);
                        setTabAt(tab, i, fwd);
                        advance = true;
                    }
                    else if (f instanceof TreeBin) {
                        TreeBin<K,V> t = (TreeBin<K,V>)f;
                        TreeNode<K,V> lo = null, loTail = null;
                        TreeNode<K,V> hi = null, hiTail = null;
                        int lc = 0, hc = 0;
                        for (Node<K,V> e = t.first; e != null; e = e.next) {
                            int h = e.hash;
                            TreeNode<K,V> p = new TreeNode<K,V>
                                (h, e.key, e.val, null, null);
                            if ((h & n) == 0) {
                                if ((p.prev = loTail) == null)
                                    lo = p;
                                else
                                    loTail.next = p;
                                loTail = p;
                                ++lc;
                            }
                            else {
                                if ((p.prev = hiTail) == null)
                                    hi = p;
                                else
                                    hiTail.next = p;
                                hiTail = p;
                                ++hc;
                            }
                        }
                        ln = (lc <= UNTREEIFY_THRESHOLD) ? untreeify(lo) :
                            (hc != 0) ? new TreeBin<K,V>(lo) : t;
                        hn = (hc <= UNTREEIFY_THRESHOLD) ? untreeify(hi) :
                            (lc != 0) ? new TreeBin<K,V>(hi) : t;
                        setTabAt(nextTab, i, ln);
                        setTabAt(nextTab, i + n, hn);
                        setTabAt(tab, i, fwd);
                        advance = true;
                    }
                }
            }
        }
    }
}

2、圖解

在這里插入圖片描述

四、多執行緒擴容效率改進(協助擴容)

多執行緒協助擴容的操作會在兩個地方被觸發:

① 當添加元素時,發現添加的元素對用的桶位為fwd節點,就會先去協助擴容,然后再添加元素

② 當添加完元素后,判斷當前元素個數達到了擴容閾值,此時發現sizeCtl的值小于0,并且新陣列不為空,這個時候,會去協助擴容

每當有一個執行緒幫助擴容時,sc就會+1,有一個執行緒擴容結束時,sc就會-1,當sc重新回到(rs << RESIZE_STAMP_SHIFT) + 2這個值時,代表當前執行緒是最后一個擴容的執行緒,則擴容結束,

1、原始碼分析

1.1、元素未添加,先協助擴容,擴容完后再添加元素
final V putVal(K key, V value, boolean onlyIfAbsent) {
    if (key == null || value == null) throw new NullPointerException();
    int hash = spread(key.hashCode());
    int binCount = 0;
    for (Node<K,V>[] tab = table;;) {
        Node<K,V> f; int n, i, fh;
        if (tab == null || (n = tab.length) == 0)
            tab = initTable();
        else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
            if (casTabAt(tab, i, null,
                         new Node<K,V>(hash, key, value, null)))
                break;                   // no lock when adding to empty bin
        }
        // 發現此處為fwd節點,協助擴容,擴容結束后,再回圈回來添加元素
        else if ((fh = f.hash) == MOVED)
            tab = helpTransfer(tab, f);
        
        // 省略代碼
final Node<K,V>[] helpTransfer(Node<K,V>[] tab, Node<K,V> f) {
    Node<K,V>[] nextTab; int sc;
    if (tab != null && (f instanceof ForwardingNode) &&
        (nextTab = ((ForwardingNode<K,V>)f).nextTable) != null) {
        int rs = resizeStamp(tab.length);
        while (nextTab == nextTable && table == tab &&
               (sc = sizeCtl) < 0) {
            if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
                sc == rs + MAX_RESIZERS || transferIndex <= 0)
                break;
            if (U.compareAndSwapInt(this, SIZECTL, sc, sc + 1)) {
                //  擴容,傳遞一個不是null的nextTab
                transfer(tab, nextTab);
                break;
            }
        }
        return nextTab;
    }
    return table;
}
1.2、先添加元素,再協助擴容
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);
            // sizeCtl小于0,說明正在執行擴容,那么協助擴容
            if (sc < 0) {
                if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
                    sc == rs + MAX_RESIZERS || (nt = nextTable) == null ||
                    transferIndex <= 0)
                    break;
                if (U.compareAndSwapInt(this, SIZECTL, sc, sc + 1))
                    transfer(tab, nt);
            }
            else if (U.compareAndSwapInt(this, SIZECTL, sc,
                                         (rs << RESIZE_STAMP_SHIFT) + 2))
                transfer(tab, null);
            s = sumCount();
        }
    }
}

注意:擴容的代碼都在transfer方法中,這里不再贅述

2、圖解

五、集合長度的累計方式

1、原始碼分析

1.1、addCount方法

① CounterCell陣列不為空,優先利用陣列中的CounterCell記錄數量

② 如果陣列為空,嘗試對baseCount進行累加,失敗后,會執行fullAddCount邏輯

③ 如果是添加元素操作,會繼續判斷是否需要擴容

private final void addCount(long x, int check) {
    CounterCell[] as; long b, s;
    // 當CounterCell陣列不為空,則優先利用陣列中的CounterCell記錄數量
    // 或者當baseCount的累加操作失敗,會利用陣列中的CounterCell記錄數量
    if ((as = counterCells) != null ||
        !U.compareAndSwapLong(this, BASECOUNT, b = baseCount, s = b + x)) {
        CounterCell a; long v; int m;
        // 標識是否有多執行緒競爭
        boolean uncontended = true;
        // 當as陣列為空
        // 或者當as長度為0
        // 或者當前執行緒對應的as陣列桶位的元素為空
        // 或者當前執行緒對應的as陣列桶位不為空,但是累加失敗
        if (as == null || (m = as.length - 1) < 0 ||
            (a = as[ThreadLocalRandom.getProbe() & m]) == null ||
            !(uncontended =
              U.compareAndSwapLong(a, CELLVALUE, v = a.value, v + x))) {
            // 以上任何一種情況成立,都會進入該方法,傳入的uncontended是false
            fullAddCount(x, uncontended);
            return;
        }
        if (check <= 1)
            return;
        // 計算元素個數
        s = sumCount();
    }
    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);
            // sc小于0,說明有執行緒正在擴容,那么會協助擴容
            if (sc < 0) {
                // 擴容結束或者擴容執行緒數達到最大值或者擴容后的陣列為null或者沒有更多的桶位需要轉移,結束操作
                if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
                    sc == rs + MAX_RESIZERS || (nt = nextTable) == null ||
                    transferIndex <= 0)
                    break;
                // 擴容執行緒加1,成功后,進行協助擴容操作
                if (U.compareAndSwapInt(this, SIZECTL, sc, sc + 1))
                    // 協助擴容,newTable不為null
                    transfer(tab, nt);
            }
            // 沒有其他執行緒在進行擴容,達到擴容閾值后,給sizeCtl賦了一個很大的負數
            // 1+1=2 --》 代表此時有一個執行緒在擴容
            
            // rs << RESIZE_STAMP_SHIFT)是一個很大的負數
            else if (U.compareAndSwapInt(this, SIZECTL, sc,
                                         (rs << RESIZE_STAMP_SHIFT) + 2))
                // 擴容,newTable為null
                transfer(tab, null);
            s = sumCount();
        }
    }
}
1.2、fullAddCount方法

① 當CounterCell陣列不為空,優先對CounterCell陣列中的CounterCell的value累加

② 當CounterCell陣列為空,會去創建CounterCell陣列,默認長度為2,并對陣列中的CounterCell的value累加

③ 當陣列為空,并且此時有別的執行緒正在創建陣列,那么嘗試對baseCount做累加,成功即回傳,否則自旋

private final void fullAddCount(long x, boolean wasUncontended) {
    int h;
    // 獲取當前執行緒的hash值
    if ((h = ThreadLocalRandom.getProbe()) == 0) {
        ThreadLocalRandom.localInit();      // force initialization
        h = ThreadLocalRandom.getProbe();
        wasUncontended = true;
    }
    // 標識是否有沖突,如果最后一個桶不是null,那么為true
    boolean collide = false;                // True if last slot nonempty
    for (;;) {
        CounterCell[] as; CounterCell a; int n; long v;
        // 陣列不為空,優先對陣列中CouterCell的value累加
        if ((as = counterCells) != null && (n = as.length) > 0) {
            // 執行緒對應的桶位為null
            if ((a = as[(n - 1) & h]) == null) {
                if (cellsBusy == 0) {            // Try to attach new Cell
                    // 創建CounterCell物件
                    CounterCell r = new CounterCell(x); // Optimistic create
                    // 利用CAS修改cellBusy狀態為1,成功則將剛才創建的CounterCell物件放入陣列中
                    if (cellsBusy == 0 &&
                        U.compareAndSwapInt(this, CELLSBUSY, 0, 1)) {
                        boolean created = false;
                        try {               // Recheck under lock
                            CounterCell[] rs; int m, j;
                            // 桶位為空, 將CounterCell物件放入陣列
                            if ((rs = counterCells) != null &&
                                (m = rs.length) > 0 &&
                                rs[j = (m - 1) & h] == null) {
                                rs[j] = r;
                                // 表示放入成功
                                created = true;
                            }
                        } finally {
                            cellsBusy = 0;
                        }
                        if (created) //成功退出回圈
                            break;
                        // 桶位已經被別的執行緒放置了已給CounterCell物件,繼續回圈
                        continue;           // Slot is now non-empty
                    }
                }
                collide = false;
            }
            // 桶位不為空,重新計算執行緒hash值,然后繼續回圈
            else if (!wasUncontended)       // CAS already known to fail
                wasUncontended = true;      // Continue after rehash
            // 重新計算了hash值后,對應的桶位依然不為空,對value累加
            // 成功則結束回圈
            // 失敗則繼續下面判斷
            else if (U.compareAndSwapLong(a, CELLVALUE, v = a.value, v + x))
                break;
            // 陣列被別的執行緒改變了,或者陣列長度超過了可用cpu大小,重新計算執行緒hash值,否則繼續下一個判斷
            else if (counterCells != as || n >= NCPU)
                collide = false;            // At max size or stale
            // 當沒有沖突,修改為有沖突,并重新計算執行緒hash,繼續回圈
            else if (!collide)
                collide = true;
            // 如果CounterCell的陣列長度沒有超過cpu核數,對陣列進行兩倍擴容
            // 并繼續回圈
            else if (cellsBusy == 0 &&
                     U.compareAndSwapInt(this, CELLSBUSY, 0, 1)) {
                try {
                    if (counterCells == as) {// Expand table unless stale
                        CounterCell[] rs = new CounterCell[n << 1];
                        for (int i = 0; i < n; ++i)
                            rs[i] = as[i];
                        counterCells = rs;
                    }
                } finally {
                    cellsBusy = 0;
                }
                collide = false;
                continue;                   // Retry with expanded table
            }
            h = ThreadLocalRandom.advanceProbe(h);
        }
        // CounterCell陣列為空,并且沒有執行緒在創建陣列,修改標記,并創建陣列
        else if (cellsBusy == 0 && counterCells == as &&
                 U.compareAndSwapInt(this, CELLSBUSY, 0, 1)) {
            boolean init = false;
            try {                           // Initialize table
                if (counterCells == as) {
                    CounterCell[] rs = new CounterCell[2];
                    rs[h & 1] = new CounterCell(x);
                    counterCells = rs;
                    init = true;
                }
            } finally {
                cellsBusy = 0;
            }
            if (init)
                break;
        }
        // 陣列為空,并且有別的執行緒在創建陣列,那么嘗試對baseCount做累加,成功就退出回圈,失敗就繼續回圈
        else if (U.compareAndSwapLong(this, BASECOUNT, v = baseCount, v + x))
            break;                          // Fall back on using base
    }
}

2、圖解

fullAddCount方法中,當as陣列不為空的邏輯圖解
在這里插入圖片描述

六、集合長度獲取

1、原始碼分析

1.1、size方法
public int size() {
    long n = sumCount();
    return ((n < 0L) ? 0 :
            (n > (long)Integer.MAX_VALUE) ? Integer.MAX_VALUE :
            (int)n);
}
1.2、sumCount方法
final long sumCount() {
    CounterCell[] as = counterCells; CounterCell a;
    // 獲取baseCount的值
    long sum = baseCount;
    if (as != null) {
        // 遍歷CounterCell陣列,累加每一個CounterCell的value值
        for (int i = 0; i < as.length; ++i) {
            if ((a = as[i]) != null)
                sum += a.value;
        }
    }
    return sum;
}

注意:這個方法并不是執行緒安全的

七、get方法

這個就很簡單了,獲得hash值,然后判斷存在與否,遍歷鏈表即可,注意get沒有任何鎖操作!

    public V get(Object key) {
        Node<K,V>[] tab; Node<K,V> e, p; int n, eh; K ek;
        // 計算key的hash值
        int h = spread(key.hashCode()); 
        if ((tab = table) != null && (n = tab.length) > 0 &&
            (e = tabAt(tab, (n - 1) & h)) != null) { // 表不為空并且表的長度大于0并且key所在的桶不為空
            if ((eh = e.hash)  h) { // 表中的元素的hash值與key的hash值相等
                if ((ek = e.key)  key || (ek != null && key.equals(ek))) // 鍵相等
                    // 回傳值
                    return e.val;
            }
            else if (eh < 0) // 是個TreeBin hash = -2 
                // 在紅黑樹中查找,因為紅黑樹中也保存這一個鏈表順序
                return (p = e.find(h, key)) != null ? p.val : null;
            while ((e = e.next) != null) { // 對于結點hash值大于0的情況鏈表
                if (e.hash  h &&
                    ((ek = e.key)  key || (ek != null && key.equals(ek))))
                    return e.val;
            }
        }
        return null;
    }

轉載請註明出處,本文鏈接:https://www.uj5u.com/qita/272179.html

標籤:其他

上一篇:越權漏洞

下一篇:有些疼痛會在夜晚時加重

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more