java併發之原子性與可見性(一)
阿新 • • 發佈:2019-02-06
原子性
原子是世界上的最小單位,具有不可分割性。比如 a=0;(a非long和double型別) 這個操作是不可分割的,那麼我們說這個操作時原子操作。再比如:a++; 這個操作實際是a = a + 1;是可分割的,所以他不是一個原子操作。非原子操作都會存線上程安全問題,需要我們使用同步技術(sychronized)來讓它變成一個原子操作。一個操作是原子操作,那麼我們稱它具有原子性。java的concurrent包下提供了一些原子類,我們可以通過閱讀API來了解這些原子類的用法。比如:AtomicInteger、AtomicLong、AtomicReference等。
可見性
可見性,是指執行緒之間的可見性,一個執行緒修改的狀態對另一個執行緒是可見的。也就是一個執行緒修改的結果。另一個執行緒馬上就能看到。比如:用volatile修飾的變數,就會具有可見性。volatile修飾的變數不允許執行緒內部快取和重排序,即直接修改記憶體。所以對其他執行緒是可見的。但是這裡需要注意一個問題,volatile只能讓被他修飾內容具有可見性,但不能保證它具有原子性。比如 volatile int a = 0;之後有一個操作 a++;這個變數a具有可見性,但是a++ 依然是一個非原子操作,也就這這個操作同樣存線上程安全問題。
他們之間關係
原子性是說一個操作是否可分割。可見性是說操作結果其他執行緒是否可見。這麼看來他們其實沒有什麼關係。
例項
package com.chu.test.thread; /** * 可見性分析 * @author Administrator * *volatile 會拒絕編譯器對其修飾的變數進行優化。也就不會存在重排序的問題。volatile只會影響可見性,不會影響原子性。 *下面程式如果不加 */ public class Test { volatile int a = 1; volatile boolean ready; public class PrintA extends Thread{ @Override public void run() { while(!ready){ Thread.yield(); } System.out.println(a); } } public static void main(String[] args) throws InterruptedException { Test t = new Test(); t.new PrintA().start(); //下面兩行如果不加volatile的話,執行的先後順序是不可預測的。並且下面兩行都是原子操作,但是這兩行作為一個整體的話就不是一個原子操作。 t.a = 48; //這是一個原子操作,但是其結果不一定具有可見性。加上volatile後就具備了可見性。 t.ready = true;//同理 } }
上面程式如果變數a不用volatile修飾那麼輸出結果很可能就是0.。