為什么要有內(nèi)存屏障

這個是為了解決因為cpu，高速緩存，主內(nèi)存出現(xiàn)的時候，導致的可見性和重序性問題，什么問題呢，看下面我們都知道計算機運算任務需要CPU和內(nèi)存相互配合共同完成，其中CPU負責邏輯計算，內(nèi)存負責數(shù)據(jù)存儲。CPU要與內(nèi)存進行交互，如讀取運算數(shù)據(jù)、存儲運算結果等。由于內(nèi)存和CPU的計算速度有幾個數(shù)量級的差距，為了提高CPU的利用率，現(xiàn)代處理器結構都加入了一層讀寫速度盡可能接近CPU運算速度的高速緩存來作為內(nèi)存與CPU之間的緩沖：將運算需要使用的數(shù)據(jù)復制到緩存中，讓CPU運算可以快速進行，計算結束后再將計算結果從緩存同步到主內(nèi)存中，這樣處理器就無須等待緩慢的內(nèi)存讀寫了。就像下面這樣

高速緩存的引入解決了CPU和內(nèi)存之間速度的矛盾，但是在多CPU系統(tǒng)中也帶來了新的問題：可見性問題和重排序問題。

首先是可見性問題：假設有兩個線程A、B分別在兩個不同的CPU上運行，它們共享同一個變量X。如果線程A對X進行修改后，并沒有將X更新后的結果同步到主內(nèi)存，則變量X的修改對B線程是不可見的。這樣就會造成可見性問題

然后是重排序問題：假設A、B兩個線程共享兩個變量X、Y，A和B分別在不同的CPU上運行。在A中先更改變量X的值放到高速緩存區(qū)，然后再更改變量Y的值放到高速緩存區(qū)。這時有可能發(fā)生Y的值被同步回主內(nèi)存，而X的值沒有同步回主內(nèi)存的情況，此時對于B線程來說是無法感知到X變量被修改的，或者可以認為對于B線程來說，Y變量的修改被重排序到了X變量修改的前面。

就是為了解決上面的多線程里面的可見性和重序性問題，所以有了下面的內(nèi)存屏障技術

內(nèi)存屏障的主要組成

首先是硬件上面的內(nèi)存屏障

Load屏障，是x86上的”ifence“指令，在其他指令前插入ifence指令，可以讓高速緩存中的數(shù)據(jù)失效，強制當前線程從主內(nèi)存里面加載數(shù)據(jù) Store屏障，是x86的”sfence“指令，在其他指令后插入sfence指令，能讓當前線程寫入高速緩存中的最新數(shù)據(jù)更新寫入主內(nèi)存，讓其他線程可見。Java里面的內(nèi)存屏障

在java里面有4種，就是 LoadLoad,StoreStore,LoadStore,StoreLoad，實際上也能看出來，這四種都是上面的兩種的組合產(chǎn)生的

LoadLoad屏障：

舉例語句是Load1; LoadLoad; Load2(這句里面的LoadLoad里面的第一個Load對應Load1加載代碼，然后LoadLoad里面的第二個Load對應Load2加載代碼)，此時的意思就是在Load2加載代碼在要讀取的數(shù)據(jù)之前，保證Load1加載代碼要從主內(nèi)存里面讀取的數(shù)據(jù)讀取完畢。

StoreStore屏障：

舉例語句是 Store1; StoreStore; Store2(這句里面的StoreStore里面的第一個Store對應Store1存儲代碼，然后StoreStore里面的第二個Store對應Store2存儲代碼)。此時的意思就是在Store2存儲代碼進行寫入操作執(zhí)行前，保證Store1的寫入操作已經(jīng)把數(shù)據(jù)寫入到主內(nèi)存里面，確認Store1的寫入操作對其它處理器可見。

LoadStore屏障：

舉例語句是 Load1; LoadStore; Store2(這句里面的LoadStore里面的Load對應Load1加載代碼，然后LoadStore里面的Store對應Store2存儲代碼)，此時的意思就是在Store2存儲代碼進行寫入操作執(zhí)行前，保證Load1加載代碼要從主內(nèi)存里面讀取的數(shù)據(jù)讀取完畢。

舉例語句是 Load1; LoadStore; Store2(這句里面的LoadStore里面的Load對應Load1加載代碼，然后LoadStore里面的Store對應Store2存儲代碼)，此時的意思就是在Store2存儲代碼進行寫入操作執(zhí)行前，保證Load1加載代碼要從主內(nèi)存里面讀取的數(shù)據(jù)讀取完畢。

StoreLoad屏障：

舉例語句是Store1; StoreLoad; Load2(這句里面的StoreLoad里面的Store對應Store1存儲代碼，然后StoreLoad里面的Load對應Load2加載代碼)，在Load2加載代碼在從主內(nèi)存里面讀取的數(shù)據(jù)之前，保證Store1的寫入操作已經(jīng)把數(shù)據(jù)寫入到主內(nèi)存里面，確認Store1的寫入操作對其它處理器可見。

Volatile關鍵字里面的內(nèi)存屏障是起作用的

在每個volatile寫操作前插入StoreStore屏障，這樣就能讓其他線程修改A變量后，把修改的值對當前線程可見，在寫操作后插入StoreLoad屏障，這樣就能讓其他線程獲取A變量的時候，能夠獲取到已經(jīng)被當前線程修改的值

在每個volatile讀操作前插入LoadLoad屏障，這樣就能讓當前線程獲取A變量的時候，保證其他線程也都能獲取到相同的值，這樣所有的線程讀取的數(shù)據(jù)就一樣了，在讀操作后插入LoadStore屏障；這樣就能讓當前線程在其他線程修改A變量的值之前，獲取到主內(nèi)存里面A變量的的值。

以上就是詳解Java中的內(nèi)存屏障的詳細內(nèi)容，更多關于Java 內(nèi)存屏障的資料請關注好吧啦網(wǎng)其它相關文章！