天天看點

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

本節書摘來華章計算機出版社《java并發程式設計的藝術》一書中的第2章,第2.2節,作者:方騰飛 魏鵬 程曉明 更多章節内容可以通路雲栖社群“華章計算機”公衆号檢視。

在多線程并發程式設計中synchronized一直是元老級角色,很多人都會稱呼它為重量級鎖。但是,随着java se 1.6對synchronized進行了各種優化之後,有些情況下它就并不那麼重了。本文詳細介紹java se 1.6中為了減少獲得鎖和釋放鎖帶來的性能消耗而引入的偏向鎖和輕量級鎖,以及鎖的存儲結構和更新過程。

先來看下利用synchronized實作同步的基礎:java中的每一個對象都可以作為鎖。具體表現為以下3種形式。

對于普通同步方法,鎖是目前執行個體對象。

對于靜态同步方法,鎖是目前類的class對象。

對于同步方法塊,鎖是synchonized括号裡配置的對象。

當一個線程試圖通路同步代碼塊時,它首先必須得到鎖,退出或抛出異常時必須釋放鎖。那麼鎖到底存在哪裡呢?鎖裡面會存儲什麼資訊呢?

從jvm規範中可以看到synchonized在jvm裡的實作原理,jvm基于進入和退出monitor對象來實作方法同步和代碼塊同步,但兩者的實作細節不一樣。代碼塊同步是使用monitorenter和monitorexit指令實作的,而方法同步是使用另外一種方式實作的,細節在jvm規範裡并沒有詳細說明。但是,方法的同步同樣可以使用這兩個指令來實作。

monitorenter指令是在編譯後插入到同步代碼塊的開始位置,而monitorexit是插入到方法結束處和異常處,jvm要保證每個monitorenter必須有對應的monitorexit與之配對。任何對象都有一個monitor與之關聯,當且一個monitor被持有後,它将處于鎖定狀态。線程執行到monitorenter指令時,将會嘗試擷取對象所對應的monitor的所有權,即嘗試獲得對象

的鎖。

2.2.1 java對象頭

synchronized用的鎖是存在java對象頭裡的。如果對象是數組類型,則虛拟機用3個字寬(word)存儲對象頭,如果對象是非數組類型,則用2字寬存儲對象頭。在32位虛拟機中,1字寬等于4位元組,即32bit,如表2-2所示。

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

java對象頭裡的mark word裡預設存儲對象的hashcode、分代年齡和鎖标記位。32位jvm的mark word的預設存儲結構如表2-3所示。

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

在運作期間,mark word裡存儲的資料會随着鎖标志位的變化而變化。mark word可能變化為存儲以下4種資料,如表2-4所示。

表2-4 mark word的狀态變化

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

在64位虛拟機下,mark word是64bit大小的,其存儲結構如表2-5所示。

表2-5 mark word的存儲結構

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

2.2.2 鎖的更新與對比

java se 1.6為了減少獲得鎖和釋放鎖帶來的性能消耗,引入了“偏向鎖”和“輕量級鎖”,在java se 1.6中,鎖一共有4種狀态,級别從低到高依次是:無鎖狀态、偏向鎖狀态、輕量級鎖狀态和重量級鎖狀态,這幾個狀态會随着競争情況逐漸更新。鎖可以更新但不能降級,意味着偏向鎖更新成輕量級鎖後不能降級成偏向鎖。這種鎖更新卻不能降級的政策,目的是為了提高獲得鎖和釋放鎖的效率,下文會詳細分析。

1.?偏向鎖

hotspot的作者經過研究發現,大多數情況下,鎖不僅不存在多線程競争,而且總是由同一線程多次獲得,為了讓線程獲得鎖的代價更低而引入了偏向鎖。當一個線程通路同步塊并擷取鎖時,會在對象頭和棧幀中的鎖記錄裡存儲鎖偏向的線程id,以後該線程在進入和退出同步塊時不需要進行cas操作來加鎖和解鎖,隻需簡單地測試一下對象頭的mark word裡是否存儲着指向目前線程的偏向鎖。如果測試成功,表示線程已經獲得了鎖。如果測試失敗,則需要再測試一下mark word中偏向鎖的辨別是否設定成1(表示目前是偏向鎖):如果沒有設定,則使用cas競争鎖;如果設定了,則嘗試使用cas将對象頭的偏向鎖指向目前線程。

(1)偏向鎖的撤銷

偏向鎖使用了一種等到競争出現才釋放鎖的機制,是以當其他線程嘗試競争偏向鎖時,持有偏向鎖的線程才會釋放鎖。偏向鎖的撤銷,需要等待全局安全點(在這個時間點上沒有正在執行的位元組碼)。它會首先暫停擁有偏向鎖的線程,然後檢查持有偏向鎖的線程是否活着,如果線程不處于活動狀态,則将對象頭設定成無鎖狀态;如果線程仍然活着,擁有偏向鎖的棧會被執行,周遊偏向對象的鎖記錄,棧中的鎖記錄和對象頭的mark word要麼重新偏向于其他線程,要麼恢複到無鎖或者标記對象不适合作為偏向鎖,最後喚醒暫停的線程。圖2-1中的線程1示範了偏向鎖初始化的流程,線程2示範了偏向鎖撤銷的流程。

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

圖2-1 偏向鎖初始化的流程

(2)關閉偏向鎖

偏向鎖在java 6和java 7裡是預設啟用的,但是它在應用程式啟動幾秒鐘之後才激活,如有必要可以使用jvm參數來關閉延遲:-xx:biasedlockingstartupdelay=0。如果你确定應用程式裡所有的鎖通常情況下處于競争狀态,可以通過jvm參數關閉偏向鎖:-xx:-usebiasedlocking=false,那麼程式預設會進入輕量級鎖狀态。

2.?輕量級鎖

(1)輕量級鎖加鎖

線程在執行同步塊之前,jvm會先在目前線程的棧桢中建立用于存儲鎖記錄的空間,并将對象頭中的mark word複制到鎖記錄中,官方稱為displaced mark word。然後線程嘗試使用cas将對象頭中的mark word替換為指向鎖記錄的指針。如果成功,目前線程獲得鎖,如果失敗,表示其他線程競争鎖,目前線程便嘗試使用自旋來擷取鎖。

(2)輕量級鎖解鎖

輕量級解鎖時,會使用原子的cas操作将displaced mark word替換回到對象頭,如果成功,則表示沒有競争發生。如果失敗,表示目前鎖存在競争,鎖就會膨脹成重量級鎖。圖2-2是兩個線程同時争奪鎖,導緻鎖膨脹的流程圖。

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用

因為自旋會消耗cpu,為了避免無用的自旋(比如獲得鎖的線程被阻塞住了),一旦鎖更新成重量級鎖,就不會再恢複到輕量級鎖狀态。當鎖處于這個狀态下,其他線程試圖擷取鎖時,都會被阻塞住,當持有鎖的線程釋放鎖之後會喚醒這些線程,被喚醒的線程就會進行新一輪的奪鎖之争。

3.?鎖的優缺點對比

表2-6是鎖的優缺點的對比。

《Java并發程式設計的藝術》一一2.2 synchronized的實作原理與應用