在圖文詳解Java對象內(nèi)存布局這篇文章中,在研究對象頭時(shí)我們了解了synchronized
鎖升級的過程,由于篇幅有限,對鎖升級的過程介紹的比較簡略,本文在上一篇的基礎(chǔ)上,來詳細(xì)研究一下鎖升級的過程以及各個(gè)狀態(tài)下鎖的原理。本文結(jié)構(gòu)如下:
- 1 無鎖
- 2 偏向鎖
- 3 輕量級鎖
- 4 重量級鎖
- 總結(jié)
1 無鎖
在上一篇文章中,我們提到過 jvm 會有4秒的偏向鎖開啟的延遲時(shí)間,在這個(gè)偏向延遲內(nèi)對象處于為無鎖態(tài)。如果關(guān)閉偏向鎖啟動延遲、或是經(jīng)過4秒且沒有線程競爭對象的鎖,那么對象會進(jìn)入無鎖可偏向狀態(tài)。
準(zhǔn)確來說,無鎖可偏向狀態(tài)應(yīng)該叫做匿名偏向(Anonymously biased
)狀態(tài),因?yàn)檫@時(shí)對象的mark word
中后三位已經(jīng)是101
,但是threadId
指針部分仍然全部為 0,它還沒有向任何線程偏向。綜上所述,對象在剛被創(chuàng)建時(shí),根據(jù) jvm 的配置對象可能會處于 無鎖 或 匿名偏向 兩個(gè)狀態(tài)。
此外,如果在 jvm 的參數(shù)中關(guān)閉偏向鎖,那么直到有線程獲取這個(gè)鎖對象之前,會一直處于無鎖不可偏向狀態(tài)。修改 jvm 啟動參數(shù):
-XX:-UseBiasedLocking
延遲5s后打印對象內(nèi)存布局:
public static void main(String[] args) throws InterruptedException {
User user=new User();
TimeUnit.SECONDS.sleep(5);
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
可以看到,即使經(jīng)過一定的啟動延時(shí),對象一直處于001
無鎖不可偏向狀態(tài)。大家可能會有疑問,在無鎖狀態(tài)下,為什么要存在一個(gè)不可偏向狀態(tài)呢?通過查閱資料得到的解釋是:
JVM內(nèi)部的代碼有很多地方也用到了synchronized,明確在這些地方存在線程的競爭,如果還需要從偏向狀態(tài)再逐步升級,會帶來額外的性能損耗,所以JVM設(shè)置了一個(gè)偏向鎖的啟動延遲,來降低性能損耗
也就是說,在無鎖不可偏向狀態(tài)下,如果有線程試圖獲取鎖,那么將跳過升級偏向鎖的過程,直接使用輕量級鎖。使用代碼進(jìn)行驗(yàn)證:
//-XX:-UseBiasedLocking
public static void main(String[] args) throws InterruptedException {
User user=new User();
synchronized (user){
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
}
查看結(jié)果可以看到,在關(guān)閉偏向鎖情況下使用synchronized
,鎖會直接升級為輕量級鎖(00
狀態(tài)):
在目前的基礎(chǔ)上,可以用流程圖概括上面的過程:
額外注意一點(diǎn)就是匿名偏向狀態(tài)下,如果調(diào)用系統(tǒng)的hashCode()
方法,會使對象回到無鎖態(tài),并在markword
中寫入hashCode
。并且在這個(gè)狀態(tài)下,如果有線程嘗試獲取鎖,會直接從無鎖升級到輕量級鎖,不會再升級為偏向鎖。
2 偏向鎖
2.1 偏向鎖原理
匿名偏向狀態(tài)是偏向鎖的初始狀態(tài),在這個(gè)狀態(tài)下第一個(gè)試圖獲取該對象的鎖的線程,會使用CAS操作(匯編命令CMPXCHG
)嘗試將自己的threadID
寫入對象頭的mark word
中,使匿名偏向狀態(tài)升級為已偏向(Biased)的偏向鎖狀態(tài)。在已偏向狀態(tài)下,線程指針threadID
非空,且偏向鎖的時(shí)間戳epoch
為有效值。
如果之后有線程再次嘗試獲取鎖時(shí),需要檢查mark word
中存儲的threadID
是否與自己相同即可,如果相同那么表示當(dāng)前線程已經(jīng)獲得了對象的鎖,不需要再使用CAS操作來進(jìn)行加鎖。
如果mark word
中存儲的threadID
與當(dāng)前線程不同,那么將執(zhí)行CAS操作,試圖將當(dāng)前線程的ID替換mark word
中的threadID
。只有當(dāng)對象處于下面兩種狀態(tài)中時(shí),才可以執(zhí)行成功:
- 對象處于匿名偏向狀態(tài)
- 對象處于可重偏向(Rebiasable)狀態(tài),新線程可使用CAS將
threadID
指向自己
如果對象不處于上面兩個(gè)狀態(tài),說明鎖存在線程競爭,在CAS替換失敗后會執(zhí)行偏向鎖撤銷操作。偏向鎖的撤銷需要等待全局安全點(diǎn)Safe Point
(安全點(diǎn)是 jvm為了保證在垃圾回收的過程中引用關(guān)系不會發(fā)生變化設(shè)置的安全狀態(tài),在這個(gè)狀態(tài)上會暫停所有線程工作),在這個(gè)安全點(diǎn)會掛起獲得偏向鎖的線程。
在暫停線程后,會通過遍歷當(dāng)前jvm的所有線程的方式,檢查持有偏向鎖的線程狀態(tài)是否存活:
- 如果線程還存活,且線程正在執(zhí)行同步代碼塊中的代碼,則升級為輕量級鎖
- 如果持有偏向鎖的線程未存活,或者持有偏向鎖的線程未在執(zhí)行同步代碼塊中的代碼,則進(jìn)行校驗(yàn)是否允許重偏向:
-
- 不允許重偏向,則撤銷偏向鎖,將
mark word
升級為輕量級鎖,進(jìn)行 CAS 競爭鎖 - 允許重偏向,設(shè)置為匿名偏向鎖狀態(tài),CAS 將偏向鎖重新指向新線程
- 不允許重偏向,則撤銷偏向鎖,將
完成上面的操作后,喚醒暫停的線程,從安全點(diǎn)繼續(xù)執(zhí)行代碼??梢允褂昧鞒虉D總結(jié)上面的過程:
2.2 偏向鎖升級
在上面的過程中,我們已經(jīng)知道了匿名偏向狀態(tài)可以變?yōu)闊o鎖態(tài)或升級為偏向鎖,接下來看一下偏向鎖的其他狀態(tài)的改變
- 偏向鎖升級為輕量級鎖
public static void main(String[] args) throws InterruptedException {
User user=new User();
synchronized (user){
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
Thread thread = new Thread(() -> {
synchronized (user) {
System.out.println("--THREAD--:"+ClassLayout.parseInstance(user).toPrintable());
}
});
thread.start();
thread.join();
System.out.println("--END--:"+ClassLayout.parseInstance(user).toPrintable());
}
查看內(nèi)存布局,偏向鎖升級為輕量級鎖,在執(zhí)行完成同步代碼后釋放鎖,變?yōu)闊o鎖不可偏向狀態(tài):
- 偏向鎖升級為重量級鎖
public static void main(String[] args) throws InterruptedException {
User user=new User();
Thread thread = new Thread(() -> {
synchronized (user) {
System.out.println("--THREAD1--:" + ClassLayout.parseInstance(user).toPrintable());
try {
user.wait(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("--THREAD END--:" + ClassLayout.parseInstance(user).toPrintable());
}
});
thread.start();
thread.join();
TimeUnit.SECONDS.sleep(3);
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
查看內(nèi)存布局,可以看到在調(diào)用了對象的wait()
方法后,直接從偏向鎖升級成了重量級鎖,并在鎖釋放后變?yōu)闊o鎖態(tài):
這里是因?yàn)?code>wait()方法調(diào)用過程中依賴于重量級鎖中與對象關(guān)聯(lián)的monitor
,在調(diào)用wait()
方法后monitor
會把線程變?yōu)?code>WAITING狀態(tài),所以才會強(qiáng)制升級為重量級鎖。除此之外,調(diào)用hashCode
方法時(shí)也會使偏向鎖直接升級為重量級鎖。
在上面分析的基礎(chǔ)上,再加上我們上一篇中講到的輕量級鎖升級到重量級鎖的知識,就可以對上面的流程圖進(jìn)行完善了:
2.3 批量重偏向
在未禁用偏向鎖的情況下,當(dāng)一個(gè)線程建立了大量對象,并且對它們執(zhí)行完同步操作解鎖后,所有對象處于偏向鎖狀態(tài),此時(shí)若再來另一個(gè)線程也嘗試獲取這些對象的鎖,就會導(dǎo)偏向鎖的批量重偏向(Bulk Rebias)。當(dāng)觸發(fā)批量重偏向后,第一個(gè)線程結(jié)束同步操作后的鎖對象當(dāng)再被同步訪問時(shí)會被重置為可重偏向狀態(tài),以便允許快速重偏向,這樣能夠減少撤銷偏向鎖再升級為輕量級鎖的性能消耗。
首先看一下和偏向鎖有關(guān)的參數(shù),修改jvm啟動參數(shù),使用下面的命令可以在項(xiàng)目啟動時(shí)打印jvm的默認(rèn)參數(shù)值:
-XX:+PrintFlagsFinal
需要關(guān)注的屬性有下面3個(gè):
BiasedLockingBulkRebiasThreshold
:偏向鎖批量重偏向閾值,默認(rèn)為20次BiasedLockingBulkRevokeThreshold
:偏向鎖批量撤銷閾值,默認(rèn)為40次BiasedLockingDecayTime
:重置計(jì)數(shù)的延遲時(shí)間,默認(rèn)值為25000毫秒(即25秒)
批量重偏向是以class
而不是對象為單位的,每個(gè)class
會維護(hù)一個(gè)偏向鎖的撤銷計(jì)數(shù)器,每當(dāng)該class
的對象發(fā)生偏向鎖的撤銷時(shí),該計(jì)數(shù)器會加一,當(dāng)這個(gè)值達(dá)到默認(rèn)閾值20時(shí),jvm就會認(rèn)為這個(gè)鎖對象不再適合原線程,因此進(jìn)行批量重偏向。而距離上次批量重偏向的25秒內(nèi),如果撤銷計(jì)數(shù)達(dá)到40,就會發(fā)生批量撤銷,如果超過25秒,那么就會重置在[20, 40)內(nèi)的計(jì)數(shù)。
上面這段理論是不是聽上去有些難理解,沒關(guān)系,我們先用代碼驗(yàn)證批量重偏向的過程:
private static Thread t1,t2;
public static void main(String[] args) throws InterruptedException {
TimeUnit.SECONDS.sleep(5);
List<Object> list = new ArrayList<>();
for (int i = 0; i < 40; i++) {
list.add(new Object());
}
t1 = new Thread(() -> {
for (int i = 0; i < list.size(); i++) {
synchronized (list.get(i)) {
}
}
LockSupport.unpark(t2);
});
t2 = new Thread(() -> {
LockSupport.park();
for (int i = 0; i < 30; i++) {
Object o = list.get(i);
synchronized (o) {
if (i == 18 || i == 19) {
System.out.println("THREAD-2 Object"+(i+1)+":"+ClassLayout.parseInstance(o).toPrintable());
}
}
}
});
t1.start();
t2.start();
t2.join();
TimeUnit.SECONDS.sleep(3);
System.out.println("Object19:"+ClassLayout.parseInstance(list.get(18)).toPrintable());
System.out.println("Object20:"+ClassLayout.parseInstance(list.get(19)).toPrintable());
System.out.println("Object30:"+ClassLayout.parseInstance(list.get(29)).toPrintable());
System.out.println("Object31:"+ClassLayout.parseInstance(list.get(30)).toPrintable());
}
分析上面的代碼,當(dāng)線程t1
運(yùn)行結(jié)束后,數(shù)組中所有對象的鎖都偏向t1
,然后t1
喚醒被掛起的線程t2
,線程t2
嘗試獲取前30個(gè)對象的鎖。我們打印線程t2
獲取到的第19和第20個(gè)對象的鎖狀態(tài):
線程t2
在訪問前19個(gè)對象時(shí)對象的偏向鎖會升級到輕量級鎖,在訪問后11個(gè)對象(下標(biāo)19-29)時(shí),因?yàn)槠蜴i撤銷次數(shù)達(dá)到了20,會觸發(fā)批量重偏向,將鎖的狀態(tài)變?yōu)槠蚓€程t2
。在全部線程結(jié)束后,再次查看第19、20、30、31個(gè)對象鎖的狀態(tài):
線程t2
結(jié)束后,第1-19的對象釋放輕量級鎖變?yōu)闊o鎖不可偏向狀態(tài),第20-30的對象狀態(tài)為偏向鎖、但從偏向t1
改為偏向t2
,第31-40的對象因?yàn)闆]有被線程t2
訪問所以保持偏向線程t1
不變。
2.4 批量撤銷
在多線程競爭激烈的狀況下,使用偏向鎖將會導(dǎo)致性能降低,因此產(chǎn)生了批量撤銷機(jī)制,接下來使用代碼進(jìn)行測試:
private static Thread t1, t2, t3;
public static void main(String[] args) throws InterruptedException {
TimeUnit.SECONDS.sleep(5);
List<Object> list = new ArrayList<>();
for (int i = 0; i < 40; i++) {
list.add(new Object());
}
t1 = new Thread(() -> {
for (int i = 0; i < list.size(); i++) {
synchronized (list.get(i)) {
}
}
LockSupport.unpark(t2);
});
t2 = new Thread(() -> {
LockSupport.park();
for (int i = 0; i < list.size(); i++) {
Object o = list.get(i);
synchronized (o) {
if (i == 18 || i == 19) {
System.out.println("THREAD-2 Object"+(i+1)+":"+ClassLayout.parseInstance(o).toPrintable());
}
}
}
LockSupport.unpark(t3);
});
t3 = new Thread(() -> {
LockSupport.park();
for (int i = 0; i < list.size(); i++) {
Object o = list.get(i);
synchronized (o) {
System.out.println("THREAD-3 Object"+(i+1)+":"+ClassLayout.parseInstance(o).toPrintable());
}
}
});
t1.start();
t2.start();
t3.start();
t3.join();
System.out.println("New: "+ClassLayout.parseInstance(new Object()).toPrintable());
}
對上面的運(yùn)行流程進(jìn)行分析:
- 線程
t1
中,第1-40的鎖對象狀態(tài)變?yōu)槠蜴i - 線程
t2
中,第1-19的鎖對象撤銷偏向鎖升級為輕量級鎖,然后對第20-40的對象進(jìn)行批量重偏向 - 線程
t3
中,首先直接對第1-19個(gè)對象競爭輕量級鎖,而從第20個(gè)對象開始往后的對象不會再次進(jìn)行批量重偏向,因此第20-39的對象進(jìn)行偏向鎖撤銷升級為輕量級鎖,這時(shí)t2
和t3
線程一共執(zhí)行了40次的鎖撤銷,觸發(fā)鎖的批量撤銷機(jī)制,對偏向鎖進(jìn)行撤銷置為輕量級鎖
看一下在3個(gè)線程都結(jié)束后創(chuàng)建的新對象:
可以看到,創(chuàng)建的新對象為無鎖不可偏向狀態(tài)001
,說明當(dāng)類觸發(fā)了批量撤銷機(jī)制后,jvm 會禁用該類創(chuàng)建對象時(shí)的可偏向性,該類新創(chuàng)建的對象全部為無鎖不可偏向狀態(tài)。
2.5 總結(jié)
偏向鎖通過消除資源無競爭情況下的同步原語,提高了程序在單線程下訪問同步資源的運(yùn)行性能,但是當(dāng)出現(xiàn)多個(gè)線程競爭時(shí),就會撤銷偏向鎖、升級為輕量級鎖。
如果我們的應(yīng)用系統(tǒng)是高并發(fā)、并且代碼中同步資源一直是被多線程訪問的,那么撤銷偏向鎖這一步就顯得多余,偏向鎖撤銷時(shí)進(jìn)入Safe Point
產(chǎn)生STW
的現(xiàn)象應(yīng)該是被極力避免的,這時(shí)應(yīng)該通過禁用偏向鎖來減少性能上的損耗。
3 輕量級鎖
3.1 輕量級鎖原理
1、在代碼訪問同步資源時(shí),如果鎖對象處于無鎖不可偏向狀態(tài),jvm首先將在當(dāng)前線程的棧幀中創(chuàng)建一條鎖記錄(lock record
),用于存放:
displaced mark word
(置換標(biāo)記字):存放鎖對象當(dāng)前的mark word
的拷貝owner
指針:指向當(dāng)前的鎖對象的指針,在拷貝mark word
階段暫時(shí)不會處理它
2、在拷貝mark word
完成后,首先會掛起線程,jvm使用CAS操作嘗試將對象的 mark word
中的 lock record
指針指向棧幀中的鎖記錄,并將鎖記錄中的owner
指針指向鎖對象的mark word
- 如果CAS替換成功,表示競爭鎖對象成功,則將鎖標(biāo)志位設(shè)置成
00
,表示對象處于輕量級鎖狀態(tài),執(zhí)行同步代碼中的操作
- 如果CAS替換失敗,則判斷當(dāng)前對象的
mark word
是否指向當(dāng)前線程的棧幀:
-
- 如果是則表示當(dāng)前線程已經(jīng)持有對象的鎖,執(zhí)行的是
synchronized
的鎖重入過程,可以直接執(zhí)行同步代碼塊 - 否則說明該其他線程已經(jīng)持有了該對象的鎖,如果在自旋一定次數(shù)后仍未獲得鎖,那么輕量級鎖需要升級為重量級鎖,將鎖標(biāo)志位變成
10
,后面等待的線程將會進(jìn)入阻塞狀態(tài)
- 如果是則表示當(dāng)前線程已經(jīng)持有對象的鎖,執(zhí)行的是
4、輕量級鎖的釋放同樣使用了CAS操作,嘗試將displaced mark word
替換回mark word
,這時(shí)需要檢查鎖對象的mark word
中lock record
指針是否指向當(dāng)前線程的鎖記錄:
- 如果替換成功,則表示沒有競爭發(fā)生,整個(gè)同步過程就完成了
- 如果替換失敗,則表示當(dāng)前鎖資源存在競爭,有可能其他線程在這段時(shí)間里嘗試過獲取鎖失敗,導(dǎo)致自身被掛起,并修改了鎖對象的
mark word
升級為重量級鎖,最后在執(zhí)行重量級鎖的解鎖流程后喚醒被掛起的線程
用流程圖對上面的過程進(jìn)行描述:
3.2 輕量級鎖重入
我們知道,synchronized
是可以鎖重入的,在輕量級鎖的情況下重入也是依賴于棧上的lock record
完成的。以下面的代碼中3次鎖重入為例:
synchronized (user){
synchronized (user){
synchronized (user){
//TODO
}
}
}
輕量級鎖的每次重入,都會在棧中生成一個(gè)lock record
,但是保存的數(shù)據(jù)不同:
- 首次分配的
lock record
,displaced mark word
復(fù)制了鎖對象的mark word
,owner
指針指向鎖對象 - 之后重入時(shí)在棧中分配的
lock record
中的displaced mark word
為null
,只存儲了指向?qū)ο蟮?code>owner指針
輕量級鎖中,重入的次數(shù)等于該鎖對象在棧幀中lock record
的數(shù)量,這個(gè)數(shù)量隱式地充當(dāng)了鎖重入機(jī)制的計(jì)數(shù)器。這里需要計(jì)數(shù)的原因是每次解鎖都需要對應(yīng)一次加鎖,只有最后解鎖次數(shù)等于加鎖次數(shù)時(shí),鎖對象才會被真正釋放。在釋放鎖的過程中,如果是重入則刪除棧中的lock record
,直到?jīng)]有重入時(shí)則使用CAS替換鎖對象的mark word
。
3.3 輕量級鎖升級
在jdk1.6以前,默認(rèn)輕量級鎖自旋次數(shù)是10次,如果超過這個(gè)次數(shù)或自旋線程數(shù)超過CPU核數(shù)的一半,就會升級為重量級鎖。這時(shí)因?yàn)槿绻孕螖?shù)過多,或過多線程進(jìn)入自旋,會導(dǎo)致消耗過多cpu資源,重量級鎖情況下線程進(jìn)入等待隊(duì)列可以降低cpu資源的消耗。自旋次數(shù)的值也可以通過jvm參數(shù)進(jìn)行修改:
-XX:PreBlockSpin
jdk1.6以后加入了自適應(yīng)自旋鎖 (Adapative Self Spinning
),自旋的次數(shù)不再固定,由jvm自己控制,由前一次在同一個(gè)鎖上的自旋時(shí)間及鎖的擁有者的狀態(tài)來決定:
- 對于某個(gè)鎖對象,如果自旋等待剛剛成功獲得過鎖,并且持有鎖的線程正在運(yùn)行中,那么虛擬機(jī)就會認(rèn)為這次自旋也是很有可能再次成功,進(jìn)而允許自旋等待持續(xù)相對更長時(shí)間
- 對于某個(gè)鎖對象,如果自旋很少成功獲得過鎖,那在以后嘗試獲取這個(gè)鎖時(shí)將可能省略掉自旋過程,直接阻塞線程,避免浪費(fèi)處理器資源。
下面通過代碼驗(yàn)證輕量級鎖升級為重量級鎖的過程:
public static void main(String[] args) throws InterruptedException {
User user = new User();
System.out.println("--MAIN--:" + ClassLayout.parseInstance(user).toPrintable());
Thread thread1 = new Thread(() -> {
synchronized (user) {
System.out.println("--THREAD1--:" + ClassLayout.parseInstance(user).toPrintable());
try {
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
});
Thread thread2 = new Thread(() -> {
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
synchronized (user) {
System.out.println("--THREAD2--:" + ClassLayout.parseInstance(user).toPrintable());
}
});
thread1.start();
thread2.start();
thread1.join();
thread2.join();
TimeUnit.SECONDS.sleep(3);
System.out.println(ClassLayout.parseInstance(user).toPrintable());
}
在上面的代碼中,線程2在啟動后休眠兩秒后再嘗試獲取鎖,確保線程1能夠先得到鎖,在此基礎(chǔ)上造成鎖對象的資源競爭。查看對象鎖狀態(tài)變化:
在線程1持有輕量級鎖的情況下,線程2嘗試獲取鎖,導(dǎo)致資源競爭,使輕量級鎖升級到重量級鎖。在兩個(gè)線程都運(yùn)行結(jié)束后,可以看到對象的狀態(tài)恢復(fù)為了無鎖不可偏向狀態(tài),在下一次線程嘗試獲取鎖時(shí),會直接從輕量級鎖狀態(tài)開始。
上面在最后一次打印前將主線程休眠3秒的原因是鎖的釋放過程需要一定的時(shí)間,如果在線程執(zhí)行完成后直接打印對象內(nèi)存布局,對象可能仍處于重量級鎖狀態(tài)。
3.4 總結(jié)
輕量級鎖與偏向鎖類似,都是 jdk 對于多線程的優(yōu)化,不同的是輕量級鎖是通過 CAS 來避免開銷較大的互斥操作,而偏向鎖是在無資源競爭的情況下完全消除同步。
輕量級鎖的“輕量”是相對于重量級鎖而言的,它的性能會稍好一些。輕量級鎖嘗試?yán)?CAS,在升級為重量級鎖之前進(jìn)行補(bǔ)救,目的是為了減少多線程進(jìn)入互斥,當(dāng)多個(gè)線程交替執(zhí)行同步塊時(shí),jvm 使用輕量級鎖來保證同步,避免線程切換的開銷,不會造成用戶態(tài)與內(nèi)核態(tài)的切換。但是如果過度自旋,會引起 cpu 資源的浪費(fèi),這種情況下輕量級鎖消耗的資源可能反而會更多。
4 重量級鎖
4.1 Monitor
重量級鎖是依賴對象內(nèi)部的 monitor(監(jiān)視器/管程)來實(shí)現(xiàn)的 ,而 monitor 又依賴于操作系統(tǒng)底層的Mutex Lock
(互斥鎖)實(shí)現(xiàn),這也就是為什么說重量級鎖比較“重”的原因了,操作系統(tǒng)在實(shí)現(xiàn)線程之間的切換時(shí),需要從用戶態(tài)切換到內(nèi)核態(tài),成本非常高。在學(xué)習(xí)重量級鎖的工作原理前,首先需要了解一下 monitor 中的核心概念:
owner
:標(biāo)識擁有該monitor
的線程,初始時(shí)和鎖被釋放后都為 nullcxq (ConnectionList)
:競爭隊(duì)列,所有競爭鎖的線程都會首先被放入這個(gè)隊(duì)列中EntryList
:候選者列表,當(dāng)owner
解鎖時(shí)會將cxq
隊(duì)列中的線程移動到該隊(duì)列中OnDeck
:在將線程從cxq
移動到EntryList
時(shí),會指定某個(gè)線程為Ready狀態(tài)(即OnDeck
),表明它可以競爭鎖,如果競爭成功那么稱為owner
線程,如果失敗則放回EntryList
中WaitSet
:因?yàn)檎{(diào)用wait()
或wait(time)
方法而被阻塞的線程會被放在該隊(duì)列中count
:monitor的計(jì)數(shù)器,數(shù)值加1表示當(dāng)前對象的鎖被一個(gè)線程獲取,線程釋放monitor對象時(shí)減1recursions
:線程重入次數(shù)
用圖來表示線程競爭的的過程:
當(dāng)線程調(diào)用wait()
方法,將釋放當(dāng)前持有的monitor,將owner
置為null,進(jìn)入WaitSet
集合中等待被喚醒。當(dāng)有線程調(diào)用notify()
或notifyAll()
方法時(shí),也會釋放持有的monitor,并喚醒WaitSet
的線程重新參與monitor的競爭。
4.2 重量級鎖原理
當(dāng)升級為重量級鎖的情況下,鎖對象的mark word
中的指針不再指向線程棧中的lock record
,而是指向堆中與鎖對象關(guān)聯(lián)的monitor對象。當(dāng)多個(gè)線程同時(shí)訪問同步代碼時(shí),這些線程會先嘗試獲取當(dāng)前鎖對象對應(yīng)的monitor的所有權(quán):
- 獲取成功,判斷當(dāng)前線程是不是重入,如果是重入那么
recursions+1
- 獲取失敗,當(dāng)前線程會被阻塞,等待其他線程解鎖后被喚醒,再次競爭鎖對象
在重量級鎖的情況下,加解鎖的過程涉及到操作系統(tǒng)的Mutex Lock
進(jìn)行互斥操作,線程間的調(diào)度和線程的狀態(tài)變更過程需要在用戶態(tài)和核心態(tài)之間進(jìn)行切換,會導(dǎo)致消耗大量的cpu資源,導(dǎo)致性能降低。
總結(jié)
在jdk1.6中,引入了偏向鎖和輕量級鎖,并使用鎖升級機(jī)制對synchronized
進(jìn)行了充分的優(yōu)化。其實(shí)除鎖升級外,還使用了鎖消除、鎖粗化等優(yōu)化手段,所以對它的認(rèn)識要脫離“重量級”這一概念,不要再單純的認(rèn)為它的性能差了。在某些場景下,synchronized
的性能甚至已經(jīng)超過了Lock
同步鎖。
盡管java對synchronized
做了這些優(yōu)化,但是在使用過程中,我們還是要盡量減少鎖的競爭,通過減小加鎖粒度和減少同步代碼的執(zhí)行時(shí)間,來降低鎖競爭,盡量使鎖維持在偏向鎖和輕量級鎖的級別,避免升級為重量級鎖,造成性能的損耗。
最后不得不再提一句,在java15中已經(jīng)默認(rèn)禁用了偏向鎖,并棄用所有相關(guān)的命令行選項(xiàng),雖然說不確定未來的LTS版本會怎樣改動,但是了解一下偏向鎖的基礎(chǔ)也沒什么不好的,畢竟你發(fā)任你發(fā),我用java8~
來源:公眾號 碼農(nóng)參上 作者:Dr Hydra