java編程，如何徹底理解volatile關(guān)鍵字？謝謝了邀請(qǐng)~！下面從用法、注意事項(xiàng)、底層原理并且說(shuō)明！JMM基礎(chǔ)-計(jì)算機(jī)原理Java內(nèi)存模型即Java Memory Model,西安北方光電有限公司

java編程，如何徹底理解volatile關(guān)鍵字？

謝謝了邀請(qǐng)~！下面從用法、注意事項(xiàng)、底層原理并且說(shuō)明！

JMM基礎(chǔ)-計(jì)算機(jī)原理

Java內(nèi)存模型即Java Memory Model,西安北方光電有限公司JMM,JMM符號(hào)表示了Java虛擬機(jī)（JVM)在計(jì)算機(jī)(RAM)中的工作。JVM是整個(gè)計(jì)算機(jī)虛擬充值模型，所以我JMM是直屬中央于JVM的，

在計(jì)算機(jī)系統(tǒng)中，寄存器是L0級(jí)緩存，隨即順次排列是L1,L2,L3(這一次是內(nèi)存，本地磁盤(pán)，遠(yuǎn)戰(zhàn)存儲(chǔ)).越往上的緩存存儲(chǔ)空間越小，速度越快，成本也越高。越往上的存儲(chǔ)空間越大，速度更慢，成本也越低。

從上至下，每一層都都也可以是看作是更下一層的緩存，即：L0寄存器是L1一級(jí)緩存的緩存，

L1是L2的緩存，兩次中間數(shù)；每一層的數(shù)據(jù)是來(lái)當(dāng)然了它的下一層。

在現(xiàn)在CPU上，一般來(lái)說(shuō)L0,L1,L2，L3都無(wú)法繼承在CPU內(nèi)部，而L1還可分一級(jí)數(shù)據(jù)緩存和一級(jí)指令緩存，三個(gè)用于貯放數(shù)據(jù)和執(zhí)行數(shù)據(jù)的指令解碼，每個(gè)核心擁有的的的運(yùn)算處理單元、控制器、寄存器、L1緩存、L2緩存，然后再一個(gè)CPU的多個(gè)核心共享后來(lái)一層CPU緩存L3。

CPU的緩存一致性解決方案

兩類200元以內(nèi)兩種方案

總線鎖（每次鎖總線，是悲觀鎖）

緩存鎖(只鎖緩存的數(shù)據(jù))

MESI協(xié)議:：

M(modify):I(invalid)E（Exclusive）S（manage）

JMM內(nèi)存模型的八種網(wǎng)絡(luò)同步操作

1、read(加載），從主內(nèi)存讀取數(shù)據(jù)

2、load(寫(xiě)入）：將主內(nèi)存讀取數(shù)據(jù)到的數(shù)據(jù)寫(xiě)入到到工作內(nèi)存

3、use(不使用）：從工作內(nèi)存讀取數(shù)據(jù)來(lái)可以計(jì)算

4、assign（變量）：將計(jì)算出好的值新的變量賦值到工作內(nèi)存中

5、store(存儲(chǔ)）：將工作內(nèi)存數(shù)據(jù)中寫(xiě)入主內(nèi)存

6、write(寫(xiě)入):將store過(guò)去的變量值定義變量給主內(nèi)存中的變量

7、lock(移動(dòng)到）：將主內(nèi)存變量加鎖，標(biāo)志為線程雀占鳩巢狀態(tài)

8、unlock(解鎖）:將主內(nèi)存變量解鎖，解鎖后其他線程可以不移動(dòng)到該變量

Java內(nèi)存模型帶來(lái)的問(wèn)題

1、要知道性問(wèn)題

左邊CPU中不運(yùn)行的線程從主內(nèi)存中拷備對(duì)象params到它的CPU緩存，把對(duì)象params的count變量轉(zhuǎn)成2，但這個(gè)變更對(duì)運(yùn)行程序在右邊的CPU中的線程是萬(wàn)不可見(jiàn)，因?yàn)檫@個(gè)改還沒(méi)有flush到主內(nèi)存中。

在多線程環(huán)境下，如果某個(gè)線程唯一一個(gè)加載鏈接共享變量，則是需要到主內(nèi)存中聲望兌換該變量，后再卡內(nèi)到工作內(nèi)存中，以后只不需要在工作內(nèi)存中讀取該變量再試一下，同時(shí)假如對(duì)該變量先執(zhí)行了修改的操作，則先將新值寫(xiě)入到工作內(nèi)存中，然后把再重新登陸至于內(nèi)存中，只不過(guò)什么時(shí)候哪個(gè)網(wǎng)站的值會(huì)被重新登陸到主內(nèi)存中是不太判斷的，一般來(lái)說(shuō)是迅速的，不過(guò)具體看時(shí)間未知，，要解決寬帶共享對(duì)象而且性問(wèn)題，我們也可以可以使用volatile關(guān)鍵字的或加鎖。

2、競(jìng)爭(zhēng)問(wèn)題

線程A和線程B共享一個(gè)對(duì)象params,打比方線程A從主存加載變量到自己的緩存中，同時(shí)，線程B也讀取文件了變量到它的CPU緩存，另外這兩個(gè)線程都對(duì)做了加1操作，此時(shí)，加1操作被不能執(zhí)行了兩次，當(dāng)然了都在相同的CPU緩存中。

要是則四個(gè)加1操作是并行接口負(fù)責(zé)執(zhí)行的，這樣的話變量便會(huì)在各種值上加2，到最后主內(nèi)存中的值會(huì)為3，接著圖中兩個(gè)加1操作是分頭并進(jìn)的，論是線程A肯定線程B先f(wàn)lush計(jì)算出而到主存，終于主存中的只會(huì)增加1次轉(zhuǎn)成2，哪怕總共有兩次加1你的操作，要幫忙解決上面的問(wèn)題我們是可以在用synchronized代碼塊。

3、重升序

除此之外寬帶共享內(nèi)存和工作內(nèi)存給了的問(wèn)題，還必然重排序的問(wèn)題，在執(zhí)行程序時(shí)，目的是想提高性能，編譯器和處理器經(jīng)常會(huì)會(huì)對(duì)指令做重排序。

重排序分3中類型：

(1)編譯器優(yōu)化的重排序。

(2)指令級(jí)并行的重排序

(3)內(nèi)存系統(tǒng)的重排序

①數(shù)據(jù)依賴性

數(shù)據(jù)依賴性：如果不是兩個(gè)操作不能訪問(wèn)同一變量，且這兩個(gè)操作中有一個(gè)為寫(xiě)，此時(shí)這兩個(gè)操作之間就修真者的存在數(shù)據(jù)依賴性。

依賴性可分100元以內(nèi)三種：

上圖很的確，A和C存在數(shù)據(jù)依賴，B和C也存在地?cái)?shù)據(jù)依賴，而A和B之間不未知數(shù)據(jù)依賴，如果沒(méi)有重排序了A和C也可以B和C的執(zhí)行順序，程序的執(zhí)行結(jié)果是會(huì)被變動(dòng)。

很的確，論如何重排序，都可以只要代碼在單線程下的運(yùn)行錯(cuò)誤的，連單線程下都難以只要，更不用什么再討論多線程并發(fā)的情況，所以才就做出一個(gè)and-if-serial的概念。

4、like-if-serial

意思是：論怎么重排序（編譯器和處理器是為想提高并行度），（單線程）程序的執(zhí)行結(jié)果又不能被決定。編譯器、runtime和處理器都前提是不違背as-if-serial語(yǔ)義。

A和C之間未知數(shù)據(jù)依賴，同樣的B和C之間也存在地?cái)?shù)據(jù)依戀關(guān)系，而在結(jié)果想執(zhí)行的指令序列中，C不能被重排序A和B的前面（C排到A和B的前面，程序的結(jié)果將是被決定）。但A和B之間沒(méi)有數(shù)據(jù)依戀關(guān)系，編譯器和處理器也可以重排序A和B之間的想執(zhí)行順序。

like-if-serial語(yǔ)義把單線程程序保衛(wèi)了下來(lái)，遵守as-if-serial語(yǔ)義的編譯器、runtime和處理器可以讓我們感覺(jué)到：?jiǎn)尉€程程序感覺(jué)起來(lái)是按程序的順序來(lái)想執(zhí)行的。as-if-srial語(yǔ)義使單線程程序不需擔(dān)心重排序干擾到他們，也不需要擔(dān)心那內(nèi)存可見(jiàn)性的問(wèn)題。

5、內(nèi)存屏障

Java編譯器在生成指令序列的適度地位置會(huì)插入內(nèi)存屏障來(lái)私自特定的事件類型的處理去重排序，最終達(dá)到讓程序按我們想象之外的流程去負(fù)責(zé)執(zhí)行。

①保證某種特定操作的執(zhí)行順序

②會(huì)影響某些數(shù)據(jù)(或者是某條指令的執(zhí)行結(jié)果）的內(nèi)存可見(jiàn)性

編譯器和CPU也能重排序指令，可以保證到最后同一的結(jié)果，接觸優(yōu)化系統(tǒng)性能。插入到一條MemoryBarrier會(huì)說(shuō)說(shuō)編譯器和CPU，不管什么指令都又不能和這條Memory Barrier指令重排序。

MemoryBarrier所做的另外一件事是滿刷出各種CPUcache,如一個(gè)Write-Barrier(寫(xiě)入到屏障）將刷出處的Barrier之前寫(xiě)入文件cache的數(shù)據(jù)，因此，任何CPU上的線程都能讀取到這些數(shù)據(jù)的2011版版本。

JMM把內(nèi)存屏障指令統(tǒng)稱4類：

StoreLoadBarriers是一個(gè)全能型的屏障，它同樣的具備其他3個(gè)屏障的效果，

volatile關(guān)鍵字可以介紹

1、絕對(duì)的保證要知道性

對(duì)一個(gè)volatile變量的讀，時(shí)總能看見(jiàn)(不可以線程)對(duì)這個(gè)volatile變量到最后的寫(xiě)。

我們先看下面代碼：

initFlag還沒(méi)有用volatile關(guān)鍵字形容詞性；

上面結(jié)果為：

那就證明一個(gè)線程變化initFlag狀態(tài)，別外一個(gè)線程看不到；

如果而且volatile關(guān)鍵字呢？

而追加：

我們通過(guò)匯編看下代碼的終于底層實(shí)現(xiàn)程序：

volatile寫(xiě)的內(nèi)存語(yǔ)義追加：

當(dāng)寫(xiě)一個(gè)volatile變量時(shí)，JMM會(huì)把該線程按的本地內(nèi)存中的共享變量值重新登錄到主內(nèi)存。

當(dāng)讀一個(gè)volatile變量時(shí)，JMM會(huì)把該線程不對(duì)應(yīng)的本地內(nèi)存置為生效。線程接下來(lái)的將從主內(nèi)存中無(wú)法讀取鏈接共享變量。

比如說(shuō)：

如果沒(méi)有我們將flag變量以volatile關(guān)鍵字可以修飾，這樣的話事實(shí)上：線程A在寫(xiě)flag變量后，本地內(nèi)存A中被線程A更新過(guò)的兩個(gè)寬帶共享變量的值都被手動(dòng)刷新到主內(nèi)存中。

在讀flag變量后，本地內(nèi)存B包含的值巳經(jīng)被置為不能解除。此時(shí)，線程B可以從主內(nèi)存中讀取文件互相訪問(wèn)變量。線程B的讀取操作將可能導(dǎo)致本地內(nèi)存B與主內(nèi)存中的共享變量的值變的一致。

如果沒(méi)有我們把volatile寫(xiě)和volatile讀兩個(gè)步驟看專業(yè)出聲看的話，在讀線程B讀一個(gè)volatile變量后，寫(xiě)線程A在寫(xiě)這個(gè)volatile變量之前所有而且的共享變量的值都將立即變得異常對(duì)讀線程B可以說(shuō)。

2、原子性

volatile不能保證變量的原子性；

運(yùn)行結(jié)果萬(wàn)分感謝：

只不過(guò)count

包涵三個(gè)操作：

(1)讀取變量count

(2)將count變量的值加1

(3)將計(jì)算出后的值再賦給變量count

從JMM內(nèi)存總結(jié)：

下面從字節(jié)碼分析為什么i這種的用volatile修改不能能保證原子性？

javap:字節(jié)碼查找

不過(guò)i這種操作主要可以分成三類3步：（匯編）

加載volatile變量值到local提高變量的值把local的值寫(xiě)回，讓其它的線程所以說(shuō)

Load到store到內(nèi)存屏障，最少4步，其中到最后半步j(luò)vm讓這個(gè)2012版的變量的值在所有線程可見(jiàn)，也就是之后踏上一步讓所有的CPU內(nèi)核都額外了哪個(gè)網(wǎng)站的值，但中間的幾步（從Load到Store）是不安全的的，中間要是其他的CPU可以修改了值將會(huì)全部丟失。

3、活動(dòng)有序性

(1)volatile重排序規(guī)則表

①當(dāng)?shù)诙€(gè)你操作是volatile寫(xiě)時(shí)，反正第一個(gè)操作是什么，都肯定不能重排序。這個(gè)規(guī)則確保volatile寫(xiě)之前的操作不會(huì)被編譯器重排序到volatile寫(xiě)之后。

②當(dāng)最后一個(gè)操作是volatile讀時(shí)，無(wú)論第二個(gè)操作是什么，都不能重排序。這個(gè)規(guī)則以保證volatile讀之后的操作應(yīng)該不會(huì)被編譯器重排序到volatile讀之前。

③當(dāng)另一個(gè)能操作是volatile寫(xiě)，第二個(gè)操作是volatile讀時(shí)，又不能重排序。

（2）volatile的內(nèi)存屏障

①volatile寫(xiě)

storestore屏障：這對(duì)這樣的語(yǔ)句store1storestorestore2，在store2及后續(xù)寫(xiě)入操作不能執(zhí)行前，保證store1的中寫(xiě)入操作對(duì)其它處理器所以說(shuō)。(也就是說(shuō)如果再次出現(xiàn)storestore屏障，那么store1指令一定會(huì)會(huì)在store2之前不能執(zhí)行，CPU不會(huì)store1與store2并且重排序)

storeload屏障：對(duì)于這樣的語(yǔ)句store1storeloadload2，在load2及現(xiàn)所有加載操作不能執(zhí)行前，保證store1的寫(xiě)入文件對(duì)所有處理器而且。(也就是說(shuō)假如又出現(xiàn)storeload屏障，這樣的話store1指令是有會(huì)在load2之前想執(zhí)行,CPU不會(huì)對(duì)store1與load2接受重排序

②volatile讀

在每個(gè)volatile讀操作的后面插入一個(gè)LoadLoad屏障。在每個(gè)volatile讀操作的后面直接插入一個(gè)loadstore屏障。

loadload屏障：對(duì)于這樣的語(yǔ)句load1loadloadload2，在load2及后續(xù)讀取操作要無(wú)法讀取的數(shù)據(jù)被不能訪問(wèn)前，可以保證load1要讀取數(shù)據(jù)的數(shù)據(jù)被加載后。（也就是說(shuō)，要是再次出現(xiàn)loadload屏障，那你load1指令是有會(huì)在load2之前執(zhí)行，CPU不會(huì)對(duì)load1與load2進(jìn)行重排序）

loadstore屏障：是對(duì)這樣的語(yǔ)句load1loadstorestore2，在store2及后續(xù)寫(xiě)入操作被刷出前，能保證load1要讀取的數(shù)據(jù)被讀取數(shù)據(jù)完畢后。（也就是說(shuō)，如果沒(méi)有再次出現(xiàn)loadstore屏障，那就load1指令一定會(huì)在store2之前不能執(zhí)行，CPU應(yīng)該不會(huì)對(duì)load1與store2并且重排序）

volatile的實(shí)現(xiàn)原理

volatile的實(shí)現(xiàn)原理

?通過(guò)對(duì)OpenJDK中的unsafe.cpp源碼的分析，會(huì)發(fā)現(xiàn)被unsafe關(guān)鍵字修飾的變量會(huì)存在一個(gè)“l(fā)ock:”的前綴。

?Lock前綴，Lock不是一種內(nèi)存屏障，但是它能結(jié)束的的內(nèi)存屏障的功能。Lock會(huì)對(duì)CPU總線和高速緩存加鎖，這個(gè)可以表述為CPU指令級(jí)的一種鎖。

?同樣的該指令會(huì)將當(dāng)前處理器緩存行的數(shù)據(jù)然后寫(xiě)會(huì)到系統(tǒng)內(nèi)存中，且這個(gè)寫(xiě)回內(nèi)存的操作會(huì)使在其他CPU里系統(tǒng)緩存了該地址的數(shù)據(jù)不能解除。

?具體一點(diǎn)的執(zhí)行上，它先對(duì)總線和緩存加鎖，然后再想執(zhí)行后面的指令，結(jié)果能量鎖后會(huì)把高速緩存中的臟數(shù)據(jù)完全刷新回主內(nèi)存。在Lock鎖住總線的時(shí)候，其他CPU的讀寫(xiě)請(qǐng)求都會(huì)被阻塞，直到鎖釋放。

【歡迎隨手查哈@碼農(nóng)的幾天,希望對(duì)你有幫助】

如何學(xué)好物聯(lián)網(wǎng)的知識(shí)？

來(lái)看看這里，這里有你打算的物聯(lián)網(wǎng)中核心嵌入式系統(tǒng)的課程。

我準(zhǔn)備著了跑一趟樹(shù)莓派之旅，建議使用jupyter-notebook通過(guò)邊學(xué)邊練（受李沐老師《動(dòng)手學(xué)深度學(xué)習(xí)》課程啟發(fā)），絕對(duì)不能出現(xiàn)樹(shù)莓派吃灰。

當(dāng)前使用樹(shù)莓派3B和樹(shù)莓配瑞士軍刀擴(kuò)展板卡進(jìn)行樹(shù)莓派由外而內(nèi)的學(xué)習(xí)（想要生級(jí)為樹(shù)莓派4B板卡，后續(xù)課程會(huì)兼容性問(wèn)題樹(shù)莓派3B和4B），多謝了來(lái)圍觀默默點(diǎn)贊。

本課程可以解決樹(shù)莓派不使用2大難題：

（1）樹(shù)莓派系統(tǒng)軟件安裝的復(fù)雜性（Linux字符界面是需要一些時(shí)間不適應(yīng)）。

你不用什么安裝好其他軟件，可以使用我可以提供的系統(tǒng)鏡像即可開(kāi)始怎么學(xué)習(xí)，鏡像中另外中有教程和源碼。

（2）樹(shù)莓派只是因?yàn)楹芎?jiǎn)單跑跑卡丁被人的DEMO，接著就沒(méi)后再了。

我會(huì)手下各位朋友，由外而因的探索樹(shù)莓派，從PYHON篇就開(kāi)始、歷經(jīng)C語(yǔ)言篇、Linux內(nèi)核驅(qū)動(dòng)篇、Linux內(nèi)核核心篇再繼續(xù)樹(shù)莓派的“下手學(xué)”系列課程。同時(shí)，會(huì)在樹(shù)莓派上不運(yùn)行深度學(xué)習(xí)目標(biāo)檢測(cè)檢測(cè)中的yolo模型，試驗(yàn)樹(shù)莓派運(yùn)行和movidius2加速棒的差異，做一個(gè)有工程意義的項(xiàng)目。

?

本套課程包涵教程、源碼、視頻教程所有免費(fèi)提供。

（1）課程視頻：

《樹(shù)莓派系統(tǒng)安裝說(shuō)明》：

《動(dòng)手學(xué)樹(shù)莓派——python上篇》：

?

（2）教程提供的系統(tǒng)鏡像：

系統(tǒng)鏡像下載地址：

?

（3）課程介紹和課程資源匯總：

gitee托管地址：_taste_raspi/shirf_serial_

github托管地址：_serial_

?

（4）課件：

《樹(shù)莓派系統(tǒng)安裝篇》：

gitee托管地址：_taste_raspi/raspi_os_setup

github托管地址：_os_

?

《動(dòng)手學(xué)樹(shù)莓派——python上篇》：

gitee托管地址：_taste_raspi/perfect_raspi_python_

github托管地址：_raspi_python_