面試必問的Synchronized知道這些就能夠了

Synchronized關鍵字算是Java的元老級鎖了，一開始它撐起了Java的同步任務，其用法簡單粗暴容易上手。可是有些與它相關的知識點仍是須要咱們開發者去深刻掌握的。好比，咱們都知道經過Synchronized鎖來實現互斥功能，能夠用在方法或者代碼塊上，那麼不一樣用法都是怎麼實現的,以及都經歷了了哪些優化等等問題都須要咱們紮實的理解。

• 1.基本用法
• 2.實現原理
  • 2.1 同步代碼塊的實現
  • 2.2 同步方法的實現
• 3.鎖升級
  • 3.1 Java對象頭介紹
  • 3.2 什麼是鎖升級

1.基本用法

一般咱們能夠把Synchronized用在一個方法或者代碼塊裏，方法又有普通方法或者靜態方法。

對於普通同步方法，鎖是當前實例對象，也就是this

public class TestSyn{ private int i=0; public synchronized void incr(){ i++; } }

對於靜態同步方法，鎖是Class對象

public class TestSyn{ private static int i=0; public static synchronized void incr(){ i++; } } 

對於同步代碼塊，鎖是同步代碼塊裏的對象

public class TestSyn{ private int i=0; Object o = new Object(); public void incr(){ synchronized(o){ i++; } } }

2.實現原理

在JVM規範中介紹了synchronized的實現原理，JVM基於進入和退出Monitor對
象來實現方法同步和代碼塊同步，但二者的實現細節不同。代碼塊同步是使用monitorenter和monitorexit指令實現的，而方法同步是使用另一種方式實現的，經過一個方法標誌(flag) ACC_SYNCHRONIZED來實現的。

2.1 同步代碼塊的實現

monitorenter 和 monitorexit

https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.monitorenter (參考來源)

下面看下JVM規範裏對moniterenter 和 monitorexit的介紹

Each object has a monitor associated with it. The thread that executes monitorenter gains ownership of the monitor associated with objectref. If another thread already owns the monitor associated with objectref, the current thread waits until the object is unlocked,

每一個對象都有一個監視器(Moniter)與它相關聯，執行moniterenter指令的線程將得到與objectref關聯的監視器的全部權，若是另外一個線程已經擁有與objectref關聯的監視器，則當前線程將等待直到對象被解鎖爲止。

A monitorenter instruction may be used with one or more monitorexit instructions to implement a synchronized statement in the Java programming language. The monitorenter and monitorexit instructions are not used in the implementation of synchronized methods

重點來了，上面這段介紹了兩點：

• 經過monitorenter和monitorexit指令來實現Java語言的同步代碼塊(後面有代碼示例)
• monitorenter和monitorexit指令沒有被用在同步方法上！！！

2.2 同步方法的實現

先看下JVM規範裏怎麼說的
https://docs.oracle.com/javase/specs/jvms/se6/html/Compiling.doc.html#6530 (參考來源)

A synchronized method is not normally implemented using monitorenter and monitorexit. Rather, it is simply distinguished in the runtime constant pool by the ACC_SYNCHRONIZED flag, which is checked by the method invocation instructions. When invoking a method for which ACC_SYNCHRONIZED is set, the current thread acquires a monitor, invokes the method itself, and releases the monitor whether the method invocation completes normally or abruptly.

上面這段話主要講了幾點：

• 同步方法的實現不是基於monitorenter和monitorexit指令來實現的
• 在運行時常量池裏經過ACC_SYNCHRONIZED來區分是不是同步方法，方法執行時會檢查該標誌
• 當一個方法有這個標誌的時候，進入的線程首先須要得到監視器才能執行該方法
• 方法結束或者拋異常時會釋放監視器

public class TestSyn{ private int i=0; // 同步方法 public synchronized void incer(){ i++; } // 同步代碼塊 public void decr(){ synchronized (this) { i--; } } } 

能夠經過反編譯字節碼來查看底層是怎麼實現的

// 獲得字節碼 javac TestSyn.java

// 反編譯字節碼 javap -v TestSyn.class

同步代碼塊的反編譯結果以下：

同步方法的反編譯結果以下：

3.鎖升級

3.1 Java對象頭介紹

對象的內存佈局

在咱們常見的HotSpot虛擬機中對象由三部分組成，分別是對象頭，實例數據，以及對齊填充位。其中對象頭是跟鎖信息相關的部分，在對象頭裏會存儲該對象運行時數據，包括哈希嗎，GC分代年齡，鎖狀態(無鎖，偏向鎖，輕量級鎖，重量級鎖)，是否偏向鎖，偏向線程ID等信息。
存儲上述這些的區域叫作Mark Word(標記詞)，除了這部分對象頭還有一部分區域用來存儲類型指針，能夠經過該類型指針來定位對象的元數據信息。下面重點看下，對象頭的內存佈局，由於這部分是跟咱們此次相關的。

對象在內存中的表示以下圖：

對象頭的結構表示以下圖：

mark word的表示以下圖：

3.2 什麼是鎖升級

下面舉個搶茅坑的例子來解釋一下鎖升級過程。

當只有一個線程訪問時叫作偏向鎖

假設咱們每一個廁所都有一把鑰匙，要想使用廁所首先必須得得到鎖。某天上午員工甲急急忙忙的打完卡上廁所了，並在廁所門上貼了 「工號007使用中」的標籤，說明目前被工號007(至關於線程id)的員工佔用呢,他再次向進入的時候只要上面的標籤還顯示工號007，他本身能夠隨便進入，不須要再次上鎖了，有點偏向工號007員工的意思，因此這叫偏向鎖。

發生競爭的時候升級成輕量級鎖 (自旋等待)

員工甲正在使用廁所的時候，又來了兩我的想用廁所，但發現廁所被人使用着呢，沒法得到鎖。因此只能在外面等着甲出來，他們等的過程叫作「自旋」，這個叫作輕量級鎖。那麼又有一個問題，當甲出來以後正等着的那兩我的誰活得鎖呢？有兩種方式，按到達的順序來排隊或者不排隊，這兩種均可以實現，前者叫作公平鎖，後者叫作非公平鎖。

自旋等待沒結果的時候升級成重量級鎖

但那兩我的自旋一段時間以後發現甲還沒出來(JDK1.6規定爲10次)，一直這麼等也不是個法子啊，因此打算向上升級，找廁所管理員(操做系統)反饋，升級成了重量級鎖了

鎖的狀態總共有四種，無鎖狀態、偏向鎖、輕量級鎖和重量級鎖。隨着鎖的競爭，鎖能夠從偏向鎖升級到輕量級鎖，再升級的重量級鎖。

鎖升級過程當中mark word的變化以下：

偏向鎖
偏向鎖也是JDK 1.6中引入的一項鎖優化， 引入它是爲了優化在沒有鎖競爭場景下的鎖消除。好比一段同步代碼一直是由單個線程調用，在這種場景下就不必使用同步鎖了，這裏指的同步鎖不是指synchronized，而是說沒不要到操做系統層面的互斥量了。
偏向鎖的偏向是指該同步代碼會一直偏向第一個調用它的線程,直到有別的線程過來競爭這把鎖，在第一次調用同步代碼並得到鎖時會在對象頭和棧幀鎖記錄行(Lock Record)裏存儲偏向線程Id,該線程在此進入的時候就不須要從新申請鎖了。只需檢測對象頭的Mark Word裏是否存儲着指向該線程的ID便可。

直到又有線程來競爭這把鎖的時候偏向鎖會撤銷偏向。

輕量級鎖

輕量級鎖是JDK 1.6之中加入的新型鎖機制， 它名字中的「輕量級」是相對於使用操做系統
互斥量來實現的傳統鎖而言的， 所以傳統的鎖機制就稱爲「重量級」鎖。 它並非用來代替重量級鎖的， 它的本意是在統的重量級鎖使用操做系統互斥量產生的性能消耗。

線程在執行同步塊以前，JVM會先在當前線程的棧楨中建立用於存儲鎖記錄的空間，並將對象頭中的Mark Word複製到鎖記錄中，官方稱爲Displaced Mark Word。而後線程嘗試使用CAS將對象頭中的Mark Word替換爲指向鎖記錄的指針。若是成功，當前線程得到鎖，若是失敗，表示其餘線程競爭鎖，當前線程便嘗試使用自旋來獲取鎖.一直原地自旋，若是自旋數達到10次了則升級爲重量級鎖。

重量級鎖競爭的線程自旋一段時間未能獲取鎖以後會升級爲重量級鎖，這個時候鎖的獲取與釋放都會由操做系統來分配了，若是持有鎖的線程釋放鎖以後操做系統會喚醒全部阻塞的哪些線程，並進入新一輪的爭搶模式，須要注意的是這些阻塞的線程沒有得到鎖的優先級，也就是說synchronized鎖是非公平的。除此以外synchronized對中斷操做也是無感的，不會由於被中斷而放棄阻塞等待，它要麼獲得鎖要麼一直阻塞。