文章目錄

• 簡介
• java對象頭
• java中鎖狀態的變化
• 偏向鎖biased locking
• 輕量級鎖thin lock
• 重量級鎖
• 三種鎖狀態的不同

簡介

鎖和同步是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的博客

歡迎關注我的公眾號:程序那些事，更多精彩等著您！

總結

以上是生活随笔為你收集整理的JVM系列之:对象的锁状态和同步的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。