JVM系列之:對象的鎖狀態和同步


簡介

鎖和同步是java多線程編程中非常常見的使用場景。為了鎖定多線程共享的對象,Java需要提供一定的機制來實現共享對象的鎖定,從而保證一次只有一個線程能夠作用於共享對象。當第二個線程進入同一個區域的時候,必須等待第一個線程解鎖該對象。

JVM是怎么做到的呢?為了實現這個功能,java對象又需要具備什么樣的結構呢?快來一起看看吧。

java對象頭

Java的鎖狀態其實可以分為三種,分別是偏向鎖,輕量級鎖和重量級鎖。

在Java HotSpot VM中,每個對象前面都有一個class指針和一個Mark Word。 Mark Word存儲了哈希值以及分代年齡和標記位等,通過這些值的變化,JVM可以實現對java對象的不同程度的鎖定。

還記得我們之前分享java對象的那張圖嗎?

javaObject對象的對象頭大小根據你使用的是32位還是64位的虛擬機的不同,稍有變化。這里我們使用的是64位的虛擬機為例。

Object的對象頭,分為兩部分,第一部分是Mark Word,用來存儲對象的運行時數據比如:hashcode,GC分代年齡,鎖狀態,持有鎖信息,偏向鎖的thread ID等等。

在64位的虛擬機中,Mark Word是64bits,如果是在32位的虛擬機中Mark Word是32bits。

第二部分就是Klass Word,Klass Word是一個類型指針,指向class的元數據,JVM通過Klass Word來判斷該對象是哪個class的實例。

我們可以看到對象頭中的Mark Word根據狀態的不同,存儲的是不同的內容。

其中鎖標記的值分別是:無鎖=001,偏向鎖=101,輕量級鎖=000,重量級鎖=010。

java中鎖狀態的變化

為什么java中的鎖有三種狀態呢?其本質原因是為了提升鎖的效率,因為不同情況下,鎖的力度是不一樣的。

通過設置不同的鎖的狀態,從而可以不同的情況用不同的處理方式。

下圖是java中的鎖狀態的變化圖:

上面的圖基本上列出了java中鎖狀態的整個生命周期。接下來我們一個一個的講解。

偏向鎖biased locking

一般來說,一個對象被一個線程獲得鎖之后,很少發生線程切換的情況。也就是說大部分情況下,一個對象只是被一個對象鎖定的。

那么這個時候我們可以通過設置Mark word的一定結構,減少使用CAS來更新對象頭的頻率。

為了實現這樣的目標,我們看下偏向鎖的Mark word的結構:

當偏向線程第一次進入同步塊的時候,會去判斷偏向鎖的狀態和thread ID,如果偏向鎖狀態是1,並且thread ID是空的話,將會使用CAS命令來更新對象的Mark word。

設置是否偏向鎖=1,鎖標記=01,線程ID設置為當前鎖定該對象的線程。

下一次該對象進入同步塊的時候,會先去判斷鎖定的線程ID和當前線程ID是否相等,如果相等的話則不需要執行CAS命令,直接進入同步塊。

如果這個時候有第二個線程想訪問該對象的同步塊,因為當前對象頭的thread ID是第一個線程的ID,跟第二個線程的ID不同。

如果這個時候線程1的同步塊已經執行完畢,那么需要解除偏向鎖的鎖定。

解除鎖定很簡單,就是將線程ID設置為空,並且將偏向鎖的標志位設為0,

如果這個時候線程1的同步塊還在執行,那么需要將偏向鎖升級為輕量級鎖。

輕量級鎖thin lock

先看下輕量級鎖的結構:

可以看到Mark word中存放的是棧中鎖記錄的指針和鎖的標記=00。

如果對象現在處於未加鎖狀態,當一個線程嘗試進入同步塊的時候,會將把對象頭和當前對象的指針拷貝一份,放在線程的棧中一個叫做lock record的地方。

然后JVM通過CAS操作,將對象頭中的指針指向剛剛拷貝的lock record。如果成功,則該線程擁有該對象的鎖。

實際上Lock Record和Mark word形成了一個互相指向對方的情況。

下次這個線程再次進入同步塊的時候,同樣執行CAS,比較Mark word中的指針是否和當前thread的lock record地址一致,如果一致表明是同一個線程,可以繼續持有該鎖。

如果這個時候有第二個線程,也想進入該對象的同步塊,也會執行CAS操作,很明顯會失敗,因為對象頭中的指針和lock record的地址不一樣。

這個時候第二個線程就會自旋等待。

那么第一個線程什么時候會釋放鎖呢?

輕量級鎖在線程退出同步塊的時候,同樣需要執行CAS命令,將鎖標記從00替換成01,也就是無鎖狀態。

重量級鎖

如果第二個線程自旋時間太久,就會將鎖標記替換成10(重量級鎖),並且設置重量級鎖的指針,指向第二個線程,然后進入阻塞狀態。

當第一個線程退出同步塊的時候,執行CAS命令就會出錯,這時候第一個線程就知道鎖已經膨脹成為重量級鎖了。

第一個線程就會釋放鎖,並且喚醒等待的第二個線程。

第二個線程被喚醒之后,重新爭奪鎖。

我們看下重量級鎖的結構:

三種鎖狀態的不同

偏向鎖,輕量級鎖和重量級鎖到底有什么不同了?

這里總結一下,偏向鎖下次進入的時候不需要執行CAS命令,只做線程ID的比較即可。

輕量級鎖進入和退出同步塊都需要執行CAS命令,但是輕量級鎖不會阻塞,它使用的是自旋命令來獲取鎖。

重量級鎖不使用自旋,但是會阻塞線程。

好了,小伙伴們對於鎖的狀態變化有什么疑問嗎?歡迎留言。

本文作者:flydean程序那些事

本文鏈接:http://www.flydean.com/jvm-object-lock-synchronization/

本文來源:flydean的博客

歡迎關注我的公眾號:程序那些事,更多精彩等着您!


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM