一文精通HashMap靈魂七問,你學還是不學

James_Shangguan發表於2022-06-26

如果讓你看一篇文章,就可以精通HashMap,成為硬剛才面試官的高手,你學還是不學?

彆著急,開始之前不如先嚐試回來下面幾個問題吧:

HashMap的底層結構是什麼?

什麼時候HashMap中的連結串列會轉化為紅黑樹?

為什麼當連結串列長度超過8個時候會轉化成紅黑樹?這為什麼是8個而不是3個呢?

HashMap是執行緒安全的嘛?

HashMap為什麼是執行緒不安全的?有哪些具體體現?

ConcurrentHashMap和HashTable是如何實現執行緒安全的呢?有何不同呢?

一、HashMap底層結構是什麼樣的?

HashMap底層是陣列+連結串列+紅黑樹組成的複合結構。

陣列被分為一個個的桶(bucket),通過雜湊值決定鍵值對在陣列中儲存的位置;

當鍵值對的雜湊值相同,則以連結串列形式儲存;

當連結串列長度大於或等於閾值(預設為 8)的時候,如果同時還滿足容量大於或等於 MIN_TREEIFY_CAPACITY(預設為 64)的要求,就會把連結串列轉換為紅黑樹。同樣,後續如果刪除了元素,當紅黑樹的節點小於或等於 6 個以後,又會恢復為連結串列。

HashMap 的結構示意圖:

二、為什麼需要將連結串列轉化為紅黑樹呢?

因為紅黑樹有和連結串列不一樣的查詢效能。從連結串列中查詢一個元素,時間複雜度是 O(n)。而從紅黑樹查詢,由於紅黑樹有自平衡的特點,可以防止不平衡情況的發生,所以時間複雜是 O(log(n))。如果連結串列長度較短,O(n) 和 O(log(n)) 的區別不大,但是如果連結串列較長,那麼這種差異就會很明顯了。所以為了提升HashMap查詢效能,在連結串列長度超過閾值的時候將連結串列轉化為紅黑樹進行儲存。

三、既然紅黑樹查詢效能優於連結串列,那為什麼不在一開始就使用紅黑樹呢?而是要經歷一個轉換的過程呢?

世上本沒有“銀彈”,紅黑樹也不是“銀彈”。單個 TreeNode 需要佔用的空間大約是普通連結串列Node 的兩倍,所以只有當包含足夠多的 Nodes 時才會轉成 TreeNodes,而是否足夠多就是由 TREEIFY_THRESHOLD 的值決定的。而當桶中節點數由於移除或者 resize 變少後,又會變回普通的連結串列的形式,以便節省空間。

這其實是一種tradeoff,指的是一種取捨、一種權衡,最後達成折中平衡。在HashMap裡面,如果要效能就需要犧牲空間,要空間就要犧牲效能,魚與熊掌不可兼得,最後達成折中方案:連結串列加紅黑樹,在適當情況下進行轉化。

四、為什麼連結串列轉化為紅黑樹的這個閾值要預設設定為 8 呢?

如果 hashCode 分佈良好,也就是雜湊演算法足夠好,計算出來的雜湊值散離散程度高,那麼很少出現雜湊衝突和連結串列很長的情況,紅黑樹這種形式也就很少會被用到。在理想情況下,連結串列長度符合泊松分佈,各個長度的命中概率依次遞減,當長度為 8 的時候,概率僅為 0.00000006。這是一個小於千萬分之一的概率,通常我們的 Map 裡面是不會儲存這麼多的資料的,所以通常情況下,並不會發生從連結串列向紅黑樹的轉換。請看原始碼(本文原始碼均為Java8版本)註釋:

* Because TreeNodes are about twice the size of regular nodes, we
* use them only when bins contain enough nodes to warrant use
* (see TREEIFY_THRESHOLD). And when they become too small (due to
* removal or resizing) they are converted back to plain bins.  In
* usages with well-distributed user hashCodes, tree bins are
* rarely used.  Ideally, under random hashCodes, the frequency of
* nodes in bins follows a Poisson distribution
* (http://en.wikipedia.org/wiki/Poisson_distribution) with a
* parameter of about 0.5 on average for the default resizing
* threshold of 0.75, although with a large variance because of
* resizing granularity. Ignoring variance, the expected
* occurrences of list size k are (exp(-0.5) * pow(0.5, k) /
* factorial(k)). The first values are:
*
* 0:    0.60653066
* 1:    0.30326533
* 2:    0.07581633
* 3:    0.01263606
* 4:    0.00157952
* 5:    0.00015795
* 6:    0.00001316
* 7:    0.00000094
* 8:    0.00000006
* more: less than 1 in ten million

如果在除錯過程中發現HashMap中的連結串列結構經常轉換為紅黑樹進行儲存,那麼這時候應該注意下雜湊函式是不是出現問題了。

五、對比一下Hashtable、HashMap、TreeMap 有什麼不同?

Hashtable、HashMap、TreeMap 都是最常見的Map實現,是以鍵值對的形式儲存和運算元據的容器型別。

Hashtable 是早期 Java 類庫提供的一個雜湊表實現,本身是同步的,不支援 null 鍵和值,由於同步導致的效能開銷,所以已經不建議使用。

HashMap 是目前最常用的雜湊表實現,與 HashTable 的主要區別在於: HashMap 不是同步的,支援 null 鍵和值等。通常情況下,HashMap 進行 put 或者 get 操作,可以達到常數時間的效能,所以它是絕大部分利用鍵值對存取場景的首選。

TreeMap 則是基於紅黑樹的一種提供順序訪問的 Map,和 HashMap 不同,它的 get、put、remove 之類操作都是 O(log(n))的時間複雜度,如果有排序的訴求可以選擇使用。

六、HashMap為什麼是執行緒不安全的?具體有哪些體現?

put方法中的++modCount

public V put(K key, V value) {
    return putVal(hash(key), key, value, false, true);
}
/**
 * Implements Map.put and related methods.
 *
 * @param hash hash for key
 * @param key the key
 * @param value the value to put
 * @param onlyIfAbsent if true, don't change existing value
 * @param evict if false, the table is in creation mode.
 * @return previous value, or null if none
 */
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;
}

++modCount ++size看似一行程式碼,但是該操作並不能保證原子性,實際上是分三個步驟執行的,會存在併發問題。modCount這個引數在HashMap中表述HashMap內部結果改變的次數,例如rehash。如果++modCount發生併發問題,會丟擲ConcurrentModificationException。

在put方法中,通過比較++size和threshold的大小判斷是否進行擴容操作,如果++size發生併發問題,可能使得HashMap在應該擴容的時候未進行擴容,導致put操作的時候元素插入失敗或者丟失。

/**
 * The number of times this HashMap has been structurally modified
 * Structural modifications are those that change the number of mappings in
 * the HashMap or otherwise modify its internal structure (e.g.,
 * rehash).  This field is used to make iterators on Collection-views of
 * the HashMap fail-fast.  (See ConcurrentModificationException).
 */
transient int modCount;

擴容期間取出來值不準確

HashMap 預設初始容量為16,如果不停地往 map 中新增新的資料,當元素個數大於負載因子容量大小的時候,會進行擴容,擴至原來的2倍。
newThr = oldThr << 1

在擴容期間,它會新建一個新的空陣列,並且將老陣列中的元素重新放置到新陣列中。那麼,在這個填充的過程中,如果有執行緒獲取值,很可能會取到 null 值。

同時put導致資料丟失

比如,有多個執行緒同時使用 put 方法來新增元素,而且恰好兩個 put 的 key 的雜湊值是一樣的,計算出來的 bucket 位置一樣,並且兩個執行緒又同時判斷該位置是空的,可以寫入,所以這兩個執行緒的兩個不同的 value 便會新增到陣列的同一個位置,這樣最終就只會保留一個資料,丟失一個資料。

死迴圈造成CPU100%

該問題是多執行緒同時擴容的時候連結串列死迴圈而引起的CPU100%問題。可參考:https://coolshell.cn/articles/9606.html

七、同樣是執行緒安全的,ConcurrentHashMap和Hashtable有什麼區別?ConcurrentHashMap在Java7 和Java8又有何不同?

雖然 ConcurrentHashMap 和 Hashtable 它們兩個都是執行緒安全的,但是從原理上分析,Hashtable 實現併發安全的原理是通過 synchronized 關鍵字實現的。

ConcurrentHashMap在Java7中是通過Segment實現執行緒安全的,在Java8是通過Node + CAS + synchronized實現的。

Java7中的ConcurrentHashMap最外層是多個Segment,每個Segment的底層資料結構與HashMap類似,仍然是陣列加連結串列組成。

Java8中的ConcurrentHashMap依然是陣列+ 連結串列+ 紅黑樹的方式實現的,結構和HashMap一致。

ConcurrentHashMap在Java7 和Java8的對比如下:

Java7 Java8
資料結構 Segment + 陣列+連結串列 陣列+連結串列+紅黑樹
併發原理 Segment Node + CAS + synchronized
併發度 Segment個數,預設16 陣列長度
Hash衝突 拉鍊法 拉鍊法+紅黑樹

如果看完有幫忙,能不能幫我點個贊呢?

相關文章