主頁 > 軟體設計 > 多執行緒下的HashMap死回圈問題詳解

多執行緒下的HashMap死回圈問題詳解

2020-10-23 14:11:16 軟體設計

小伙伴們大家好呀,今天看技術博文的時候看到一個很有意思的問題,就如標題所示------》在多執行緒的情況下關于HashMap的死回圈問題,還記我在剛學JavaSE時候,看到過這個問題,當時的知識儲備不夠,沒有深究,今天來詳細說一說,希望能幫到你們,一起進步,

正文開始:

Java的HashMap是非執行緒安全的,多執行緒下應該用ConcurrentHashMap,

多執行緒下[HashMap]的問題(這里主要說死回圈問題):

1、多執行緒put操作后,get操作導致死回圈,
2、多執行緒put非NULL元素后,get操作得到NULL值,
3、多執行緒put操作,導致元素丟失,

一.Jdk7的版本下為何出現死回圈?

在多執行緒下使用非執行緒安全的HashMap,單執行緒根本不會出現)

HashMap是采用鏈表解決Hash沖突,因為是鏈表結構,那么就很容易形成閉合的鏈路,這樣在回圈的時候只要有執行緒對這個HashMap進行get操作就會產生死回圈,

在單執行緒情況下,只有一個執行緒對HashMap的資料結構進行操作,是不可能產生閉合的回路的,

那就只有在多執行緒并發的情況下才會出現這種情況,那就是在put操作的時候,
如果 size>initialCapacity*loadFactor, 那么這時候HashMap就會進行rehash操作,隨之HashMap的結構就會發生翻天覆地的變化,很有可能就是在兩個執行緒在這個時候同時觸發了rehash操作,產生了閉合的回路,

2、如何產生的:

存盤資料put():

	public V put(K key, V value)
	{
		......
		//算Hash值
		int hash = hash(key.hashCode());
		int i = indexFor(hash, table.length);
		//如果該key已被插入,則替換掉舊的value (鏈接操作)
		for (Entry<K,V> e = table[i]; e != null; e = e.next) {
			Object k;
			if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
				V oldValue = e.value;
				e.value = value;
				e.recordAccess(this);
				return oldValue;
			}
		}
		modCount++;
		//該key不存在,需要增加一個結點
		addEntry(hash, key, value, i);
		return null;
	}

當我們往HashMap中put元素的時候,先根據key的hash值得到這個元素在陣列中的位置(即下標),然后就可以把這個元素放到對應的位置中了,
如果這個元素所在的位置上已經存放有其他元素了,那么在同一個位子上的元素將以鏈表的形式存放,新加入的元素放在鏈頭,而先前加入的放在鏈尾,

檢查容量是否超標addEntry:

	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);
		//查看當前的size是否超過了我們設定的閾值threshold,如果超過,需要resize
		if (size++ >= threshold)
			resize(2 * table.length);
	}

如果現在size已經超過了threshold,那么就要進行resize操作,新建一個更大尺寸的hash表,然后把資料從老的Hash表中遷移到新的Hash表中,

調整Hash表大小resize:

	void resize(int newCapacity)
	{
		Entry[] oldTable = table;
		int oldCapacity = oldTable.length;
		......
		//創建一個新的Hash Table
		Entry[] newTable = new Entry[newCapacity];
		//將Old Hash Table上的資料遷移到New Hash Table上
		transfer(newTable);
		table = newTable;
		threshold = (int)(newCapacity * loadFactor);
	}


當table[]陣列容量較小,容易產生哈希碰撞,所以,Hash表的尺寸和容量非常的重要,

一般來說,Hash表這個容器當有資料要插入時,都會檢查容量有沒有超過設定的thredhold,如果超過,需要增大Hash表的尺寸,這個程序稱為resize,
多個執行緒同時往HashMap添加新元素時,多次resize會有一定概率出現死回圈,因為每次resize需要把舊的資料映射到新的哈希表,這一部分代碼在HashMap#transfer() 方法,如下:

	void transfer(Entry[] newTable)
	{
		Entry[] src = table;
		int newCapacity = newTable.length;
		//下面這段代碼的意思是:
		//  從OldTable里摘一個元素出來,然后放到NewTable中
		for (int j = 0; j < src.length; j++) {
			Entry<K,V> e = src[j];
			if (e != null) {
				src[j] = null;
				//以下代碼是造成死回圈的罪魁禍首,
				do {
					Entry<K,V> next = e.next;//取出第一個元素
					int i = indexFor(e.hash, newCapacity);
					e.next = newTable[i];
					newTable[i] = e;
					e = next;
				} while (e != null);
			}
		}
	}

3、圖解HashMap死回圈:

正常的ReHash的程序(單執行緒):
假設了我們的hash演算法就是簡單的用key mod 一下表的大小(也就是陣列的長度),
最上面的是old hash 表,其中的Hash表的size=2, 所以key = 3, 7, 5,在mod 2以后都沖突在table[1]這里了,

接下來的三個步驟是Hash表 resize成4,然后所有的<key,value> 重新rehash的程序,

在這里插入圖片描述

并發下的Rehash(多執行緒)

假設我們有兩個執行緒,

	do {
		Entry<K,V> next = e.next; // <--假設執行緒一執行到這里就被調度掛起了,執行其他操作
		int i = indexFor(e.hash, newCapacity);
		e.next = newTable[i];
		newTable[i] = e;
		e = next;
	} while (e != null);

而我們的執行緒二執行完成了,于是我們有下面的這個樣子:

在這里插入圖片描述
注意,因為Thread1的 e 指向了key(3),而next指向了key(7),其在執行緒二rehash后,指向了執行緒二重組后的鏈表,我們可以看到鏈表的順序被反轉后,在這里執行緒一變成了操作經過執行緒二操作后的HashMap,

2)執行緒一被調度回來執行,
先是執行 newTalbe[i] = e;
然后是e = next,導致了e指向了key(7),
而下一次回圈的next = e.next導致了next指向了key(3),

在這里插入圖片描述
3)一切ok,

執行緒一接著作業,把key(7)摘下來,放到newTable[i]的第一個,然后把e和next往下移,這個元素所在的位置上已經存放有其他元素了,那么在同一個位子上的元素將以鏈表的形式存放,新加入的放在鏈頭,而先前加入的放在鏈尾,

在這里插入圖片描述

4)環形鏈接出現,

e.next = newTable[i] 導致 key(3).next 指向了 key(7),
注意:此時的key(7).next 已經指向了key(3), 環形鏈表就這樣出現了,

在這里插入圖片描述
于是,當我們的執行緒一呼叫到,HashTable.get(11)時,悲劇就出現了——Infinite Loop

JDK8后—>擴容解決死回圈

JDK8 將 HashMap 的結構作了下修改,將原來的鏈表部分改為資料少時仍然鏈表,當超過一定數量后變換為紅黑樹,這里主要討論在鏈表時跟之前有什么不同,

1,假如oldtab的大小為2,里面有7,3兩個節點,因為2 > 2 * 0.75,現在要擴容到大小為4的newtable,然后把節點從oldtable移到newtable,假設這里有兩個執行緒,每個執行緒里面都有e,next分別記錄當前節點和下一個節點,現在兩個執行緒一起擴容會發生一下情況

在這里插入圖片描述
在這里插入圖片描述

通過上面的分析,不難發現回圈的產生是因為新鏈表的順序跟舊的鏈表是完全相反的,所以只要保證建新鏈時還是按照原來的順序的話就不會產生回圈,

JDK8是用 head 和 tail 來保證鏈表的順序和之前一樣,這樣就不會產生回圈參考,

小結:

jdk1.8之前和之后不同之處就是jdk1.8后是直接把節點放到newtable[j]尾節點,而jdk1.8前是直接放到頭節點,雖然解決了死回圈,但hashMap在多執行緒使用下還是會有很多問題,在多執行緒下最好還是使用ConcurrentHashMap比較好,

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

標籤:其他

上一篇:Java實戰手寫區塊鏈中的Merkle樹

下一篇:網路空間安全數學基礎部分證明,篩法、貝祖等式的編程實作。

標籤雲
其他(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)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more