Java并發(fā)編程——volatile關(guān)鍵字
一、volatile是什么
volatile是Java并發(fā)編程中重要的一個(gè)關(guān)鍵字,被比喻為“輕量級的synchronized”,與synchronized不同的是,volatile只能修飾變量,無法修飾方法及代碼塊等。下面是使用volatile關(guān)鍵字實(shí)現(xiàn)的單例模式:
public class Singleton implements Serializable { private static volatile Singleton singleton; private Singleton() {} public static Singleton getSingleton() { if (singleton==null) { // 1 synchronized (Singleton.class) { // 2if (singleton==null) { // 3 singleton = new Singleton();// 4} } } return singleton; } private Object readResolve() { //防止序列化破壞單例模式 return singleton; }}
1.單例為什么使用volatile關(guān)鍵字?
首先要理解new Singleton()做了什么。1.看class對象是否加載,如果沒有就進(jìn)行類的加載、解析和初始化;2.虛擬機(jī)分配內(nèi)存空間,初始化實(shí)例,3.調(diào)用構(gòu)造函數(shù),4.返回地址給引用。而cpu為了優(yōu)化程序,可能會進(jìn)行指令重排序,導(dǎo)致實(shí)例內(nèi)存還沒分配,就被使用了。
假設(shè)有兩個(gè)線程A和B,線程A執(zhí)行到new Singleton(),開始初始化實(shí)例對象,由于存在指令重排序,這次new操作,先把引用賦值了,還沒有執(zhí)行構(gòu)造函數(shù)(沒有真正執(zhí)行完)。這時(shí)時(shí)間片結(jié)束了,切換到線程B執(zhí)行,線程B調(diào)用new Singleton()方法,發(fā)現(xiàn)引用不等于null,就直接返回引用地址了,然后線程B執(zhí)行了一些操作,就可能導(dǎo)致線程B使用了還沒被初始化的變量。
2.單例模式中步驟1、2、3、4存在的意義何在?
首先,步驟2、3是保證單例。假設(shè)線程A和B都執(zhí)行到了步驟2,線程A拿到了鎖,執(zhí)行步驟3,如果此時(shí)沒有創(chuàng)建實(shí)例,線程A會執(zhí)行new創(chuàng)建實(shí)例,然后線程A釋放鎖,線程B拿到鎖,首先執(zhí)行步驟3,發(fā)現(xiàn)已經(jīng)創(chuàng)建了實(shí)例,直接返回。加鎖是比較消耗資源的,步驟1就是為了減少資源的消耗。
二、volatile的特性
1.禁止指令重排序
指令重排序是JVM為了優(yōu)化指令、提高程序運(yùn)行效率,在不影響單線程程序執(zhí)行結(jié)果的前提下,盡可能地提高并行度。指令重排序包括編譯器重排序和運(yùn)行時(shí)重排序。
volatile關(guān)鍵字提供內(nèi)存屏障的方式來防止指令被重排,編譯器在生成字節(jié)碼文件時(shí),會在指令序列中插入內(nèi)存屏障來禁止特定類型的處理器重排序。
JVM內(nèi)存屏障插入策略:
每個(gè)volatile寫操作的前面插入一個(gè)StoreStore屏障,Store1;StoreStore;Store2,在Store2及后續(xù)的寫入操作執(zhí)行前,保證Store1的寫入操作對其他處理器可見,保證了有序性和可見性; 在每個(gè)volatile寫操作的后面插入一個(gè)StoreLoad屏障,Store1;StoreLoad;Load2,在Load2及后續(xù)的讀取操作執(zhí)行前,保證Store1的寫入操作對其他處理器可見,它的開銷是最大的,兼具其他三種的作用,保證了有序性和可見性; 在每個(gè)volatile讀操作的后面插入一個(gè)LoadLoad屏障,Load1;LoadLoad;Load2,在Load2及后續(xù)的讀取操作執(zhí)行前,保證Load1讀取的數(shù)據(jù)已經(jīng)讀取完畢; 在每個(gè)volatile讀操作的后面插入一個(gè)LoadStore屏障,Load1;LoadStore;Store2,在Store2及后續(xù)的寫入操作執(zhí)行前,保證Load1讀取的數(shù)據(jù)已經(jīng)讀取完畢。2.保證內(nèi)存可見性
可見性是指對volatile變量的讀總能獲取其他任意線程對volatile變量的最后的寫。可見性的實(shí)現(xiàn)基于volatile讀寫的內(nèi)存語義:
volatile寫的內(nèi)存語義:當(dāng)寫入一個(gè)volatile變量時(shí),JVM將線程工作內(nèi)存中的變量值刷新到主內(nèi)存中; volatile讀的內(nèi)存語義:當(dāng)讀取一個(gè)volatile變量時(shí),JVM首先將改工作內(nèi)存中的變量設(shè)置為無效,重新從主內(nèi)存中獲取最新的有效值。三、使用場景
(1)volatile是輕量級同步機(jī)制。與synchronized的區(qū)別是volatile只能保證有序性和可見性,不能保證原子性。(2)volatile不能修飾寫入操作依賴當(dāng)前值的變量。聲明為volatile的簡單變量如果當(dāng)前值與該變量以前的值相關(guān),那么volatile關(guān)鍵字不起作用,也就是說如下的表達(dá)式都不是原子操作:“count++”、“count = count+1”。(3)當(dāng)要訪問的變量已在synchronized代碼塊中,或?yàn)槌A繒r(shí),沒必要使用volatile;(4)volatile保證了有序性,屏蔽掉了JVM中必要的代碼優(yōu)化,所以在效率上比較低,因此一定在必要時(shí)才使用此關(guān)鍵字。(5)在以下兩個(gè)場景中可以使用volatile來代替synchronized:
運(yùn)算結(jié)果不依賴變量的當(dāng)前值,或者能夠確保只有單一的線程會修改變量的值。 變量不需要與其他狀態(tài)變量共同參與不變約束。以上就是淺析Java并發(fā)編程——volatile關(guān)鍵字的詳細(xì)內(nèi)容,更多關(guān)于Java并發(fā)編程——volatile關(guān)鍵字的資料請關(guān)注好吧啦網(wǎng)其它相關(guān)文章!
相關(guān)文章:
1. React實(shí)現(xiàn)一個(gè)倒計(jì)時(shí)hook組件實(shí)戰(zhàn)示例2. WMLScript的語法基礎(chǔ)3. CSS3實(shí)例分享之多重背景的實(shí)現(xiàn)(Multiple backgrounds)4. XML入門的常見問題(三)5. JavaScript中顏色模型的基礎(chǔ)知識與應(yīng)用詳解6. 不要在HTML中濫用div7. XML 非法字符(轉(zhuǎn)義字符)8. el-input無法輸入的問題和表單驗(yàn)證失敗問題解決9. 前端html+css實(shí)現(xiàn)動(dòng)態(tài)生日快樂代碼10. XML 增、刪、改和查示例
