首頁(yè)技術(shù)文章正文

拜托!別再問(wèn)我hashmap是否線程安全

更新時(shí)間:2022-08-24 來(lái)源:黑馬程序員 瀏覽量:

  一、糟糕的面試

  面試官:小王,你說(shuō)說(shuō)HashMap的是線程安全的嗎?

  小王:HashMap不安全,在多線程下,會(huì)出現(xiàn)線程安全問(wèn)題。他兄弟HashTable

  線程是安全的,但是出于性能考慮,我們往往會(huì)選擇ConcurrentHashMap。

  面試官:HashMap線程不安全的原因是什么?

  小王:這個(gè)...暫時(shí)忘記了

  面試官:為什么HashTable線程安全,為什么性能低?

  小王:這個(gè)...

  面試官:ConcurrentHashMap是怎么實(shí)現(xiàn)線程安全的?性能為什么較高?

  小王:...

  面試官:回答的很不錯(cuò),回去等通知吧。

  

1661309856381_1.jpg

  二、hashMap

  2.1 暴露問(wèn)題

  大家都知道,HashMap在多線程下會(huì)存在線程安全問(wèn)題,如下:

```java
public class Demo2 {
    public static void main(String[] args) {
        //shift+ctrl+alt+u
        HashMap<String, String> map = new HashMap<>();

        Thread t1 =   new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i <= 10; i++) {
                    map.put(i+"",i+"");
                }
            }
        });
        Thread t2 =   new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 11; i <= 20; i++) {
                    map.put(i+"",i+"");
                }
            }
        });
        t1.start();
        t2.start();
        //確保兩個(gè)子線程執(zhí)行完畢之后,主線程再來(lái)打印hashmap
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        //遍歷hashMap
        for (int i = 1; i <= 20; i++) {
            System.out.println(map.get(i + ""));
        }
    }
}
```

  控制臺(tái):

  ```

  null

  2

  null

  null

  null

  6

  7

  8

  9

  10

  null

  null

  13

  null

  null

  null

  17

  18

  19

  20

  ```

  以上例子證明了,HashMap確實(shí)存在線程安全問(wèn)題。

  2.2 源碼追蹤

  翻閱源碼(1.8)如下:

```java
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)代碼一

```java
if ((p = tab[i = (n - 1) & hash]) == null)
        tab[i] = newNode(hash, key, value, null);
```

  是否Hash沖突,沒(méi)沖突就直接賦值給數(shù)組當(dāng)前索引。

  線程A判斷通過(guò),進(jìn)入方法,切換B線程,判斷通過(guò),進(jìn)入方法,切換A線程,賦值成功,切換B線程賦值成功,B線程的值覆蓋了A線程的值,發(fā)生了數(shù)據(jù)覆蓋,用戶感受到是數(shù)據(jù)丟失。

  (2) 代碼二

```java
if (++size > threshold)
        resize();
```

  當(dāng)元素個(gè)數(shù)size大于擴(kuò)容閾值,則擴(kuò)容,這里會(huì)有兩個(gè)問(wèn)題。

  - 成員的size變量沒(méi)有保證原子性,因此多線程下size自增是存在原子性問(wèn)題。即添加了兩個(gè)元素,但是size只增加了1。

  - 兩個(gè)線程如果都通過(guò)上面閾值的判斷,就會(huì)發(fā)生擴(kuò)容兩次的情況,這也是一種安全問(wèn)題。

  三、HashTable

  3.1 線程安全演示

  我們可以使用HashTable來(lái)解決上面的安全問(wèn)題。

  看下面的代碼:

```java
public class Demo2 {
    public static void main(String[] args) {
        Hashtable<String, String> map = new Hashtable<>();
        Thread t1 =   new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i <= 10; i++) {
                    map.put(i+"",i+"");//{i,i}
                }
            }
        });
        //20,20  21,21 ... 39,39
        Thread t2 =   new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 11; i <= 20; i++) {
                    map.put(i+"",i+"");//{i,i}
                }
            }
        });
        t1.start();
        t2.start();
        //確保兩個(gè)子線程執(zhí)行完畢之后,主線程再來(lái)打印hashmap
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        for (int i = 0; i <= 20; i++) {
            System.out.println(map.get(i + ""));
        }
    }
}
```

  控制臺(tái):

  ```java

  0

  1

  2

  3

  4

  5

  6

  7

  8

  9

  10

  11

  12

  13

  14

  15

  16

  17

  18

  19

  20

  ```

  以上代碼,說(shuō)明了Hashtable的確是線程安全的。

  3.2 翻看源碼

  Hashtable源碼:

```java
public synchronized V put(K key, V value) {
    // Make sure the value is not null
    if (value == null) {
        throw new NullPointerException();
    }

    // Makes sure the key is not already in the hashtable.
    Entry<?,?> tab[] = table;
    int hash = key.hashCode();
    int index = (hash & 0x7FFFFFFF) % tab.length;
    @SuppressWarnings("unchecked")
    Entry<K,V> entry = (Entry<K,V>)tab[index];
    for(; entry != null ; entry = entry.next) {
        if ((entry.hash == hash) && entry.key.equals(key)) {
            V old = entry.value;
            entry.value = value;
            return old;
        }
    }

    addEntry(hash, key, value, index);
    return null;
}

    public synchronized V get(Object key) {
        Entry<?,?> tab[] = table;
        int hash = key.hashCode();
        int index = (hash & 0x7FFFFFFF) % tab.length;
        for (Entry<?,?> e = tab[index] ; e != null ; e = e.next) {
            if ((e.hash == hash) && e.key.equals(key)) {
                return (V)e.value;
            }
        }
        return null;
    }

    public synchronized int size() {
        return count;
    }
```

  通過(guò)閱讀源碼可以發(fā)現(xiàn),Hashtable每個(gè)操作數(shù)據(jù)的方法,都是使用了重量級(jí)鎖synchronized。線程A在操作數(shù)據(jù)的時(shí)候,線程B只能阻塞。保證了整個(gè)Hash表只能線程串行化執(zhí)行,從而解決了多線程產(chǎn)生的安全問(wèn)題。

  因?yàn)镠ashtable是對(duì)整個(gè)哈希表進(jìn)行加鎖,加鎖粒度過(guò)大,發(fā)生線程阻塞的概率非常大,雖然synchronized有自己的鎖優(yōu)化機(jī)制,但是也很快就會(huì)升級(jí)成重量級(jí)鎖。而當(dāng)synchronized成為了重量級(jí)鎖,就會(huì)請(qǐng)求底層系統(tǒng)鎖,跳出jvm級(jí)別,頻繁涉及用戶態(tài)和內(nèi)核態(tài)的切換,性能開銷比較大。

  所以在今天已經(jīng)不推薦使用HashTable了。

  四、ConcurrentHashMap

  4.1 線程安全演示

  以上兩個(gè)章節(jié)我們發(fā)現(xiàn),在Map集合中HashMap是最常用的集合對(duì)象。但是多線程操作HashMap會(huì)有線程安全問(wèn)題,解決方式就是使用HashTable,但是HashTable會(huì)全表加鎖性能犧牲很大。

  JDK1.5以后所提供了ConcurrentHashMap,使用它既能解決線程安全問(wèn)題,性能又比HashTable高很多,所以這是目前主流的折中方案。

  代碼如下:

```java
public class Demo3 {
    public static void main(String[] args) {
        ConcurrentHashMap<String, String> map = new ConcurrentHashMap<>();
        Thread t1 = new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 0; i <= 10; i++) {
                    map.put(i + "", i + "");//{i,i}
                }
            }
        });
        //20,20  21,21 ... 39,39
        Thread t2 = new Thread(new Runnable() {
            @Override
            public void run() {
                for (int i = 11; i <= 20; i++) {
                    map.put(i + "", i + "");//{i,i}
                }
            }
        });
        t1.start();
        t2.start();
        //確保兩個(gè)子線程執(zhí)行完畢之后,主線程再來(lái)打印hashmap
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        for (int i = 0; i <= 20; i++) {
            System.out.println(map.get(i + ""));
        }
    }
}
```

  控制臺(tái):

  ```java

  0

  1

  2

  3

  4

  5

  6

  7

  8

  9

  10

  11

  12

  13

  14

  15

  16

  17

  18

  19

  20

  ```

  線程安全得到保證。

  總結(jié) :

   1 ,HashMap是線程不安全的。多線程環(huán)境下會(huì)有數(shù)據(jù)安全問(wèn)題

   2 ,Hashtable是線程安全的,但是會(huì)將整張表鎖起來(lái),效率低下

   3,ConcurrentHashMap也是線程安全的,效率較高。 在JDK7和JDK8中,底層原理不一樣。

  4.2 jdk7原理解析

  1.ConcurrentHashMap集合底層是一個(gè)默認(rèn)長(zhǎng)度為16,加載因子為0.75的大數(shù)組 Segment數(shù)組。大數(shù)組通常是創(chuàng)建之后長(zhǎng)度就固定的,而擴(kuò)容是指小數(shù)組擴(kuò)容。

  2.默認(rèn)情況下還會(huì)創(chuàng)建一個(gè)長(zhǎng)度為2的小數(shù)組,把地址賦值給0索引處,其他索引此時(shí)的元素仍為null。

  `(Segment` 繼承 `ReentrantLock` 鎖,用于存放數(shù)組 `HashEntry[]`。)

  如下圖

1661310723249_2.jpg

  3.調(diào)用put方法時(shí),此時(shí)會(huì)根據(jù)key的哈希值來(lái)計(jì)算出在大數(shù)組中存儲(chǔ)的索引位置。

  如果這個(gè)索引此時(shí)為null,則按照0素引的模板小數(shù)組來(lái)創(chuàng)建小數(shù)組。創(chuàng)建完畢后會(huì)**二次哈希**計(jì)算出key在小數(shù)組中存儲(chǔ)的位置,然后把鍵值對(duì)對(duì)象存儲(chǔ)小數(shù)組的該索引位。

  如下圖,先根據(jù)key的哈希算出來(lái)在大數(shù)組的4索引,創(chuàng)建小數(shù)組掛在4索引。接著繼續(xù)使用key的hash算出存在小數(shù)組的0素引。

  

1661310808350_3.jpg

  4.調(diào)用put方法時(shí),此時(shí)會(huì)根據(jù)key的哈希值來(lái)計(jì)算出在大數(shù)組中存儲(chǔ)的索引位置。

  如果該位置不為null,就會(huì)根據(jù)記錄的地址值找到小數(shù)組。二次哈希計(jì)算出小數(shù)組的索引位置。

  如果需要擴(kuò)容就把小數(shù)組擴(kuò)容2倍。

  如果不需要擴(kuò)容,則會(huì)判斷小數(shù)組該索引是否有元素

   如果沒(méi)有元素,就直接存

   如果有元素,就調(diào)用equals方法比較key是否相同

   比較發(fā)現(xiàn)沒(méi)有重復(fù),就會(huì)在小數(shù)組上掛鏈表。

  如下圖

1661310898891_4.jpg

  線程一來(lái)訪問(wèn)索引4,此時(shí)就會(huì)對(duì)索引4的Segment進(jìn)行加鎖。其他線程訪問(wèn)索引4就會(huì)阻塞,訪問(wèn)其他索引就可以訪問(wèn),這種技術(shù)叫分段鎖,將數(shù)據(jù)拆成一段一段的進(jìn)行加鎖。

  在當(dāng)前例子中,我們沒(méi)有指定大數(shù)組的長(zhǎng)度,因此長(zhǎng)度默認(rèn)是 16。在理想情況下,最多可以支持16個(gè)線程同時(shí)操作不同的segment對(duì)象,達(dá)到了并發(fā)的目的。但是如果多個(gè)線程同時(shí)操作同一個(gè)segment,就會(huì)阻塞,串行化執(zhí)行。

  關(guān)鍵字:分段鎖、二次哈希、Segment數(shù)組不能擴(kuò)容、HashEntry數(shù)組可以擴(kuò)容

  總結(jié):

  ConcurrentHashMap1.7使用Segment+HashEntry數(shù)組實(shí)現(xiàn)的。本質(zhì)上是一個(gè) Segment 數(shù)組,Segment 繼承 ReentrantLock ,同時(shí)具備了加鎖和釋放鎖的功能。每個(gè)Segment都線程安全,全局也就安全了。把Hashtable的鎖全表,變成了鎖一段段的數(shù)據(jù),粒度細(xì)提高性能。

  補(bǔ)充:ConcurrentHashMap1.8則完全不同,放棄了Segment。數(shù)據(jù)結(jié)構(gòu)使用synchronized+CAS+紅黑樹。鎖的粒度也從段鎖縮小為結(jié)點(diǎn)鎖,粒度更細(xì),同時(shí)數(shù)組支持?jǐn)U容,并發(fā)能力更高。使用synchronized其實(shí)也是因?yàn)?.6jdk對(duì)synchronized的優(yōu)化有關(guān)。

  4.3 jdk8 原理解析

  在1.8中,ConcurrentHashMap可以說(shuō)發(fā)生翻天覆地的變化,底層數(shù)據(jù)結(jié)構(gòu)不再采用segment數(shù)組,也不再采用分段鎖。而是采用 數(shù)組+鏈表+紅黑樹來(lái)實(shí)現(xiàn),鎖也從分段鎖提升成了節(jié)點(diǎn)鎖,粒度更細(xì)。使用CAS+synchronized來(lái)保證線程安全。

  底層結(jié)構(gòu):數(shù)組+鏈表+紅黑樹

  CAS + synchronized同步代碼塊 保證線程安全

1661311006116_5.jpg

  初始化數(shù)組源碼如下:

```java
//假設(shè)多線程來(lái)擴(kuò)容,concurrentHashMap為了線程安全,只能讓一個(gè)線程成功初始化數(shù)組,其他線程均失敗。
private final Node<K,V>[] initTable() {
        Node<K,V>[] tab; int sc;
        //所有線程進(jìn)入循環(huán),去搶著初始化數(shù)組
        while ((tab = table) == null || tab.length == 0) {
            if ((sc = sizeCtl) < 0)
                Thread.yield(); //讓線程讓出cpu,以至于把cpu更多的可能讓給初始化操作的線程
            //CAS操作,保證一個(gè)線程進(jìn)入下面的邏輯,其他線程最終只能執(zhí)行 Thread.yield();
            else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {
                try {
                    if ((tab = table) == null || tab.length == 0) {
                        int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
                        @SuppressWarnings("unchecked")
                        //這個(gè)就是初始化數(shù)組,默認(rèn)長(zhǎng)度n為16
                        Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
                        table = tab = nt;
                        sc = n - (n >>> 2);
                    }
                } finally {
                    sizeCtl = sc;
                }
                break;
            }
        }
        return tab;
    }
```

  通過(guò)源碼發(fā)現(xiàn),這里使用了 自旋+CAS+線程讓出cpu。

  其中 自旋+Cas:初始化操作必須且只會(huì)由一個(gè)線程執(zhí)行一次,不會(huì)初始化多個(gè)數(shù)組。

  線程讓出cpu:提高性能,讓初始化操作更快執(zhí)行

  put操作源碼如下:

```java
   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;
            //如果數(shù)組是null,說(shuō)明第一次put,那就初始化數(shù)組
            if (tab == null || (n = tab.length) == 0)
                tab = initTable();
            //根據(jù)key找到索引,如果此索引為null,則使用CAS將node直接賦給當(dāng)前索引
            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
            }
            //如果當(dāng)前索引位置的元素的hash==MOVED說(shuō)明此時(shí)正在發(fā)生數(shù)組擴(kuò)容的數(shù)據(jù)遷移操作,
            //當(dāng)前線程幫助完成數(shù)據(jù)遷移
            else if ((fh = f.hash) == MOVED)
                tab = helpTransfer(tab, f);
            //當(dāng)前索引既不是null,也沒(méi)有在數(shù)據(jù)遷移。此時(shí)索引位置存儲(chǔ)的要么鏈表要么紅黑樹
            else {
                V oldVal = null;
                //對(duì)頭結(jié)點(diǎn)進(jìn)行加結(jié)點(diǎn)鎖,保證同索引下的結(jié)點(diǎn)線程串行化執(zhí)行
                synchronized (f) {
                    if (tabAt(tab, i) == f) {
                        if (fh >= 0) {
                            binCount = 1;
                            for (Node<K,V> e = f;; ++binCount) {
                                K ek;
                                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) {
                    if (binCount >= TREEIFY_THRESHOLD)
                        treeifyBin(tab, i);
                    if (oldVal != null)
                        return oldVal;
                    break;
                }
            }
        }
        addCount(1L, binCount);
        return null;
    }
```

  通過(guò)源碼發(fā)現(xiàn):

   put操作如果沒(méi)有發(fā)生hash沖突,則CAS直接賦值到索引

   如果發(fā)生了hash沖突,判斷此時(shí)是否正在擴(kuò)容數(shù)據(jù)遷移,是就加入幫忙數(shù)據(jù)遷移

   如果此時(shí)是鏈表或者紅黑樹,就加節(jié)點(diǎn)鎖,保證當(dāng)前索引操作的線程串行化執(zhí)行。

  擴(kuò)容源碼如下:

```java
    private final void transfer(Node<K,V>[] tab, Node<K,V>[] nextTab) {
        int n = tab.length, stride;
        //計(jì)算步長(zhǎng),算法的目的是,cpu核數(shù)越多,步長(zhǎng)越小。
        //步長(zhǎng)最少為16,最多為數(shù)組的長(zhǎng)度
        if ((stride = (NCPU > 1) ? (n >>> 3) / NCPU : n) < MIN_TRANSFER_STRIDE)
            stride = MIN_TRANSFER_STRIDE; // subdivide range
        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;
        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;
                if (--i >= bound || finishing)
                    advance = false;
                else if ((nextIndex = transferIndex) <= 0) {
                    i = -1;
                    advance = false;
                }
                else if (U.compareAndSwapInt
                         (this, TRANSFERINDEX, nextIndex,
                          nextBound = (nextIndex > stride ?
                                       nextIndex - stride : 0))) {
                    bound = nextBound;
                    i = nextIndex - 1;
                    advance = false;
                }
            }
            if (i < 0 || i >= n || i + n >= nextn) {
                int sc;
                if (finishing) {
                    nextTable = null;
                    table = nextTab;
                    sizeCtl = (n << 1) - (n >>> 1);
                    return;
                }
                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
                }
            }
            else if ((f = tabAt(tab, i)) == null)
                advance = casTabAt(tab, i, null, fwd);
            else if ((fh = f.hash) == MOVED)
                advance = true; // already processed
            else {
                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;
                        }
                    }
                }
            }
        }
    }
```

  通過(guò)源碼發(fā)現(xiàn):

  ConcurrentHashMap采用的是多線程擴(kuò)容,來(lái)提高擴(kuò)容的效率。總體思想是,cpu核數(shù)越多線程越多,每個(gè)線程分得數(shù)據(jù)遷移任務(wù)量越小。

  步長(zhǎng):?jiǎn)蝹€(gè)線程負(fù)責(zé)遷移的桶數(shù)量。

  下面做一個(gè)模擬擴(kuò)容的流程:

  假設(shè)現(xiàn)在數(shù)組長(zhǎng)度有512,cpu核數(shù)2,步長(zhǎng)32。

  線程一:負(fù)責(zé)遷移索引(512-步長(zhǎng)-1,512-1),即數(shù)組[479] - 數(shù)組[511]

  線程二:負(fù)責(zé)遷移索引 數(shù)組[446] 數(shù)組[478]

  如果線程一和線程二都執(zhí)行完畢,兩個(gè)線程就會(huì)通過(guò)CAS去搶下一個(gè)任務(wù)

  如果線程二搶到了,數(shù)組[413] 數(shù)組[445]

  線程一失敗了,自旋繼續(xù)CAS搶,搶到了

  線程一 數(shù)組[381] 數(shù)組[412]

  4.4 對(duì)比區(qū)別

  (1)1.7用的是segment+hashentry數(shù)組實(shí)現(xiàn)的分段鎖。只要線程沒(méi)同時(shí)訪問(wèn)同一個(gè)分段數(shù)組,就可以并行訪問(wèn)默認(rèn)長(zhǎng)度16,segment數(shù)組不可以擴(kuò)容(大數(shù)組),hashentry數(shù)組可以擴(kuò)容。

  (2)1.8用的是CAS+synchronized+voletile 實(shí)現(xiàn)的,底層是數(shù)組+鏈表+紅黑樹。對(duì)比1.7 鎖的粒度更細(xì),鎖到了節(jié)點(diǎn)級(jí)別。

  (3)1.8為什么synchronized替換segment?ReentrantLock:park unpark 用戶態(tài) - 內(nèi)核態(tài) 性能開銷比較大。synchronized:1.6之后優(yōu)化了,偏向鎖 輕量級(jí)鎖 。此時(shí)加鎖粒度非常小,比1.7小。轉(zhuǎn)成重量級(jí)鎖概率極小。

  五、總結(jié)

  通過(guò)上面的學(xué)習(xí)得知,hashmap在多線程情況下初始化數(shù)組和擴(kuò)容的時(shí)候均會(huì)出現(xiàn)線程安全問(wèn)題。我們可以通過(guò)HashTable來(lái)解決,HashTable是對(duì)整個(gè)hash表加鎖,相當(dāng)于線程串行化操作hash表,在解決問(wèn)題的同時(shí)也會(huì)導(dǎo)致性能極低。最終我們可以使用ConcurrentHashMap將鎖的粒度控制到最小,將性能影響控制到最低,同時(shí)擴(kuò)容的時(shí)候ConcurrentHashMap還支持多線程擴(kuò)容??梢哉f(shuō)ConcurrentHashMap是多線程操作hashmap場(chǎng)景的不二之選,比如SpringCache框架中就使用了ConcurrentHashMap來(lái)作為本地緩存。

分享到:
在線咨詢 我要報(bào)名
和我們?cè)诰€交談!