面試官再問你​synchronized你就把這個甩給他


面試官再問你​synchronized你就把這個甩給他

​synchronized的三種應用方式

一. 修飾實例方法,作用於當前實例加鎖,進入同步代碼前要獲得當前實例的鎖。

/**
* 鎖實例方法
*/public synchronizedvoid test() {

}

二. 修飾靜態方法,作用於當前類對象加鎖,進入同步代碼前要獲得當前類對象的鎖。

<code>/**

 *鎖靜態方法

 */
public synchronized static void test1(){



}/<code>


三.修飾代碼塊,指定加鎖對象,對給定對象加鎖,進入同步代碼庫前要獲得給定對象。

1.成員鎖

2.實例對象鎖

3.當前類的 class 對象鎖

<code>/**

 *成員鎖

 */
public   void test2(){

    synchronized (lock){



    }

}
/**

 *實例對象鎖

 */
public   void test3(){

    synchronized (this){



    }

}
/**

 *成員鎖

 */
public   void test4(){

    synchronized (Testsynchronized.class){



    }

}/<code>

synchronized的字節碼指令

synchronized同步塊使用了monitorenter和monitorexit指令實現同步,這兩個指令,本質上都是對一個對象的監視器(monitor)進行獲取,這個過程是排他的,也就是說同一時刻只能有一個線程獲取到由synchronized所保護對象的監視器。

線程執行到monitorenter指令時,會嘗試獲取對象所對應的monitor所有權,也就是嘗試獲取對象的鎖,而執行monitorexit,就是釋放monitor的所有權。

synchronized的鎖的原理

兩個重要的概念:一個是對象頭,另一個是monitor。

Java對象頭

在Hotspot虛擬機中,對象在內存中的佈局分為三塊區域:對象頭(Mark Word、Class Metadata Address)、實例數據和對齊填充;Java對象頭是實現synchronized的鎖對象的基礎。一般而言,synchronized使用的鎖對象是存儲在Java對象頭裡。它是輕量級鎖和偏向鎖的關鍵。

Mark Word

Mark Word用於存儲對象自身的運行時數據,如哈希碼(HashCode)、GC分代年齡、鎖狀態標誌、線程持有的

鎖、偏向線程 ID、偏向時間戳等等。Java對象頭一般佔有兩個機器碼(在32位虛擬機中,1個機器碼等於4字節,

也就是32bit)。

Class Metadata Address

類型指針,即是對象指向它的類的元數據的指針,虛擬機通過這個指針來確定這個對象是哪個類的實例。

Array length

如果對象是一個Java數組,那在對象頭中還必須有一塊用於記錄數組長度的數據。

Monitor

Monitor是一個同步工具,它內置於每一個Object對象中,相當於一個許可證。拿到許可證即可以進行操作,沒有拿到則需要阻塞等待。

在hotspot虛擬機中,通過ObjectMonitor類來實現monitor。

synchronized鎖的優化

jdk1.6以後對synchronized的鎖進行了優化,引入了偏向鎖、輕量級鎖,鎖的級別從低到高逐步升級:

無鎖->偏向鎖->輕量級鎖->重量級鎖

自旋鎖與自適應自旋

線程的掛起和恢復會極大的影響開銷。並且jdk官方人員發現,很多線程在等待鎖的時候,在很短的一段時間就獲得了鎖,所以它們在線程等待的時候,並不需要把線程掛起,而是讓他無目的的循環,一般設置10次。這樣就避免了線程切換的開銷,極大的提升了性能。

而適應性自旋,是賦予了自旋一種學習能力,它並不固定自旋10次以下。他可以根據它前面線程的自旋情況,從而調整它的自旋,甚至是不經過自旋而直接掛起。

鎖消除

對不會存在線程安全的鎖進行消除。

鎖粗化

如果jvm檢測到有一串零碎的操作都對同一個對象加鎖,將會把鎖粗化到整個操作外部,如循環體。

偏向鎖

多數情況下,鎖不僅不存在多線程競爭,而且總是由同一線程多次獲得,為了讓其獲得鎖的代價更低而引入了偏向鎖。

當一個線程訪問同步塊並獲取鎖時,會在對象頭和棧幀中的鎖記錄裡存儲鎖偏向的線程ID,以後該線程在進入和退出同步塊時不需要進行CAS操作來加鎖和解鎖,只需簡單地測試一下對象頭的Mark Word裡是否存儲著指向當前線程的偏向鎖。

如果測試成功,表示線程已經獲得了鎖。

如果測試失敗,則需要再測試一下Mark Word中偏向鎖的標識是否設置成01(表示當前是偏向鎖)。

如果沒有設置,則使用CAS競爭鎖。

如果設置了,則嘗試使用CAS將對象頭的偏向鎖指向當前線程。

輕量級鎖

引入輕量級鎖的主要目的是在多線程競爭不激烈的情況下,通過CAS競爭鎖,減少傳統的重量級鎖使用操作系統互斥量產生的性能消耗。

重量級鎖

重量級鎖通過對象內部的監視器(monitor)實現,其中monitor的本質是依賴於底層操作系統的Mutex Lock實現,操作系統實現線程之間的切換需要從用戶態到內核態的切換,切換成本非常高。

鎖升級

偏向鎖升級輕量級鎖:當一個對象持有偏向鎖,一旦第二個線程訪問這個對象,如果產生競爭,偏向鎖升級為輕量級鎖。

輕量級鎖升級重量級鎖:一般兩個線程對於同一個鎖的操作都會錯開,或者說稍微等待一下(自旋),另一個線程就會釋放鎖。但是當自旋超過一定的次數,或者一個線程在持有鎖,一個在自旋,又有第三個來訪時,輕量級鎖膨脹為重量級鎖,重量級鎖使除了擁有鎖的線程以外的線程都阻塞,防止CPU空轉。

wait和notify的原理

調用wait方法,首先會獲取監視器鎖,獲得成功以後,會讓當前線程進入等待狀態進入等待隊列並且釋放鎖。

當其他線程調用notify後,會選擇從等待隊列中喚醒任意一個線程,而執行完notify方法以後,並不會立馬喚醒線程,原因是當前的線程仍然持有這把鎖,處於等待狀態的線程無法獲得鎖。必須要等到當前的線程執行完按monitorexit指令以後,也就是鎖被釋放以後,處於等待隊列中的線程就可以開始競爭鎖了。

wait和notify為什麼需要在synchronized裡面?

wait方法的語義有兩個,一個是釋放當前的對象鎖、另一個是使得當前線程進入阻塞隊列,而這些操作都和監視器是相關的,所以wait必須要獲得一個監視器鎖。

而對於notify來說也是一樣,它是喚醒一個線程,既然要去喚醒,首先得知道它在哪裡,所以就必須要找到這個對象獲取到這個對象的鎖,然後到這個對象的等待隊列中去喚醒一個線程。


分享到:


相關文章: