高并發(fā)下 HashMap 為什么會引起死循環(huán)？
點擊“開發(fā)者技術(shù)前線”，選擇“星標??”
讓一部分開發(fā)者看到未來
今天研讀Java并發(fā)容器和框架時，看到為什么要使用ConcurrentHashMap時，其中有一個原因是：線程不安全的HashMap, HashMap在并發(fā)執(zhí)行put操作時會引起死循環(huán)，是因為多線程會導(dǎo)致HashMap的Entry鏈表形成環(huán)形數(shù)據(jù)結(jié)構(gòu)，查找時會陷入死循環(huán)。糾起原因看了其他的博客，都比較抽象，所以這里以圖形的方式展示一下，希望支持！
（1）當往HashMap中添加元素時，會引起HashMap容器的擴容，原理不再解釋，直接附源代碼，如下：
/**** 往表中添加元素，如果插入元素之后，表長度不夠，便會調(diào)用resize方法擴容*/void addEntry(int hash, K key, V value, int bucketIndex) {Entry<K,V> e = table[bucketIndex];table[bucketIndex] = new Entry<K,V>(hash, key, value, e);if (size++ >= threshold)resize(2 * table.length);}/*** resize()方法如下，重要的是transfer方法，把舊表中的元素添加到新表中*/void resize(int newCapacity) {Entry[] oldTable = table;int oldCapacity = oldTable.length;if (oldCapacity == MAXIMUM_CAPACITY) {threshold = Integer.MAX_VALUE;return;}Entry[] newTable = new Entry[newCapacity];transfer(newTable);table = newTable;threshold = (int)(newCapacity * loadFactor);}
（2）參考上面的代碼，便引入到了transfer方法，（引入重點）這就是HashMap并發(fā)時，會引起死循環(huán)的根本原因所在，下面結(jié)合transfer的源代碼，說明一下產(chǎn)生死循環(huán)的原理，先列transfer代碼（這是里JDK7的源偌），如下：
/**
* Transfers all entries from current table to newTable.
*/
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; ---------------------(1)
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;
} // while
}
}
（3）假設(shè)：
Map<Integer> map = new HashMap<Integer>(2); // 只能放置兩個元素，其中的threshold為1（表中只填充一個元素時），即插入元素為1時就擴容（由addEntry方法中得知）
//放置2個元素 3 和 7，若要再放置元素8（經(jīng)hash映射后不等于1）時，會引起擴容
假設(shè)放置結(jié)果圖如下：
現(xiàn)在有兩個線程A和B，都要執(zhí)行put操作，即向表中添加元素，即線程A和線程B都會看到上面圖的狀態(tài)快照
執(zhí)行順序如下：
執(zhí)行一： 線程A執(zhí)行到transfer函數(shù)中（1）處掛起（transfer函數(shù)代碼中有標注）。此時在線程A的棧中
e = 3
next = 7
執(zhí)行二：線程B執(zhí)行 transfer函數(shù)中的while循環(huán)，即會把原來的table變成新一table（線程B自己的棧中），再寫入到內(nèi)存中。如下圖（假設(shè)兩個元素在新的hash函數(shù)下也會映射到同一個位置）
執(zhí)行三：線程A解掛，接著執(zhí)行（看到的仍是舊表），即從transfer代碼（1）處接著執(zhí)行，當前的 e = 3, next = 7, 上面已經(jīng)描述。
1.處理元素 3 ， 將 3 放入 線程A自己棧的新table中（新table是處于線程A自己棧中，是線程私有的，不肥線程2的影響），處理3后的圖如下：
2.線程A再復(fù)制元素 7 ，當前 e = 7 ,而next值由于線程 B 修改了它的引用，所以next 為 3 ，處理后的新表如下圖
3.由于上面取到的next = 3, 接著while循環(huán)，即當前處理的結(jié)點為3， next就為null ，退出while循環(huán)，執(zhí)行完while循環(huán)后，新表中的內(nèi)容如下圖：
4.當操作完成，執(zhí)行查找時，會陷入死循環(huán)！
最后福利：
在這里，我為大家準備了一份2020年最新最全的面試題及答案，這套電子書涵蓋了諸多后端，客戶端，前端技術(shù)棧的面試題和答案，相信可以幫助大家在最短的時間內(nèi)復(fù)習的大多數(shù)面試題，從而拿到自己心儀的offer。
— 完 —
前線推出學(xué)習交流群一定要備注：研究/工作方向+地點+學(xué)校/公司+昵稱（如java+上海+上交+可可），根據(jù)格式備注，可更快被通過且邀請進群 掃碼加小編微信進群，
內(nèi)推和技術(shù)交流，大佬們零距離
歷史推薦
為什么 Java 中“1000==1000”為false，而”100==100“為true？
好文點個在看吧！