有興趣的朋友可以回顧一下前兩篇
java併發編程專題(一)----線程基礎知識
java併發編程專題(二)----如何創建並運行java線程
在現實開發中,我們或多或少的都經歷過這樣的情景:某一個變量被多個用戶併發式的訪問並修改,如何保證該變量在併發過程中對每一個用戶的正確性呢?今天我們來聊聊線程同步的概念。
一般來說,程序並行化是為了獲得更高的執行效率,但前提是,高效率不能以犧牲正確性為代價。如果程序並行化後, 連基本的執行結果的正確性都無法保證, 那麼並行程序本身也就沒有任何意義了。因此, 線程安全就是並行程序的根本和根基。解決這些問題從臨界區的概念開始。臨界區是訪問一個共享資源在同一時間不能被超過一個線程執行的代碼塊。
java為我們提供了同步機制,幫助程序員實現臨界區。當一個線程想要訪問一個臨界區,它使用其中的一個同步機制來找出是否有任何其他線程執行臨界區。如果沒有,這個線程就進入臨界區。否則,這個線程通過同步機制暫停直到另一個線程執行完臨界區。當多個線程正在等待一個線程完成執行的一個臨界 區,JVM選擇其中一個線程執行,其餘的線程會等待直到輪到它們。臨界區有如下的規則:
如果有若干進程要求進入空閒的臨界區,一次僅允許一個進程進入。
任何時候,處於臨界區內的進程不可多於一個。如已有進程進入自己的臨界區,則其它所有試圖進入臨界區的進程必須等待。
進入臨界區的進程要在有限時間內退出,以便其它進程能及時進入自己的臨界區。
如果進程不能進入自己的臨界區,則應讓出CPU,避免進程出現“忙等”現象。
java語言為解決同步問題幫我們提供了兩種機制來實現:
1. synchronized關鍵字;
2. Lock鎖及其實現;
synchronized的作用
關鍵字synchronized 的作用是實現線程間的同步。它的工作是對同步的代碼加鎖,使得每一次, 只能有一個線程進入同步塊,從而保證線程間的安全性。
關鍵宇synchronized 可以有多種用法。這裡做一個簡單的整理。
・ 指定加鎖對象: 對給定對象加鎖,進入同步代碼前要獲得給定對象的鎖。
・ 直接作用於實例方法: 相當於對當前實例加鎖,進入同步代碼前要獲得當前實例的鎖。
. 直接作用於靜態方法: 相當於對當前類加鎖, 進入同步代碼前要獲得當前類的鎖。
1.給指定對象加鎖:
public class AccountingSync implements Runnable{ static AccountingSync instance=new AccountingSync() ; static int i =O; @Override public void run() ( for(int j=O; j<lOOOOOOO; j++) { synchronized (instance) { //對象鎖 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); } /* public static void main(String[] args) throws InterruptedException ( Thread t1=new Thread(new AccountingSync()); Thread t2=new Thread(new AccountingSync()); t1.start(); t2.start(); t1.join(); t2.join(); System.out.println(i); } */
知道我為什麼要給出兩個main方法讓大家參考嗎?上述鎖對象是鎖定AccountingSync實例對象。第一個main方法中t1 和 t2 兩個線程同時指向了instance實例,所以第7行的鎖對象synchronized (instance)在線程t1 和 線程 t2 獲得鎖的時候是獲取同一個對象的,這個時候的鎖是同一把鎖。但是在第二個main方法中我們可以看到線程t1 和 線程 t2分別對應的是兩個不同的AccountingSync對象,這時候鎖對象獲得的是不同的AccountingSync實例,安全性是沒有保證的,大家可以動手嘗試一下。
2.直接作用於實例方法:
public class TestSynchronized { public static void main(String[] args) { Tester2 a1 = new Tester2(); Th t1 = new Th(a1); t1.start(); Th t2 = new Th(a1); t2.start(); } } class Tester2 { public synchronized void say(String name) throws InterruptedException{ for(int i = 0;i<5;i++){ Thread.sleep(1000); System.out.println(); System.out.println(name +","+i+new Date().toLocaleString() ); } } } class Th extends Thread{ Tester2 test; public Th(Tester2 test1){ test = test1; } public void run(){ try { test.say(Thread.currentThread().getName()); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } } }
對Tester2類中的方法使用synchronized很好理解,同一時刻如果t1正在調用say()方法,在他沒有執行完畢並退出方法之前其餘的線程是無法獲得該方法的。只能排隊等待知道t1執行完畢。
3.作用於靜態方法:
public class Test1 { public static void main(String[] args) { for(int i=0;i<50;i++){ Thread t1 = new Thread(new Sale(5)); Thread t2 = new Thread(new Producted(5)); t1.start(); t2.start(); } } } class Shop{ static int a = 40; synchronized static void shopping(int b){ a -= b; System.out.println("售出 "+b+" 張大餅,"+"還剩 "+a+" 張大餅"); } synchronized static void factory(int c){ a += c; System.out.println("倉庫還有 "+a+" 張大餅"); } } class Sale implements Runnable{ int b = 0; public Sale(int b){ this.b = b; } @Override public void run() { if(b<0){ Thread.interrupted(); } Shop.shopping(b); try { Thread.sleep(1000); Shop.factory(b-5); } catch (InterruptedException e) { e.printStackTrace(); } } } class Producted implements Runnable{ int b = 0; public Producted(int b){ this.b = b; } @Override public void run() { Shop.factory(b); try { Thread.sleep(1000); Shop.shopping(b-5); } catch (InterruptedException e) { e.printStackTrace(); } } }
靜態方法前加synchronized這個鎖等價於鎖住了當前類的class對象,因為靜態方法或者是靜態關鍵字在本質上是一個類對象,而不是成員對象,在內存中位於方法區被所有的實例共享。即等同於synchronized(Shop.class)。我們需要注意的是鎖住了類並不代表鎖住了類所在的對象,類本身也是一種對象。它與類的實例是完全不同的兩個對象,在加鎖時不是相互依賴的,即對類加鎖並不與上面例子中的加鎖互斥,鎖住了子類或子類的對象與鎖住父類或父類的對象是不相關的。
synchronized的使用其實主要是前面兩種,對象鎖和方法鎖,靜態方法鎖我們並不常用到。其餘的操作方式都是在這兩種的基礎上演變而來,比如大家經常說的“塊級鎖”:
synchronized(object){ //代碼內容 }
鎖住的其實並不是代碼塊,而是object這個對象,所以如果在其他的代碼中
也發生synchronized(object)時就會發生互斥。我們為什麼要研究這些呢,因為如果我們不知道我們鎖住的是什麼,就不清楚鎖住了多大範圍的內容,自然就不知道是否鎖住了想要得到互斥的效果,同時也不知道如何去優化鎖的使用。
因此java中的synchronized就真正能做到臨界區的效果,在臨界區內多個線程的操作絕對是串行的,這一點java絕對可以保證。同時synchronized造成的開銷也是很大的,我們如果無法掌握好他的粒度控制,就會導致頻繁的鎖徵用,進入悲觀鎖狀態。
volatile―-輕量級的synchronized
既然我們說到了synchronized那就不得不提到volatile,在java中synchronized是控制併發的,我們知道在我們對一個變量執行賦值操作的時候比如:i++,在執行完畢之後i的結果其實是寫到緩存中的它並沒有及時的寫入到內存,後續在某些情況下(比如cpu緩存不夠)再將cpu緩存寫入內存,假設A線程正在執行i++操作,而此時B線程也來執行。B在執行i++之前是不會自己跑到緩存中去取變量的值的,它只會去內存中讀取i,很顯然i的值是沒有被更新的,為了防止這種情況出現,volatile應運而生。
Java語言規範第三版中對volatile的定義如下: java編程語言允許線程訪問共享變量,為了確保共享變量能被準確和一致的更新,線程應該確保通過排他鎖單獨獲得這個變量。Java語言提供了volatile,在某些情況下比鎖更加方便。如果一個字段被聲明成volatile,java線程內存模型確保所有線程看到這個變量的值是一致的。
我們來看一個例子:
public class TestWithoutVolatile { private static boolean bChanged; public static void main(String[] args) throws InterruptedException { new Thread() { @Override public void run() { for (;;) { if (bChanged == !bChanged) { System.out.println("!="); System.exit(0); } } } }.start(); Thread.sleep(1); new Thread() { @Override public void run() { for (;;) { bChanged = !bChanged; } } }.start(); } }
在上例中我們如果多次運行會出現兩種結果,一種是正常打印:”!=”,還有一種就是程序會陷入死循環。但是我們如果給bChanged前面加上volatile的話則每次都會打印出”!=”,請讀者朋友們下去可以嘗試。
在此處沒有加volatile之前之所以會出現有時可以出現正確結果有時則卡死的原因就在於兩個線程同時在運行的過程中雙方都在操作bChanged變量,但是該變量的值對於同時在使用它的另一個線程來說並不總是可見的,運氣好的時候線程修改完值之後就寫入主存,運氣不好的時候線程只在緩存中更新了值並未寫入主存。但是在加了volatile修飾之後效果則不同,因為volatile可以保證變量的可見性。
說到可見性,我們來看一幅圖:
每一個線程都有相應的工作內存,工作內存中有一份主內存變量的副本,線程對變量的操作都在工作內存中進行(避免再次訪問主內存,提高性能),不同線程不能訪問彼此的工作內存,而通過將操作後的值刷新到主內存來進行彼此的交互,這就會帶來一個變量值對其他線程的可見性問題。當一個任務在工作內存中變量值進行改變,其他任務對此是不可見的,導致每一個線程都有一份不同的變量副本。而volatile恰恰可以解決這個可見性的問題,當變量被volatile修飾,如private volatile int stateFlag = 0; 它將直接通過主內存中被讀取或者寫入,線程從主內存中加載的值將是最新的。
但是volatile的使用有著嚴格的限制,當對變量的操作依賴於以前值(如i++),或者其值被其他字段的值約束,這個時候volatile是無法實現線程安全的。被volatile修飾的變量必須獨立於程序的其他狀態。因為volatile只是保證了變量的可見性,並不能保證操作的原子性,所謂原子性,即有“不可分”的意思,如對基本數據類型(java中排除long和double)的賦值操作a=6,如返回操作return a,這些操作都不會被線程調度器中斷,同一時刻只有一個線程對它進行操作。
看以下代碼:
public class Counter { public volatile static int count = 0; public static void inc() { //這裡延遲1毫秒,使得結果明顯 try { Thread.sleep(1); } catch (InterruptedException e) { } count++; } public static void main(String[] args) { //同時啟動1000個線程,去進行i++計算,看看實際結果 for (int i = 0; i < 1000; i++) { new Thread(new Runnable() { @Override public void run() { Counter.inc(); } }).start(); } //這裡每次運行的值都有可能不同,可能為1000 System.out.println("運行結果:Counter.count=" + Counter.count); } }
運行上面的例子我們可以發現每次運行的結果都不一樣,預期結果應該是1000,儘管counter被volatile修飾,保證了可見性,但是counter++並不是一個原子性操作,它被拆分為讀取和寫入兩部分操作,我們需要用synchronized修飾:
publicstaticsynchronizedvoid incNum() { counter++; }
此時每次運行結果都是1000,實現了線程安全。synchronized是一種獨佔鎖,它對一段操作或內存進行加鎖,當線程要操作被synchronized修飾的內存或操作時,必須首先獲得鎖才能進行後續操作;但是在同一時刻只能有一個線程獲得相同的一把鎖,所以它只允許一個線程進行操作。synchronized同樣能夠將變量最新值刷新到主內存,當一個變量只被synchronized方法操作時,是沒有必要用volatile修飾的,所以我們接著把變量聲明修改為:
private static int counter;
多次運行結果依舊是1000。
說明:
上例中如果你按照上面這樣改完之後其實結果並是不1000,我多次運行的結果都是先打印出”運行結果:Counter.count=0”,然後線程卡死。究其原因,我猜可能是第一個線程等待一秒再執行count++,然後後面的線程在這個等待過程中等不及的原因。java線程的運行具有不確定性,不能保證線程會按部就班的順序執行,所以會出現什麼樣的後果很難預測。
正確結果代碼如下:
public class Counter { public static int count = 0; public synchronized static void inc() { count++; } public static void main(String[] args) { //同時啟動1000個線程,去進行i++計算,看看實際結果 for (int i = 0; i < 1000; i++) { new Thread(new Runnable() { @Override public void run() { Counter.inc(); } }).start(); } //這裡每次運行的值都有可能不同,可能為1000 System.out.println("運行結果:Counter.count=" + Counter.count); } }
綜上所述,由於volatile只能保證變量對多個線程的可見性,但不能保證原子性,它的同步機制是比較脆弱的,它在使用過程中有著諸多限制,對使用者也有更高的要求,相對而言,synchronized鎖機制是比較安全的同步機制,有時候出於提高性能的考慮,可以利用volatile對synchronized進行代替和優化,但前提是你必須充分理解其使用場景和涵義。下一節我們接著分析Lock鎖。
[f2h0b53ohn ] java併發編程專題(三)----詳解線程的同步_java已經有238次圍觀