#synchronized
---
在并發編程中,多線程同時并發訪問的資源叫做臨界資源,當多個線程同時訪問對象并要求操作相同資源時,分割了原子操作就有可能出現數據的不一致或數據不完整的情況,為避免這種情況的發生,我們會采取同步機制,以確保在某一時刻,方法內只允許有一個線程。
采用synchronized修飾符實現的同步機制叫做互斥鎖機制,它所獲得的鎖叫做互斥鎖。每個對象都有一個monitor(鎖標記),當線程擁有這個鎖標記時才能訪問這個資源,沒有鎖標記便進入鎖池。任何一個對象系統都會為其創建一個互斥鎖,這個鎖是為了分配給線程的,防止打斷原子操作。每個對象的鎖只能分配給一個線程,因此叫做互斥鎖。
這里就使用同步機制獲取互斥鎖的情況,進行幾點說明:
1. 如果同一個方法內同時有兩個或更多線程,則每個線程有自己的局部變量拷貝。
2. 類的每個實例都有自己的對象級別鎖。當一個線程訪問實例對象中的synchronized同步代碼塊或同步方法時,該線程便獲取了該實例的對象級別鎖,其他線程這時如果要訪問synchronized同步代碼塊或同步方法,便需要阻塞等待,直到前面的線程從同步代碼塊或方法中退出,釋放掉了該對象級別鎖。
3. 訪問同一個類的不同實例對象中的同步代碼塊,不存在阻塞等待獲取對象鎖的問題,因為它們獲取的是各自實例的對象級別鎖,相互之間沒有影響。
4. 持有一個對象級別鎖不會阻止該線程被交換出來,也不會阻塞其他線程訪問同一示例對象中的非synchronized代碼。當一個線程A持有一個對象級別鎖(即進入了synchronized修飾的代碼塊或方法中)時,線程也有可能被交換出去,此時線程B有可能獲取執行該對象中代碼的時間,但它只能執行非同步代碼(沒有用synchronized修飾),當執行到同步代碼時,便會被阻塞,此時可能線程規劃器又讓A線程運行,A線程繼續持有對象級別鎖,當A線程退出同步代碼時(即釋放了對象級別鎖),如果B線程此時再運行,便會獲得該對象級別鎖,從而執行synchronized中的代碼。
5. 持有對象級別鎖的線程會讓其他線程阻塞在所有的synchronized代碼外。例如,在一個類中有三個synchronized方法a,b,c,當線程A正在執行一個實例對象M中的方法a時,它便獲得了該對象級別鎖,那么其他的線程在執行同一實例對象(即對象M)中的代碼時,便會在所有的synchronized方法處阻塞,即在方法a,b,c處都要被阻塞,等線程A釋放掉對象級別鎖時,其他的線程才可以去執行方法a,b或者c中的代碼,從而獲得該對象級別鎖。
6. 使用synchronized(obj)同步語句塊,可以獲取指定對象上的對象級別鎖。obj為對象的引用,如果獲取了obj對象上的對象級別鎖,在并發訪問obj對象時時,便會在其synchronized代碼處阻塞等待,直到獲取到該obj對象的對象級別鎖。當obj為this時,便是獲取當前對象的對象級別鎖。
7. 類級別鎖被特定類的所有示例共享,它用于控制對static成員變量以及static方法的并發訪問。具體用法與對象級別鎖相似。
8. 互斥是實現同步的一種手段,臨界區、互斥量和信號量都是主要的互斥實現方式。synchronized關鍵字經過編譯后,會在同步塊的前后分別形成monitorenter和monitorexit這兩個字節碼指令。根據虛擬機規范的要求,在執行monitorenter指令時,首先要嘗試獲取對象的鎖,如果獲得了鎖,把鎖的計數器加1,相應地,在執行monitorexit指令時會將鎖計數器減1,當計數器為0時,鎖便被釋放了。由于synchronized同步塊對同一個線程是可重入的,因此一個線程可以多次獲得同一個對象的互斥鎖,同樣,要釋放相應次數的該互斥鎖,才能最終釋放掉該鎖。
##內存可見性
加鎖(synchronized同步)的功能不僅僅局限于互斥行為,同時還存在另外一個重要的方面:內存可見性。我們不僅希望防止某個線程正在使用對象狀態而另一個線程在同時修改該狀態,而且還希望確保當一個線程修改了對象狀態后,其他線程能夠看到該變化。而線程的同步恰恰也能夠實現這一點。
內置鎖可以用于確保某個線程以一種可預測的方式來查看另一個線程的執行結果。為了確保所有的線程都能看到共享變量的最新值,可以在所有執行讀操作或寫操作的線程上加上同一把鎖。下圖示例了同步的可見性保證。

當線程A執行某個同步代碼塊時,線程B隨后進入由同一個鎖保護的同步代碼塊,這種情況下可以保證,當鎖被釋放前,A看到的所有變量值(鎖釋放前,A看到的變量包括y和x)在B獲得同一個鎖后同樣可以由B看到。換句話說,當線程B執行由鎖保護的同步代碼塊時,可以看到線程A之前在同一個鎖保護的同步代碼塊中的所有操作結果。如果在線程A unlock M之后,線程B才進入lock M,那么線程B都可以看到線程A unlock M之前的操作,可以得到i=1,j=1。如果在線程B unlock M之后,線程A才進入lock M,那么線程B就不一定能看到線程A中的操作,因此j的值就不一定是1。
現在考慮如下代碼:
```
public class MutableInteger
{
private int value;
public int get(){
return value;
}
public void set(int value){
this.value = value;
}
}
```
以上代碼中,get和set方法都在沒有同步的情況下訪問value。如果value被多個線程共享,假如某個線程調用了set,那么另一個正在調用get的線程可能會看到更新后的value值,也可能看不到。
通過對set和get方法進行同步,可以使MutableInteger成為一個線程安全的類,如下:
```
public class SynchronizedInteger
{
private int value;
public synchronized int get(){
return value;
}
public synchronized void set(int value){
this.value = value;
}
}
```
對set和get方法進行了同步,加上了同一把對象鎖,這樣get方法可以看到set方法中value值的變化,從而每次通過get方法取得的value的值都是最新的value值。
- JavaSE(Java基礎)
- Java基礎知識
- Java中的內存泄漏
- String源碼分析
- Java集合結構
- ArrayList源碼剖析
- HashMap源碼剖析
- Hashtable簡介
- Vector源碼剖析
- LinkedHashMap簡介
- LinkedList簡介
- JVM(Java虛擬機)
- JVM基礎知識
- JVM類加載機制
- Java內存區域與內存溢出
- 垃圾回收算法
- Java并發(JavaConcurrent)
- Java并發基礎知識
- 生產者和消費者問題
- Thread和Runnable實現多線程的區別
- 線程中斷
- 守護線程與阻塞線程的情況
- Synchronized
- 多線程環境中安全使用集合API
- 實現內存可見的兩種方法比較:加鎖和volatile變量
- 死鎖
- 可重入內置鎖
- 使用wait/notify/notifyAll實現線程間通信
- NIO
- 數據結構(DataStructure)
- 數組
- 棧和隊列
- Algorithm(算法)
- 排序
- 選擇排序
- 冒泡排序
- 快速排序
- 歸并排序
- 查找
- 順序查找
- 折半查找
- Network(網絡)
- TCP/UDP
- HTTP
- Socket
- OperatingSystem(操作系統)
- Linux系統的IPC
- android中常用設計模式
- 面向對象六大原則
- 單例模式
- Builder模式
- 原型模式
- 簡單工廠
- 策略模式
- 責任鏈模式
- 觀察者模式
- 代理模式
- 適配器模式
- 外觀模式
- Android(安卓面試點)
- Android基礎知識
- Android內存泄漏總結
- Handler內存泄漏分析及解決
- Android性能優化
- ListView詳解
- RecyclerView和ListView的異同
- AsyncTask源碼分析
- 插件化技術
- 自定義控件
- ANR問題
- Art和Dalvik的區別
- Android關于OOM的解決方案
- Fragment
- SurfaceView
- Android幾種進程
- APP啟動過程
- 圖片三級緩存
- Bitmap的分析與使用
- 熱修復的原理
- AIDL
- Binder機制
- Zygote和System進程的啟動過程
- Android中的MVC,MVP和MVVM
- MVP
- Android開機過程
- EventBus用法詳解
- 查漏補缺
- Git操作