加強你的理解——Java 中的關鍵字

synchronized

Java 語言為了解決并發編程中存在的原子性、可見性和有序性問題,提供了一系列和并發處理相關的關鍵字,比如 synchronized、volatile、final、concurren 包等。

synchronized 關鍵字在需要原子性、可見性和有序性這三種特性的時候都可以作為其中 一 種 解 決 方 案 , 看 起 來 是“ 萬 能 ” 的 。 的 確 , 大 部 分 并 發 控 制 操 作 都 能 使 用synchronized 來完成。

海明威在他的《午后之死》說過的:“冰山運動之雄偉壯觀,是因為他只有八分之一在水面上?!睂τ诔绦騿T來說,synchronized 只是個關鍵字而已,用起來很簡單。之所以我們可以在處理多線程問題時可以不用考慮太多,就是因為這個關鍵字幫我們屏蔽了很多細節

主要介紹 synchronized 的用法、synchronized 的原理,以及 synchronized 是如何提供原子性、可見性和有序性保障的等

synchronized 的用法

synchronized 是 Java 提供的一個并發控制的關鍵字。主要有兩種用法,分別是同步方法和同步代碼塊。也就是說,synchronized 既可以修飾方法也可以修飾代碼塊。

public class SynchronizedDemo {? ? //同步方法? ? public synchronized void doSth(){? ? ? ? System.out.println("Hello World");? ? }? ? //同步代碼塊? ? public void doSth1(){? ? ? ? synchronized (SynchronizedDemo.class){? ? ? ? ? ? System.out.println("Hello World");? ? ? ? }? ? }}

被 synchronized 修飾的代碼塊及方法,在同一時間,只能被單個線程訪問。

synchronized 的實現原理

synchronized,是 Java 中用于解決并發情況下數據同步訪問的一個很重要的關鍵字。當我們想要保證一個共享資源在同一時間只會被一個線程訪問到時,我們可以在代碼中使用synchronized 關鍵字對類或者對象加鎖

對上面的代碼進行反編譯,可以得到如下代碼:

public synchronized void doSth();descriptor: ()Vflags: ACC_PUBLIC, ACC_SYNCHRONIZEDCode:stack=2, locals=1, args_size=10: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;3: ldc #3 // String Hello World5: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V8: returnpublic void doSth1();descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=3, args_size=10: ldc #5 // class com/hollis/SynchronizedTest2: dup3: astore_14: monitorenter5: getstatic #2 // Field java/lang/System.out:Ljava/io/PrintStream;8: ldc #3 // String Hello World10: invokevirtual #4 // Method java/io/PrintStream.println:(Ljava/lang/String;)V13: aload_114: monitorexit15: goto 2318: astore_219: aload_120: monitorexit21: aload_222: athrow23: return

通過反編譯后代碼可以看出:對于同步方法,JVM 采用 ACC_SYNCHRONIZED 標記符來實現同步。 對于同步代碼塊。JVM 采用 monitorenter、monitorexit 兩個指令來實現同步

方法級的同步是隱式的。同步方法的常量池中會有一個 ACC_SYNCHRONIZED 標志。當某個線程要訪問某個方法的時候,會檢查是否有 ACC_SYNCHRONIZED,如果有設置,則需要先獲得監視器鎖,然后開始執行方法,方法執行之后再釋放監視器鎖。這時如果其他線程來請求執行方法,會因為無法獲得監視器鎖而被阻斷住。值得注意的是,如果在方法執行過程中,發生了異常,并且方法內部并沒有處理該異常,那么在異常被拋到方法外面之前監視器鎖會被自動釋放

同步代碼塊使用 monitorenter 和 monitorexit 兩個指令實現??梢园褕绦衜onitorenter 指令理解為加鎖,執行 monitorexit 理解為釋放鎖。 每個對象維護著一個記錄著被鎖次數的計數器。未被鎖定的對象的該計數器為 0,當一個線程獲得鎖(執行monitorenter)后,該計數器自增變為 1 ,當同一個線程再次獲得該對象的鎖的時候,計數器再次自增。當同一個線程釋放鎖(執行 monitorexit 指令)的時候,計數器再自減。當計數器為 0 的時候。鎖將被釋放,其他線程便可以獲得鎖。

無論是 ACC_SYNCHRONIZED 還是 monitorenter、monitorexit 都是基于Monitor 實現的,在 Java 虛擬機(HotSpot)中,Monitor 是基于 C++實現的,由ObjectMonitor 實現。

ObjectMonitor 類中提供了幾個方法,如 enter、exit、wait、notify、notifyAll 等。sychronized 加鎖的時候,會調用 objectMonitor 的 enter 方法,解鎖的時候會調用 exit方法。

synchronized 與原子性

原子性是指一個操作是不可中斷的,要全部執行完成,要不就都不執行

線程是 CPU調度的基本單位。CPU 有時間片的概念,會根據不同的調度算法進行線程調度。當一個線程獲得時間片之后開始執行,在時間片耗盡之后,就會失去 CPU 使用權。所以在多線程場景下,由于時間片在線程間輪換,就會發生原子性問題

在 Java 中,為了保證原子性,提供了兩個高級的字節碼指令 monitorenter 和monitorexit。前面中,介紹過,這兩個字節碼指令,在 Java 中對應的關鍵字就是synchronized

通過 monitorenter 和 monitorexit 指令,可以保證被 synchronized 修飾的代碼在同一時間只能被一個線程訪問,在鎖未釋放之前,無法被其他線程訪問到。因此,在 Java 中可以使用 synchronized 來保證方法和代碼塊內的操作是原子性的。

線程 1 在執行 monitorenter 指令的時候,會對 Monitor 進行加鎖,加鎖后其他線程無法獲得鎖,除非線程 1 主動解鎖。即使在執行過程中,由于某種原因,比如 CPU 時間片用完,線程 1 放棄了 CPU,但是,他并沒有進行解鎖。而由于 synchronized 的鎖是可重入的,下一個時間片還是只能被他自己獲取到,還是會繼續執行代碼。直到所有代碼執行完。這就保證了原子性。

synchronized 與可見性

可見性是指當多個線程訪問同一個變量時,一個線程修改了這個變量的值,其他線程能夠立即看得到修改的值。

Java 內存模型規定了所有的變量都存儲在主內存中,每條線程還有自己的工作內存,線程的工作內存中保存了該線程中是用到的變量的主內存副本拷貝,線程對變量的所有操作都必須在工作內存中進行,而不能直接讀寫主內存。不同的線程之間也無法直接訪問對方工作內存中的變量,線程間變量的傳遞均需要自己的工作內存和主存之間進行數據同步進行。所以,就可能出現線程 1 改了某個變量的值,但是線程 2 不可見的情況

前面我們介紹過,被 synchronized 修飾的代碼,在開始執行時會加鎖,執行完成后會進行解鎖。而為了保證可見性,有一條規則是這樣的:對一個變量解鎖之前,必須先把此變量同步回主存中。這樣解鎖后,后續線程就可以訪問到被修改后的值。

所以,synchronized 關鍵字鎖住的對象,其值是具有可見性的

synchronized 與有序性

有序性即程序執行的順序按照代碼的先后順序執行

除引入了時間片以外,由于處理器優化和指令重排等,CPU 還可能對輸入代碼進行亂序執行,比如 load->add->save 有可能被優化成 load->save->add 。這就是可能存在有序性問題

這里需要注意的是,synchronized 是無法禁止指令重排和處理器優化的。也就是說,synchronized 無法避免上述提到的問題。

那么,為什么還說 synchronized 也提供了有序性保證呢?

這就要再把有序性的概念擴展一下了。Java 程序中天然的有序性可以總結為一句話:如果在本線程內觀察,所有操作都是天然有序的。如果在一個線程中觀察另一個線程,所有操作都是無序的。

as-if-serial 語義的意思指:不管怎么重排序(編譯器和處理器為了提高并行度),單線程程序的執行結果都不能被改變。編譯器和處理器無論如何優化,都必須遵守as-if-serial 語義

這里不對 as-if-serial 語義詳細展開了,簡單說就是,as-if-serial 語義保證了單線程中,指令重排是有一定的限制的,而只要編譯器和處理器都遵守了這個語義,那么就可以認為單線程程序是按照順序執行的。當然,實際上還是有重排的,只不過我們無須關心這種重排的干擾。

所以呢,由于 synchronized 修飾的代碼,同一時間只能被同一線程訪問。那么也就是單線程執行的。所以,可以保證其有序性。

synchronized 與鎖優化

前面介紹了 synchronized 的用法、原理以及對并發編程的作用。是一個很好用的關鍵字。

synchronized 其實是借助 Monitor 實現的,在加鎖時會調用 objectMonitor 的enter 方法,解鎖的時候會調用 exit 方法。事實上,只有在 JDK1.6 之前,synchronized的實現才會直接調用 ObjectMonitor 的 enter 和 exit,這種鎖被稱之為重量級鎖

所以,在 JDK1.6 中出現對鎖進行了很多的優化,進而出現輕量級鎖,偏向鎖,鎖消除,適應性自旋鎖,鎖粗化(自旋鎖在 1.4 就有,只不過默認的是關閉的,jdk1.6 是默認開啟的),這些操作都是為了在線程之間更高效的共享數據 ,解決競爭問題。

final

final 是 Java 中的一個關鍵字,它所表示的是“這部分是無法修改的”。

使用 final 可以定義 :變量、方法、類。

final 變量

如果將變量設置為 final,則不能更改 final 變量的值(它將是常量)。

class Test{? ? final String name = "Hollis";}

一旦 final 變量被定義之后,是無法進行修改的。

final 方法

如果方法聲明為 final,則不能覆蓋它。

class Parent{? ? final void name() {? ? ? ? System.out.println("Hollis");? ? }}

當我們定義以上類的子類的時候,無法覆蓋其 name 方法,會編譯失敗

final 類

如果把一個類聲明為 final,則不能繼承它。

final class Parent {}

static

static 表示“靜態”的意思,用來修飾成員變量和成員方法,也可以形成靜態 static代碼塊。

靜態變量

我們用 static 表示變量的級別,一個類中的靜態變量,不屬于類的對象或者實例。因為靜態變量與所有的對象實例共享,因此他們不具線程安全性。

通常,靜態變量常用 final 關鍵來修飾,表示通用資源或可以被所有的對象所使用。如果靜態變量未被私有化,可以用“類名.變量名”的方式來使用。

private static int count;public static String str;

靜態方法

與靜態變量一樣,靜態方法是屬于類而不是實例。

一個靜態方法只能使用靜態變量和調用靜態方法。通常靜態方法通常用于想給其他的類使用而不需要創建實例。例如:Collections class(類集合)。

Java 的包裝類和實用類包含許多靜態方法。main()方法就是 Java 程序入口點,是靜態方法。

//static method examplepublic static void setCount(int count) {if(count > 0)? ? StaticExample.count = count;}//static util methodpublic static int addInts(int i, int...js){? ? int sum=i;? ? for(int x : js) sum+=x;? ? return sum;}

從 Java8 以上版本開始也可以有接口類型的靜態方法了

靜態代碼塊

Java 的靜態塊是一組指令在類裝載的時候在內存中由 Java ClassLoader 執行。

靜態塊常用于初始化類的靜態變量。大多時候還用于在類裝載時候創建靜態資源。

Java 不允許在靜態塊中使用非靜態變量。一個類中可以有多個靜態塊,盡管這似乎沒有什么用。靜態塊只在類裝載入內存時,執行一次。

Static{//can be used to initialize resources when class is loadedSystem.out.println("StaticExample static block");//can access only static variables and methodsstr="Test";setCount(2);}

靜態類

Java 可以嵌套使用靜態類,但是靜態類不能用于嵌套的頂層。

靜態嵌套類的使用與其他頂層類一樣,嵌套只是為了便于項目打包。

const

const 是 Java 預留關鍵字,用于后期擴展用,用法跟 final 相似,不常用

@IT面試助手

?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。

推薦閱讀更多精彩內容