摘自:https://www.cnblogs.com/flydashpig/p/11875652.html
多線程之美1一volatile
目錄
一、java內存模型
1.1、抽象結構圖
1.2、概念介紹
二、volatile詳解
2.1、概念
2.2、保證內存可見性
2.3、不保證原子性
2.4、有序性
一、java內存模型
1.1、抽象結構圖
1.2、概念介紹
-
java 內存模型
即Java memory model(簡稱JMM), java線程之間的通信由JMM控制,決定一個線程對共享變量的寫入何時對另一個線程可見。
-
多線程通信通常分爲2類:共享內存和消息傳遞
JMM採用的就是共享內存來實現線程間的通信,且通信是隱式的,對程序開發人員是透明的,所以在瞭解其原理了,纔會對線程之間通信,同步,內存可見性問題有進一步認識,避免開發中出錯。
-
線程之間如何通信?
在java中多個線程之間要想通信,如上圖所示,每個線程在需要操作某個共享變量時,會將該主內存中這個共享變量拷貝一份副本存在在自己的本地內存(也叫工作內存,這裏只是JMM的一個抽象概念,即將其籠統看做一片內存區域,用於每個線程存放變量,實際涉及到緩存,寄存器和其他硬件),線程操作這個副本,比如 int i = 1;一個線程想要進行 i++操作,會先將變量 i =1 的值先拷貝到自己本地內存操作,完成 i++,結果 i=2,此時主內存中的值還是1,在線程將結果刷新到主內存後,主內存值就更新爲2,數據達到一致了。 如果線程A,線程B同時將 主內存中 i =1拷貝副本到自己本地內存,線程A想要 將i+1,而線程B想要將 int j=i,將賦值給j,那麼如何保證線程之間的協作,此時就會涉及到線程之間的同步以及內存可見性問題了。(後文分析synchronized/lock) 那線程之間實現通信需要經過2個步驟,藉助主內存爲中間媒介: 線程A (發送消息)-->(接收消息) 線程B 1、線程A將本地內存共享變量值刷新到主內存中,更新值; 2、線程B從主內存中讀取已更新過的共享變量;
-
共享內存中涉及到哪些變量稱爲共享變量?
這裏的共享內存指的是jvm中堆內存中,所有堆內存在線程之間共享,因爲棧中存儲的是方法及其內部的局部變量,不在此涉及。 共享變量:對於多線程之間能夠共同操作的變量,包含實例域,靜態域,數組元素。即有成員變量,靜態變量等等, 不涉及到局部變量(所以局部變量不涉及到內存可見性問題)
-
多線程在java內存模型中涉及到三個問題
- 可見性
- 原子性
- 有序性(涉及指令重排序)
二、volatile詳解
2.1、概念
-1、volatile 是 java中的關鍵字,可修飾字段,可以保證共享變量的在內存的可見性,有序性,不保證原子性。
-2、作用:在瞭解java內存模型後,才能更加了解volatile在JMM中的作用,volatile在JMM中爲了保證內存的可見性,即是線程之間操作共享變量的可見性。
- volatile寫和讀的內存語義
volatile 寫的內存語義:
當寫一個volatile修飾的共享變量時,JMM會把該線程的本地內存的共享變量副本值刷新到主內存中;
volatile 讀的內存語義:
當讀一個volatile修飾的共享變量時,JMM會將該線程的本地內存的共享變量副本置爲無效,要求線程重新去主內存中獲取最新的值。
- java內存模型控制與volatile衝突嗎?什麼區別?
不衝突!java內存模型控制線程工作內存與主內存之間共享變量會同步,即線程從主內存中讀一份副本到工作內存,又刷新到主內存,那怎麼還需要 volatile來保證可見性,不是JMM自己能控制嗎,一般情況下JMM可以控制 2份內存數據一致性,但是在多線程併發環境下,雖然最終線程工作內存中的共享變量會同步到主內存,但這需要時間和觸發條件,線程之間同時操作共享變量協作時,就需要保證每次都能獲取到主內存的最新數據,保證看到的工作變量是最後一次修改後的值,這個JMM沒法控制保證,這就需要volatile或者後文要講的 synchronized和鎖的同步機制來實現了。
2.2、保證內存可見性
-
1、多個線程出現內存不可見問題示例
/** * @author zdd * Description: 測試線程之間,內存不可見問題 */ public class TestVisibilityMain { private static boolean isRunning = true; // 可嘗試添加volatile執行,其餘不變,查看線程A是否被停止 //private static volatile boolean isRunning = true; public static void main(String[] args) throws InterruptedException { //1,開啓線程A,讀取共享變量值 isRunning,默認爲true new Thread(()->{ // --> 此處用的lamda表達式,{}內相當於Thread的run方法內部需執行任務 System.out.println(Thread.currentThread().getName() + "進入run方法"); while (isRunning == true) { } System.out.println(Thread.currentThread().getName()+"被停止!"); },"A").start(); //2,主線程休眠1s, 確保線程A先被調度執行 TimeUnit.SECONDS.sleep(1); //3,主線程修改共享變量值 爲flase,驗證線程A是否能夠獲取到最新值,跳出while循環 --> 驗證可見性 isRunning =false; System.out.println(Thread.currentThread().getName() +"修改isRunning爲: " + isRunning); } }
執行結果如下圖:
- 2、一個容易忽視的問題
上面代碼 while裏面是一個空循環,沒有操作,如果我在裏面加一句打印語句,線程A會被停止,這是怎麼回事呢?
原:while (isRunning == true) {}
改1:
while (isRunning == true) {
System.out.println("進入循環");
}
原來 println方法裏面加了 synchronized關鍵字,在加了鎖既保證原子性,也保證了可見性,會實現線程的工作內存與主內存共享變量的同步。
源代碼如下:
public void println(String x) {
synchronized (this) {
print(x);
newLine();
}
}
改2:
while (isRunning == true) {
//改爲這樣,也可以停止線程A
synchronized (TestVisibilityMain.class){}
}
2.3、不保證原子性
- 1、示例代碼
/**
* @author zdd
* Description: 測試volatile的不具有原子性
*/
public class TestVolatileAtomic {
private static volatile int number;
//開啓線程數
private static final int THREAD_COUNT =10;
//執行 +1 操作
public static void increment() {
//讓每個線程進行加1次數大一些,能夠更容易出現volatile對複合操作(i++)沒有原子性的錯誤
for (int i = 0; i < 10000; i++) {
number++;
}
System.out.println(Thread.currentThread().getName() +"的number值: "+number);
}
public static int getNumber() {
return number;
}
public static void main(String[] args) throws InterruptedException {
TestVolatileAtomic volatileAtomic = new TestVolatileAtomic();
Thread[] threads = new Thread[THREAD_COUNT];
for (int i = 0; i < THREAD_COUNT; i++) {
threads[i]=
new Thread(()->{
// 做循環自增操作
volatileAtomic.increment();
System.out.println(Thread.currentThread().getName() +"的number值: "+volatileAtomic.getNumber());
},"thread-"+i);
}
for (int i = 0; i <10; i++) {
//開啓線程
threads[i].start();
}
//主線程休眠4s,確保上面線程都執行完畢
TimeUnit.SECONDS.sleep(4);
System.out.println("執行完畢,number最終值爲:"+volatileAtomic.getNumber());
}
}
執行結果:number的最後值不一定是 10*10000= 100000的結果
- 2、解決上訴問題
//1,increment()方法上加上 synchronized關鍵字同步
public static synchronized void increment() {
//讓每個線程進行加1次數大一些,能夠更容易出現volatile對複合操作(i++)沒有原子性的錯誤
for (int i = 0; i < 10000; i++) {
number++;
}
System.out.println(Thread.currentThread().getName() +"的number值: "+number);
}
//2,使用Lock,使用其實現類可重入鎖 ReentrantLock
static Lock lock = new ReentrantLock();
//執行 +1 操作
public static void increment() {
lock.lock();
try {
for (int i = 0; i < 10000; i++) {
number++;
}
System.out.println(Thread.currentThread().getName() + "的number值: " + number);
} finally {
lock.unlock();
}
}
運行結果如圖:
- 3、原因分析
對單個volatile變量的讀/寫具有原子性,而對像 i++這種複合操作不具有原子性。
上面代碼 i++操作可以分爲3個步驟
-1 先讀取變量i的值 i
-2 進行i+1操作 temp= i+1
-3 修改i的值 i= temp
比如:比如在線程A,B同時去操作共享變量i, i的初始值爲10,A,B同時去獲取i的值,A對i進行 temp =i+1,此時i的值還沒變, 線程B也對i進行 temp=i+1了,線程A執行i=temp的操作,i的值變爲11,此時由於 volatile可見性,會刷新A的 i值到主內存,主內存中i此時也更新爲11了,線程B接收到通知自己i無效了,重新讀取i=11,雖然i=11,但是已經進行過 temp= i+1了,此時temp =11,線程B繼續第三步,i=temp =11, 預期結果是i被A,B自增各一次,結果i=12,現在爲11,出現數據錯誤。
2.4、有序性
- 重排序
-1,重排序概念:重排序是編譯器和處理器爲了優化程序性能而對指令序列重新排序的一種手段
即:程序員編寫的程序代碼的順序,在實際執行的時候是不一樣的,這其中編譯器和處理器在不影響最終執行結果的基礎上會做一些優化調整,有重新排序的操作,爲了提高程序執行的併發性能。
-2,重排序分類: 編譯重排序,處理器重排序
-4,單線程下,重排序沒有問題,但是在多線程環境下,可能會破壞程序的語義.
- volatile 防止重排序保證有序性
爲了實現volatile的內存語義,JMM會限制編譯器和處理器重排序
-1 制定了重排序規則表防止編譯器重排序
volatile重排序規則表(圖摘自書-併發編程的藝術)
-2 插入內存屏障防止處理器重排序
參考資料:
1、Java併發編程的藝術- 方騰飛
2、java多線程編程核心技術- 高洪巖