本文轉載自[volatile關鍵字及其作用](https://blog.csdn.net/u010255818/article/details/65633033)
[TOC]
volatile關鍵字有兩個作用,一是保證內存可見性,二是禁止指令重排優化。
# 保證內存可見性
可見性是指線程之間的可見性,一個線程修改的狀態對另一個線程是可見的。也就是一個線程修改的結果,另一個線程馬上就能看到。
## 原理
當對非volatile變量進行讀寫的時候,每個線程先從主內存拷貝變量到CPU緩存中,如果計算機有多個CPU,每個線程可能在不同的CPU上被處理,這意味著每個線程可以拷貝到不同的CPU cache中。
??volatile變量不會被緩存在寄存器或者對其他處理器不可見的地方,保證了每次讀寫變量都從主內存中讀,跳過CP[【源碼分析】ThreadPoolExecutor源碼分析](ThreadPoolExecutor%E6%BA%90%E7%A0%81%E5%88%86%E6%9E%90.md)U cache這一步。當一個線程修改了這個變量的值,新值對于其他線程是立即得知的。

# 禁止指令重排
## 什么是指令重排
指令重排序是JVM為了優化指令、提高程序運行效率,在不影響單線程程序執行結果的前提下,盡可能地提高并行度。指令重排序包括編譯器重排序和運行時重排序。
在JDK1.5之后,可以使用volatile變量禁止指令重排序。針對volatile修飾的變量,在讀寫操作指令前后會插入內存屏障,指令重排序時不能把后面的指令重排序到內存屏。
```java
double r = 2.1; //(1)
double pi = 3.14;//(2)
double area = pi*r*r;//(3)
```
雖然代碼語句的定義順序為1->2->3,但是計算順序1->2->3與2->1->3對結果并無影響,所以編譯時和運行時可以根據需要對1、2語句進行重排序。
## 指令重排帶來的問題
如果一個操作不是原子的,就會給JVM留下重排的機會。
```java
線程A中
{
context = loadContext();
inited = true;
}
線程B中
{
if (inited)
fun(context);
}
```
如果線程A中的指令發生了重排序,那么B中很可能就會拿到一個尚未初始化或尚未初始化完成的context,從而引發程序錯誤。
## 禁止指令重排的原理
volatile關鍵字提供內存屏障的方式來防止指令被重排,編譯器在生成字節碼文件時,會在指令序列中插入內存屏障來禁止特定類型的處理器重排序。
JVM內存屏障插入策略:
* 在每個volatile寫操作的前面插入一個StoreStore屏障;
* 在每個volatile寫操作的后面插入一個StoreLoad屏障;
* 在每個volatile讀操作的前面插入一個LoadLoad屏障;
* 在每個volatile讀操作的后面插入一個LoadStore屏障。
## 原子操作
原子(atom)本意是“不能被進一步分割的最小粒子”,而原子操作(atomic operation)意為"不可被中斷的一個或一系列操作" ,指不會被線程調度機制打斷的操作;這種操作一旦開始,就一直運行到結束,中間不會有任何 context switch (切換到另一個線程)。
# 總結
1、volatile是**輕量級同步機制**。在訪問volatile變量時不會執行加鎖操作,因此也就不會使執行線程阻塞,是一種比synchronized關鍵字更輕量級的同步機制。
2、volatile**無法同時保證內存可見性和原子性**。加鎖機制既可以確保可見性又可以確保原子性,而volatile變量**只能確保可見性**。
3、volatile不能修飾寫入操作依賴當前值的變量。聲明為volatile的簡單變量如果當前值與該變量以前的值相關,那么volatile關鍵字不起作用,也就是說如下的表達式都不是原子操作:“count++”、“count = count+1”。
4、當要訪問的變量已在synchronized代碼塊中,或者為常量時,沒必要使用volatile;
5、volatile屏蔽掉了JVM中必要的代碼優化,所以在效率上比較低,因此一定在必要時才使用此關鍵字。
- 導讀
- Java知識
- Java基本程序設計結構
- 【基礎知識】Java基礎
- 【源碼分析】Okio
- 【源碼分析】深入理解i++和++i
- 【專題分析】JVM與GC
- 【面試清單】Java基本程序設計結構
- 對象與類
- 【基礎知識】對象與類
- 【專題分析】Java類加載過程
- 【面試清單】對象與類
- 泛型
- 【基礎知識】泛型
- 【面試清單】泛型
- 集合
- 【基礎知識】集合
- 【源碼分析】SparseArray
- 【面試清單】集合
- 多線程
- 【基礎知識】多線程
- 【源碼分析】ThreadPoolExecutor源碼分析
- 【專題分析】volatile關鍵字
- 【面試清單】多線程
- Java新特性
- 【專題分析】Lambda表達式
- 【專題分析】注解
- 【面試清單】Java新特性
- Effective Java筆記
- Android知識
- Activity
- 【基礎知識】Activity
- 【專題分析】運行時權限
- 【專題分析】使用Intent打開三方應用
- 【源碼分析】Activity的工作過程
- 【面試清單】Activity
- 架構組件
- 【專題分析】MVC、MVP與MVVM
- 【專題分析】數據綁定
- 【面試清單】架構組件
- 界面
- 【專題分析】自定義View
- 【專題分析】ImageView的ScaleType屬性
- 【專題分析】ConstraintLayout 使用
- 【專題分析】搞懂點九圖
- 【專題分析】Adapter
- 【源碼分析】LayoutInflater
- 【源碼分析】ViewStub
- 【源碼分析】View三大流程
- 【源碼分析】觸摸事件分發機制
- 【源碼分析】按鍵事件分發機制
- 【源碼分析】Android窗口機制
- 【面試清單】界面
- 動畫和過渡
- 【基礎知識】動畫和過渡
- 【面試清單】動畫和過渡
- 圖片和圖形
- 【專題分析】圖片加載
- 【面試清單】圖片和圖形
- 后臺任務
- 應用數據和文件
- 基于網絡的內容
- 多線程與多進程
- 【基礎知識】多線程與多進程
- 【源碼分析】Handler
- 【源碼分析】AsyncTask
- 【專題分析】Service
- 【源碼分析】Parcelable
- 【專題分析】Binder
- 【源碼分析】Messenger
- 【面試清單】多線程與多進程
- 應用優化
- 【專題分析】布局優化
- 【專題分析】繪制優化
- 【專題分析】內存優化
- 【專題分析】啟動優化
- 【專題分析】電池優化
- 【專題分析】包大小優化
- 【面試清單】應用優化
- Android新特性
- 【專題分析】狀態欄、ActionBar和導航欄
- 【專題分析】應用圖標、通知欄適配
- 【專題分析】Android新版本重要變更
- 【專題分析】唯一標識符的最佳做法
- 開源庫源碼分析
- 【源碼分析】BaseRecyclerViewAdapterHelper
- 【源碼分析】ButterKnife
- 【源碼分析】Dagger2
- 【源碼分析】EventBus3(一)
- 【源碼分析】EventBus3(二)
- 【源碼分析】Glide
- 【源碼分析】OkHttp
- 【源碼分析】Retrofit
- 其他知識
- Flutter
- 原生開發與跨平臺開發
- 整體歸納
- 狀態及狀態管理
- 零碎知識點
- 添加Flutter到現有應用
- Git知識
- Git命令
- .gitignore文件
- 設計模式
- 創建型模式
- 結構型模式
- 行為型模式
- RxJava
- 基礎
- Linux知識
- 環境變量
- Linux命令
- ADB命令
- 算法
- 常見數據結構及實現
- 數組
- 排序算法
- 鏈表
- 二叉樹
- 棧和隊列
- 算法時間復雜度
- 常見算法思想
- 其他技術
- 正則表達式
- 編碼格式
- HTTP與HTTPS
- 【面試清單】其他知識
- 開發歸納
- Android零碎問題
- 其他零碎問題
- 開發思路