在瞭解執行緒安全之前,有必要談談執行緒的工作原理,我本人的理解是這樣的:

jvm中有主存,Java中所有變數都儲存在主存中，對於所有執行緒都是共享的.同時每個執行緒擁有自己獨有的工作記憶體,當一個執行緒對一個變數進行操作時,都要在自己的工作記憶體中建立該變數的一個副本,操作完之後再寫入主記憶體.執行緒之間無法相互直接訪問，變數傳遞均需要通過主存完成.

因此多個執行緒同時操作同一個變數時,就可能會出現不可預知的結果.

解決該問題我們第一個想到的就是synchronized關鍵字,synchronized具有原子性和可見性兩個重要的特性.

1.原子性

所謂原子性就是當一個執行緒對一份程式碼進行操作時,不會被執行緒排程機制打斷,一旦開始操作,就一直執行到結束.也就是說當該執行緒對一段程式碼進行操作時,不會有其他執行緒來打斷它.

2.可見性

可見性就是指當一個執行緒修改了執行緒共享變數的值，其它執行緒能夠立即得知這個修改.很明顯單個執行緒在各自獨立工作記憶體修改共享變數的副本後,會將新值同步回主記憶體,這樣其他執行緒再次訪問主存就能感知到共享變數的變化.就起到了可見性作用(後面會提到volatile關鍵字,用於保證變數的可見性).
synchronized的作用是建立一個監視器(monitor),也就是執行緒所持有的鎖,當執行緒操作一份程式碼時,通過加鎖來實現執行緒安全,每個執行緒只有獲得鎖之後,執行完"載入到工作記憶體->操作->寫入到主存"的過程,才會釋放鎖.
所以執行緒不安全就是如果多執行緒訪問同一份程式碼,得不到我們預期的結果.執行緒安全的實現依靠執行緒同步.
下面探討synchronized關鍵字的用法:
synchronized可修飾普通方法,靜態方法,或者程式碼塊.
每個java物件都可以用做一個實現同步的鎖，這些鎖稱為內建鎖.同一個物件的鎖最短只有一個執行緒能夠獲得該鎖.
下面分析如下程式碼:

synchronized修飾方法:
1.物件鎖的synchronized修飾方法和程式碼塊.

public synchronized void test1(){
    操作.....
}

public void test2{
    synchronized(this){
	程式碼塊...
    }
}

第一種方法預設鎖為當前物件,第二個方法用了同步程式碼塊方式,傳入的物件例項是this,表明是當前物件,所以兩個同步程式碼所需要獲得的物件鎖都是同一個物件鎖.
當然第二個方法也可傳入其他物件的例項,用於不同的物件鎖.
2.類鎖的synchronized修飾（靜態）方法和程式碼塊：

public static synchronized void test1(){
    操作.....
}  

public void test2{
    synchronized(TestSynchronized.class){
	程式碼塊...
    }
}
 

因為類鎖只是一個抽象出來的概念，只是為了區別靜態方法的特點，因為靜態方法是所有物件例項共用的，所以對應著synchronized修飾的靜態方法的鎖也是唯一的，所以抽象出來個類鎖.


類鎖和物件鎖是兩個不一樣的鎖，控制著不同的區域，它們是互不干擾的。同樣，執行緒獲得物件鎖的同時，也可以獲得該類鎖，即同時獲得兩個鎖，這是允許的。