synchronized詳解

前言

通俗：造成線程安全問題的主要誘因有兩點：

• 存在共享數(shù)據(jù)(也稱臨界資源)
• 存在多條線程共同操作共享數(shù)據(jù)

學術(shù)：造成線程安全問題的主要誘因有兩點：

• 主內(nèi)存和線程的工作內(nèi)存而導致的內(nèi)存可見性問題，
• 重排序?qū)е碌膯栴}，需要知道happens-before規(guī)則。

當存在多個線程操作共享數(shù)據(jù)時，需要保證同一時刻有且只有一個線程在操作共享數(shù)據(jù)，其他線程必須等到該線程處理完數(shù)據(jù)后再進行，這種方式的名稱叫·互斥鎖，也就是說當一個共享數(shù)據(jù)被當前正在訪問的線程加上互斥鎖后，在同一個時刻，其他線程只能處于等待的狀態(tài)，直到當前線程處理完畢釋放該鎖。

關(guān)鍵字 synchronized可以保證（1）在同一個時刻，只有一個線程可以執(zhí)行某個方法或者某個代碼塊(主要是對方法或者代碼塊中存在共享數(shù)據(jù)的操作)，（2）synchronized保證一個線程的變化(主要是共享數(shù)據(jù)的變化)被其他線程所看到（保證可見性，完全可以替代Volatile功能）也就是happens-before規(guī)則。

標注：在學習中需要修改的內(nèi)容以及筆記全在這里 www.javanode.cn，謝謝！有任何不妥的地方望糾正

synchronized主要方式

synchronized關(guān)鍵字最主要有以下3種應用方式，下面分別介紹

• 修飾實例方法，作用于當前實例加鎖，進入同步代碼前要獲得當前實例的鎖
• 修飾靜態(tài)方法，作用于當前類對象加鎖，進入同步代碼前要獲得當前類對象的鎖
• 修飾代碼塊，指定加鎖對象，對給定對象加鎖，進入同步代碼庫前要獲得給定對象的鎖。

synchronized使用

作用于實例方法

所謂的實例對象鎖就是用synchronized修飾實例對象中的實例方法，注意是實例方法不包括靜態(tài)方法

public class AccountingSync implements Runnable{//共享資源(臨界資源)static int i=0;/*** synchronized 修飾實例方法*/public synchronized void increase(){i++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String[] args) throws InterruptedException {AccountingSync instance=new AccountingSync();Thread t1=new Thread(instance);Thread t2=new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println(i);}/*** 輸出結(jié)果:* 2000000*/ }

我們應該注意到synchronized修飾的是實例方法increase，在這樣的情況下，當前線程的鎖便是實例對象instance，注意Java中的線程同步鎖可以是任意對象。

這里我們還需要意識到，當一個線程正在訪問一個對象的 synchronized 實例方法，那么其他線程不能訪問該對象的其他 synchronized 方法，畢竟一個對象只有一把鎖，當一個線程獲取了該對象的鎖之后，其他線程無法獲取該對象的鎖，所以無法訪問該對象的其他synchronized實例方法，但是其他線程還是可以訪問該實例對象的其他非synchronized方法，當然如果是一個線程 A 需要訪問實例對象 obj1 的 synchronized 方法 f1(當前對象鎖是obj1)，另一個線程 B 需要訪問實例對象 obj2 的 synchronized 方法 f2(當前對象鎖是obj2)，這樣是允許的，因為兩個實例對象鎖并不同相同，此時如果兩個線程操作數(shù)據(jù)并非共享的，線程安全是有保障的，

遺憾的是如果兩個線程操作的是共享數(shù)據(jù)，那么線程安全就有可能無法保證了，如下代碼將演示出該現(xiàn)象

public class AccountingSyncBad implements Runnable{static int i=0;public synchronized void increase(){i++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String[] args) throws InterruptedException {//new新實例Thread t1=new Thread(new AccountingSyncBad());//new新實例Thread t2=new Thread(new AccountingSyncBad());t1.start();t2.start();//join含義:當前線程A等待thread線程終止之后才能從thread.join()返回t1.join();t2.join();System.out.println(i);} }

上述代碼與前面不同的是我們同時創(chuàng)建了兩個新實例AccountingSyncBad，然后啟動兩個不同的線程對共享變量i進行操作，但很遺憾操作結(jié)果是1452317而不是期望結(jié)果2000000，因為上述代碼犯了嚴重的錯誤，雖然我們使用synchronized修飾了increase方法，但卻new了兩個不同的實例對象，這也就意味著存在著兩個不同的實例對象鎖，因此t1和t2都會進入各自的對象鎖，也就是說t1和t2線程使用的是不同的鎖，因此線程安全是無法保證的。解決這種困境的的方式是將synchronized作用于靜態(tài)的increase方法，這樣的話，對象鎖就當前類對象，由于無論創(chuàng)建多少個實例對象，但對于的類對象擁有只有一個，所有在這樣的情況下對象鎖就是唯一的。下面我們看看如何使用將synchronized作用于靜態(tài)的increase方法。

作用于靜態(tài)方法

當synchronized作用于靜態(tài)方法時，其鎖就是當前類的class對象鎖。由于靜態(tài)成員不專屬于任何一個實例對象，是類成員，因此通過class對象鎖可以控制靜態(tài) 成員的并發(fā)操作。需要注意的是如果一個線程A調(diào)用一個實例對象的非static synchronized方法，而線程B需要調(diào)用這個實例對象所屬類的靜態(tài) synchronized方法，是允許的，不會發(fā)生互斥現(xiàn)象，因為訪問靜態(tài) synchronized 方法占用的鎖是當前類的class對象，而訪問非靜態(tài) synchronized 方法占用的鎖是當前實例對象鎖，看如下代碼

public class AccountingSyncClass implements Runnable{static int i=0;/*** 作用于靜態(tài)方法,鎖是當前class對象,也就是* AccountingSyncClass類對應的class對象*/public static synchronized void increase(){i++;}/*** 非靜態(tài),訪問時鎖不一樣不會發(fā)生互斥*/public synchronized void increase4Obj(){i++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String[] args) throws InterruptedException {//new新實例Thread t1=new Thread(new AccountingSyncClass());//new心事了Thread t2=new Thread(new AccountingSyncClass());//啟動線程t1.start();t2.start();t1.join();t2.join();System.out.println(i);} }

由于synchronized關(guān)鍵字修飾的是靜態(tài)increase方法，與修飾實例方法不同的是，其鎖對象是當前類的class對象。注意代碼中的increase4Obj方法是實例方法，其對象鎖是當前實例對象，如果別的線程調(diào)用該方法，將不會產(chǎn)生互斥現(xiàn)象，畢竟鎖對象不同，但我們應該意識到這種情況下可能會發(fā)現(xiàn)線程安全問題(操作了共享靜態(tài)變量i)。

作用于同步代碼塊

除了使用關(guān)鍵字修飾實例方法和靜態(tài)方法外，還可以使用同步代碼塊，在某些情況下，我們編寫的方法體可能比較大，同時存在一些比較耗時的操作，而需要同步的代碼又只有一小部分，如果直接對整個方法進行同步操作，可能會得不償失，此時我們可以使用同步代碼塊的方式對需要同步的代碼進行包裹，這樣就無需對整個方法進行同步操作了，同步代碼塊的使用示例如下：

public class AccountingSync implements Runnable{static AccountingSync instance=new AccountingSync();static int i=0;@Overridepublic void run() {//省略其他耗時操作....//使用同步代碼塊對變量i進行同步操作,鎖對象為instancesynchronized(instance){for(int j=0;j<1000000;j++){i++;}}}public static void main(String[] args) throws InterruptedException {Thread t1=new Thread(instance);Thread t2=new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println(i);} }

從代碼看出，將synchronized作用于一個給定的實例對象instance，即當前實例對象就是鎖對象，每次當線程進入synchronized包裹的代碼塊時就會要求當前線程持有instance實例對象鎖，如果當前有其他線程正持有該對象鎖，那么新到的線程就必須等待，這樣也就保證了每次只有一個線程執(zhí)行i++;操作。當然除了instance作為對象外。

我們還可以使用this對象(代表當前實例)或者當前類的class對象作為鎖，如下代碼：

//this,當前實例對象鎖 synchronized(this){for(int j=0;j<1000000;j++){i++;} }//class對象鎖 synchronized(AccountingSync.class){for(int j=0;j<1000000;j++){i++;} }

總結(jié)

synchronized鎖對象和鎖類是本質(zhì)都是對對象來加鎖。類也是一個特殊的對象。只不過類對象只有一個。對象內(nèi)鎖不同的屬性，兩個同步方法可以同時訪問

synchronized底層語義原理

在JVM中，對象在內(nèi)存中的布局分為三塊區(qū)域：對象頭、實例數(shù)據(jù)和對齊填充。如下：

對象頭由mark word ，指向?qū)ο髮嵗龜?shù)據(jù)的指針(Class Metadata Address)，length組成，其結(jié)構(gòu)說明如下表：

虛擬機位數(shù)頭對象結(jié)構(gòu)說明

32/64bit	Mark Word	存儲對象的hashCode、鎖信息或分代年齡或GC標志等信息
32/64bit	Class Metadata Address	類型指針指向?qū)ο蟮念愒獢?shù)據(jù)，JVM通過這個指針確定該對象是哪個類的實例。
32/64bit	length	當對象是數(shù)組時，length保存數(shù)組的長度

其中Mark Word在默認情況下存儲著對象的HashCode、分代年齡、鎖標記位等以下是32位JVM的Mark Word默認存儲結(jié)構(gòu)

鎖狀態(tài)25bit4bit1bit是否是偏向鎖2bit 鎖標志位

無鎖狀態(tài)	對象HashCode	對象分代年齡	0	01

由于對象頭的信息是與對象自身定義的數(shù)據(jù)沒有關(guān)系的額外存儲成本，因此考慮到JVM的空間效率，Mark Word 被設計成為一個非固定的數(shù)據(jù)結(jié)構(gòu)，以便存儲更多有效的數(shù)據(jù)，它會根據(jù)對象本身的狀態(tài)復用自己的存儲空間，

synchronized代碼塊底層原理

Java 虛擬機中的同步(Synchronization)基于進入和退出管程(Monitor)對象實現(xiàn)， 無論是顯式同步(有明確的 monitorenter 和 monitorexit 指令,即同步代碼塊)還是隱式同步(方法級的同步)都是如此。在 Java 語言中，同步用的最多的地方可能是被 synchronized 修飾的同步方法。同步方法 并不是由 monitorenter 和 monitorexit 指令來實現(xiàn)同步的，而是由方法調(diào)用指令讀取運行時常量池中方法的 ACC_SYNCHRONIZED 標志來隱式實現(xiàn)的，

深入JVM看字節(jié)碼，創(chuàng)建如下的代碼：

public class SynchronizedDemo2 {Object object = new Object();public void method1() {synchronized (object) {}} }

從字節(jié)碼中可知同步語句塊的實現(xiàn)使用的是monitorenter 和 monitorexit 指令。這也是添Synchronized關(guān)鍵字之后獨有的。執(zhí)行同步代碼塊首先要先執(zhí)行monitorenter指令，退出的時候是monitorexit指令。使用Synchronized進行同步，其關(guān)鍵就是必須要對對象的監(jiān)視器monitor進行獲取，當執(zhí)行monitorenter指令時，當前線程將試圖獲取 objectref(即對象鎖) 所對應的 monitor 的持有權(quán)，當 objectref 的 monitor 的進入計數(shù)器為 0，那線程可以成功取得 monitor，并將計數(shù)器值設置為 1，取鎖成功。Synchronized先天具有重入性。如果當前線程已經(jīng)擁有 objectref 的 monitor 的持有權(quán)，那它可以重入這個 monitor (關(guān)于重入性稍后會分析)，重入時計數(shù)器的值也會加 1。倘若其他線程已經(jīng)擁有 objectref 的 monitor 的所有權(quán)，那當前線程將被阻塞，直到正在執(zhí)行線程執(zhí)行完畢，即monitorexit指令被執(zhí)行，執(zhí)行線程將釋放 monitor(鎖)并設置計數(shù)器值為0 ，其他線程將有機會持有 monitor 。值得注意的是編譯器將會確保無論方法通過何種方式完成，方法中調(diào)用過的每條 monitorenter 指令都有執(zhí)行其對應 monitorexit 指令，而無論這個方法是正常結(jié)束還是異常結(jié)束。為了保證在方法異常完成時 monitorenter 和 monitorexit 指令依然可以正確配對執(zhí)行，編譯器會自動產(chǎn)生一個異常處理器，這個異常處理器聲明可處理所有的異常，它的目的就是用來執(zhí)行 monitorexit 指令。從字節(jié)碼中也可以看出多了一個monitorexit指令，它就是異常結(jié)束時被執(zhí)行的釋放monitor 的指令。

synchronized方法底層原理

方法級的同步是隱式，即無需通過字節(jié)碼指令來控制的，它實現(xiàn)在方法調(diào)用和返回操作之中。JVM可以從方法常量池中的方法表結(jié)構(gòu)(method_info Structure) 中的 ACC_SYNCHRONIZED 訪問標志區(qū)分一個方法是否同步方法。當方法調(diào)用時，調(diào)用指令將會 檢查方法的 ACC_SYNCHRONIZED 訪問標志是否被設置，如果設置了，執(zhí)行線程將先持有monitor（虛擬機規(guī)范中用的是管程一詞）， 然后再執(zhí)行方法，最后再方法完成(無論是正常完成還是非正常完成)時釋放monitor。在方法執(zhí)行期間，執(zhí)行線程持有了monitor，其他任何線程都無法再獲得同一個monitor。如果一個同步方法執(zhí)行期間拋出了異常，并且在方法內(nèi)部無法處理此異常，那這個同步方法所持有的monitor將在異常拋到同步方法之外時自動釋放。

//方法級的同步是隱式，public class SyncMethod {public int i;public synchronized void syncTask(){i++;}} ## 反編譯以后的字節(jié)碼public synchronized void syncTask();descriptor: ()Vflags: ACC_PUBLIC, ACC_SYNCHRONIZEDCode:stack=3, locals=1, args_size=10: aload_01: dup2: getfield #2 // Field i:I5: iconst_16: iadd7: putfield #2 // Field i:I10: returnLineNumberTable:line 9: 0line 10: 10LocalVariableTable:Start Length Slot Name Signature0 11 0 this Lcn/javanode/concurrent/key/synchronizedDesc/SyncMethod; }

從字節(jié)碼中可以看出，synchronized修飾的方法并沒有monitorenter指令和monitorexit指令，取得代之的確實是ACC_SYNCHRONIZED標識，該標識指明了該方法是一個同步方法，**JVM通過該ACC_SYNCHRONIZED訪問標志來辨別一個方法是否聲明為同步方法，從而執(zhí)行相應的同步調(diào)用。**這便是synchronized鎖在同步代碼塊和同步方法上實現(xiàn)的基本原理。同時我們還必須注意到的是在Java早期版本中，synchronized屬于重量級鎖，效率低下，因為監(jiān)視器鎖（monitor）是依賴于底層的操作系統(tǒng)的Mutex Lock來實現(xiàn)的，而操作系統(tǒng)實現(xiàn)線程之間的切換時需要從用戶態(tài)轉(zhuǎn)換到核心態(tài)，這個狀態(tài)之間的轉(zhuǎn)換需要相對比較長的時間，時間成本相對較高，這也是為什么早期的synchronized效率低的原因。慶幸的是在Java 6之后Java官方對從JVM層面對synchronized較大優(yōu)化，所以現(xiàn)在的synchronized鎖效率也優(yōu)化得很不錯了，Java 6之后，為了減少獲得鎖和釋放鎖所帶來的性能消耗，引入了輕量級鎖和偏向鎖。

Java虛擬機對synchronized的優(yōu)化

鎖的狀態(tài)總共有四種，無鎖狀態(tài)、偏向鎖、輕量級鎖和重量級鎖。隨著鎖的競爭，鎖可以從偏向鎖升級到輕量級鎖，再升級的重量級鎖，但是鎖的升級是單向的，也就是說只能從低到高升級，不會出現(xiàn)鎖的降級，

無鎖

可以看到mark word 里面此時存了

• 鎖狀態(tài)
• 對象的hashcode
• 對象的分代年齡，這里用于垃圾回收
• 是否偏向鎖：0否1是
• 鎖標志位：01

偏向鎖

在jdk1.6后被提出：在大多數(shù)情況下，鎖并不存在競爭，一把鎖往往是同一個線程獲得的，并不需要加鎖和解鎖。因此為了減少同一線程獲取鎖(會涉及到一些CAS操作,耗時)的代價而引入偏向鎖。**偏向鎖的核心思想是，如果一個線程獲得了鎖，那么鎖就進入偏向模式，此時Mark Word 的結(jié)構(gòu)也變?yōu)槠蜴i結(jié)構(gòu)，當這個線程再次請求鎖時，無需再做任何同步操作，即獲取鎖的過程，**這樣就省去了大量有關(guān)鎖申請的操作，從而也就提供程序的性能。所以，對于沒有鎖競爭的場合，偏向鎖有很好的優(yōu)化效果，畢竟極有可能連續(xù)多次是同一個線程申請相同的鎖。但是對于鎖競爭比較激烈的場合，偏向鎖就失效了，因為這樣場合極有可能每次申請鎖的線程都是不相同的，因此這種場合下不應該使用偏向鎖，否則會得不償失，需要注意的是，偏向鎖失敗后，并不會立即膨脹為重量級鎖，而是先升級為輕量級鎖。

輕量級鎖

倘若偏向鎖失敗，虛擬機并不會立即升級為重量級鎖，它還會嘗試使用一種稱為輕量級鎖的優(yōu)化手段(1.6之后加入的)，此時Mark Word 的結(jié)構(gòu)也變?yōu)檩p量級鎖的結(jié)構(gòu)。輕量級鎖能夠提升程序性能的依據(jù)是“對絕大部分的鎖，在整個同步周期內(nèi)都不存在競爭”，注意這是經(jīng)驗數(shù)據(jù)。需要了解的是，輕量級鎖所適應的場景是線程交替執(zhí)行同步塊的場合，如果存在同一時間訪問同一鎖的場合，就會導致輕量級鎖膨脹為重量級鎖。

自旋鎖

輕量級鎖失敗后，虛擬機為了避免線程真實地在操作系統(tǒng)層面掛起，還會進行一項稱為自旋鎖的優(yōu)化手段。這是基于在大多數(shù)情況下，線程持有鎖的時間都不會太長，如果直接掛起操作系統(tǒng)層面的線程可能會得不償失，畢竟操作系統(tǒng)實現(xiàn)線程之間的切換時需要從用戶態(tài)轉(zhuǎn)換到核心態(tài)，這個狀態(tài)之間的轉(zhuǎn)換需要相對比較長的時間，時間成本相對較高，因此自旋鎖會假設在不久將來，當前的線程可以獲得鎖，因此虛擬機會讓當前想要獲取鎖的線程做幾個空循環(huán)(這也是稱為自旋的原因)，一般不會太久，可能是50個循環(huán)或100循環(huán)，在經(jīng)過若干次循環(huán)后，如果得到鎖，就順利進入臨界區(qū)。如果還不能獲得鎖，那就會將線程在操作系統(tǒng)層面掛起，這就是自旋鎖的優(yōu)化方式，這種方式確實也是可以提升效率的。最后沒辦法也就只能升級為重量級鎖了。

鎖消除

消除鎖是虛擬機另外一種鎖的優(yōu)化，這種優(yōu)化更徹底，Java虛擬機在JIT編譯時(可以簡單理解為當某段代碼即將第一次被執(zhí)行時進行編譯，又稱即時編譯)，通過對運行上下文的掃描，去除不可能存在共享資源競爭的鎖，通過這種方式消除沒有必要的鎖，可以節(jié)省毫無意義的請求鎖時間，如下StringBuffer的append是一個同步方法，但是在add方法中的StringBuffer屬于一個局部變量，并且不會被其他線程所使用，因此StringBuffer不可能存在共享資源競爭的情景，JVM會自動將其鎖消除。

/*** 消除StringBuffer同步鎖*/ public class StringBufferRemoveSync {public void add(String str1, String str2) {//StringBuffer是線程安全,由于sb只會在append方法中使用,不可能被其他線程引用//因此sb屬于不可能共享的資源,JVM會自動消除內(nèi)部的鎖StringBuffer sb = new StringBuffer();sb.append(str1).append(str2);}public static void main(String[] args) {StringBufferRemoveSync rmsync = new StringBufferRemoveSync();for (int i = 0; i < 10000000; i++) {rmsync.add("abc", "123");}}}

鎖的優(yōu)缺點對比

鎖優(yōu)點缺點使用場景

偏向鎖	加鎖和解鎖不需要CAS操作，沒有額外的性能消耗，和執(zhí)行非同步方法相比僅存在納秒級的差距	如果線程間存在鎖競爭，會帶來額外的鎖撤銷的消耗	適用于只有一個線程訪問同步快的場景
輕量級鎖	競爭的線程不會阻塞，提高了響應速度	如線程成始終得不到鎖競爭的線程，使用自旋會消耗CPU性能	追求響應時間，同步快執(zhí)行速度非常快
重量級鎖	線程競爭不適用自旋，不會消耗CPU	線程阻塞，響應時間緩慢，在多線程下，頻繁的獲取釋放鎖，會帶來巨大的性能消耗	追求吞吐量，同步快執(zhí)行速度較長

補充知識點

1.synchronized的可重入性

從互斥鎖的設計上來說，當一個線程試圖操作一個由其他線程持有的對象鎖的臨界資源時，將會處于阻塞狀態(tài)，但當一個線程再次請求自己持有對象鎖的臨界資源時，這種情況屬于重入鎖，請求將會成功，在java中synchronized是基于原子性的內(nèi)部鎖機制，是可重入的，因此在一個線程調(diào)用synchronized方法的同時在其方法體內(nèi)部調(diào)用該對象另一個synchronized方法，也就是說一個線程得到一個對象鎖后再次請求該對象鎖，是允許的，這就是synchronized的可重入性。如下：

public class AccountingSync implements Runnable{static AccountingSync instance=new AccountingSync();static int i=0;static int j=0;@Overridepublic void run() {for(int j=0;j<1000000;j++){//this,當前實例對象鎖synchronized(this){i++;increase();//synchronized的可重入性}}}public synchronized void increase(){j++;}public static void main(String[] args) throws InterruptedException {Thread t1=new Thread(instance);Thread t2=new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println(i);} }

在獲取當前實例對象鎖后進入synchronized代碼塊執(zhí)行同步代碼，并在代碼塊中調(diào)用了當前實例對象的另外一個synchronized方法，再次請求當前實例鎖時，將被允許，進而執(zhí)行方法體代碼，這就是重入鎖最直接的體現(xiàn)，需要特別注意另外一種情況，當子類繼承父類時，子類也是可以通過可重入鎖調(diào)用父類的同步方法。注意由于synchronized是基于monitor實現(xiàn)的，因此每次重入，monitor中的計數(shù)器仍會加1。

2.synchronized實現(xiàn)可見性的原理

簡單地說可見性就是把工作內(nèi)存中的數(shù)據(jù)刷入主內(nèi)存，加載數(shù)據(jù)。具體到內(nèi)存屏障

int b = 0;int c = 0;synchronized(this) { -> monitorenter Load內(nèi)存屏障 Acquire內(nèi)存屏障 int a = b; c = 1; => synchronized代碼塊里面還是可能會發(fā)生指令重排 Release內(nèi)存屏障 } -> monitorexit Store內(nèi)存屏障

• Load屏障的作用是執(zhí)行refresh處理器緩存的操作，說白了就是對別的處理器更新過來變量，從其他處理器的高速緩存（或者主內(nèi)存） 加載數(shù)據(jù)到自己的高速緩存來，確保自己看到的是最新的數(shù)據(jù)。

• Store屏障的作用是執(zhí)行flush處理器緩存的操作，說白了就是把自己當前處理器更新的變量的值，都刷新到高速緩存（或者主內(nèi)存）里去

基于synchronized代碼塊字節(jié)碼層面上來說：

• 在moniterenter指令之后，加入了一個load屏障，執(zhí)行一個refresh操作從其他處理器的高速緩存讀取最新數(shù)據(jù)或者從主內(nèi)存加載數(shù)據(jù)

• 在moniterexit指令之后，加入一個store屏障，執(zhí)行flush操作，把最新值寫入高速緩存或者主內(nèi)存

3.synchronized實現(xiàn)有序性的原理

如上面代碼所示

• 在monitorenter指令之后，Load屏障之后，會加一個Acquire屏障，這個屏障的作用是禁止讀操作和讀寫操作之間發(fā)生指令重排序。
• 在monitorexit指令之前，會加一個Release屏障，這個屏障的作用是禁止寫操作和讀寫操作之間發(fā)生重排序。

所以說，通過 Acquire屏障和Release屏障，就可以讓synchronzied保證有序性，只有synchronized內(nèi)部的指令可以重排序，但是絕對 不會跟外部的指令發(fā)生重排序。

鞏固提升

找了幾個例子,鞏固一下上面學的，看一下能不能想出來執(zhí)行順序呢！

案例一

public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence = new SynchronizedObjectLock();@Overridepublic void run() {// 同步代碼塊形式——鎖為this,兩個線程使用的鎖是一樣的,線程1必須要等到線程0釋放了該鎖后，才能執(zhí)行synchronized (this) {System.out.println("我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(Thread.currentThread().getName() + "結(jié)束");}}public static void main(String[] args) {Thread t1 = new Thread(instence);Thread t2 = new Thread(instence);t1.start();t2.start();} }// 執(zhí)行結(jié)果 /** 我是線程Thread-0 Thread-0結(jié)束 我是線程Thread-1 Thread-1結(jié)束 **/

案例二

public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence = new SynchronizedObjectLock();// 創(chuàng)建2把鎖Object block1 = new Object();Object block2 = new Object();@Overridepublic void run() {// 這個代碼塊使用的是第一把鎖，當他釋放后，后面的代碼塊由于使用的是第二把鎖，因此可以馬上執(zhí)行synchronized (block1) {System.out.println("block1鎖,我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println("block1鎖,"+Thread.currentThread().getName() + "結(jié)束");}synchronized (block2) {System.out.println("block2鎖,我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);//sleep方法并不會失去鎖。} catch (InterruptedException e) {e.printStackTrace();}System.out.println("block2鎖,"+Thread.currentThread().getName() + "結(jié)束");}}public static void main(String[] args) {Thread t1 = new Thread(instence);Thread t2 = new Thread(instence);t1.start();t2.start();} }// 執(zhí)行結(jié)果 /** block1鎖,我是線程Thread-0 block1鎖,Thread-0結(jié)束 block2鎖,我是線程Thread-0 //可以看到當?shù)谝粋€線程在執(zhí)行完第一段同步代碼塊之后，第二個同步代碼塊可以馬上得到執(zhí)行，因為他們使用的鎖不是同一把 block1鎖,我是線程Thread-1 block1鎖,Thread-1結(jié)束 block2鎖,Thread-0結(jié)束 block2鎖,我是線程Thread-1 block2鎖,Thread-1結(jié)束 **/

方法鎖形式：synchronized修飾普通方法，鎖對象默認為this

//當前線程的鎖便是實例對象 //當一個線程獲取了該對象的鎖之后，其他線程無法獲取該對象的鎖，所以無法訪問該對象的其他synchronized實例方法 public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence = new SynchronizedObjectLock();@Overridepublic void run() {method();}public synchronized void method() {System.out.println("我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(Thread.currentThread().getName() + "結(jié)束");}public static void main(String[] args) {Thread t1 = new Thread(instence);Thread t2 = new Thread(instence);t1.start();t2.start();} }// 執(zhí)行結(jié)果 /** 我是線程Thread-1 Thread-1結(jié)束 我是線程Thread-0 Thread-0結(jié)束 **/

方法鎖形式：synchronized修飾普通方法，鎖對象默認為this

//t1和t2對應的this是兩個不同的實例，持有鎖不同 普通鎖只是當前實例 public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence1 = new SynchronizedObjectLock();static SynchronizedObjectLock instence2 = new SynchronizedObjectLock();@Overridepublic void run() {method();}// synchronized用在普通方法上，默認的鎖就是this，當前實例public synchronized void method() {System.out.println("我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(Thread.currentThread().getName() + "結(jié)束");}public static void main(String[] args) {// t1和t2對應的this是兩個不同的實例，所以代碼不會串行Thread t1 = new Thread(instence1);Thread t2 = new Thread(instence2);t1.start();t2.start();} }// 執(zhí)行結(jié)果 /** 我是線程Thread-0 我是線程Thread-1 Thread-1結(jié)束 Thread-0結(jié)束 **/

類鎖形式

public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence1 = new SynchronizedObjectLock();static SynchronizedObjectLock instence2 = new SynchronizedObjectLock();@Overridepublic void run() {method();}// synchronized用在靜態(tài)方法上，默認的鎖就是當前所在的Class類，所以無論是哪個線程訪問它，需要的鎖都只有一把public static synchronized void method() {System.out.println("我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(Thread.currentThread().getName() + "結(jié)束");}public static void main(String[] args) {Thread t1 = new Thread(instence1);Thread t2 = new Thread(instence2);t1.start();t2.start();} } // 執(zhí)行結(jié)果 /** 我是線程Thread-0 Thread-0結(jié)束 我是線程Thread-1 Thread-1結(jié)束 **/

同步代碼塊

public class SynchronizedObjectLock implements Runnable {static SynchronizedObjectLock instence1 = new SynchronizedObjectLock();static SynchronizedObjectLock instence2 = new SynchronizedObjectLock();@Overridepublic void run() {// 所有線程需要的鎖都是同一把synchronized(SynchronizedObjectLock.class){System.out.println("我是線程" + Thread.currentThread().getName());try {Thread.sleep(3000);} catch (InterruptedException e) {e.printStackTrace();}System.out.println(Thread.currentThread().getName() + "結(jié)束");}}public static void main(String[] args) {Thread t1 = new Thread(instence1);Thread t2 = new Thread(instence2);t1.start();t2.start();} } // 執(zhí)行結(jié)果 /** 我是線程Thread-0 Thread-0結(jié)束 我是線程Thread-1 Thread-1結(jié)束 **/

標注：在學習中需要修改的內(nèi)容以及筆記全在這里 www.javanode.cn，謝謝！有任何不妥的地方望糾正

總結(jié)

以上是生活随笔為你收集整理的1202年最新最详细最全的synchronized知识详解的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。