【1】CPU和緩存的一致性

我們應(yīng)該都知道，計(jì)算機(jī)在執(zhí)行程序的時(shí)候，每條指令都是在CPU中執(zhí)行的，而執(zhí)行的時(shí)候，又免不了要和數(shù)據(jù)打交道。而計(jì)算機(jī)上面的數(shù)據(jù)，是存放在主存當(dāng)中的，也就是計(jì)算機(jī)的物理內(nèi)存啦。

​ 剛開(kāi)始，還相安無(wú)事的，但是隨著CPU技術(shù)的發(fā)展，CPU的執(zhí)行速度越來(lái)越快。而由于內(nèi)存的技術(shù)并沒(méi)有太大的變化，所以從內(nèi)存中讀取和寫(xiě)入數(shù)據(jù)的過(guò)程和CPU的執(zhí)行速度比起來(lái)差距就會(huì)越來(lái)越大,這就導(dǎo)致CPU每次操作內(nèi)存都要耗費(fèi)很多等待時(shí)間。

​ 所以，人們想出來(lái)了一個(gè)好的辦法，就是在CPU和內(nèi)存之間增加高速緩存。緩存的概念大家都知道，就是保存一份數(shù)據(jù)拷貝。他的特點(diǎn)是速度快，內(nèi)存小，并且昂貴。

那么，程序的執(zhí)行過(guò)程就變成了：

當(dāng)程序在運(yùn)行過(guò)程中，會(huì)將運(yùn)算需要的數(shù)據(jù)從主存復(fù)制一份到CPU的高速緩存當(dāng)中，那么CPU進(jìn)行計(jì)算時(shí)就可以直接從它的高速緩存讀取數(shù)據(jù)和向其中寫(xiě)入數(shù)據(jù)，當(dāng)運(yùn)算結(jié)束之后，再將高速緩存中的數(shù)據(jù)刷新到主存當(dāng)中。

​ 在CPU和主存之間增加緩存，在多線(xiàn)程場(chǎng)景下就可能存在緩存一致性問(wèn)題，也就是說(shuō)，在多核CPU中，每個(gè)核的自己的緩存中，關(guān)于同一個(gè)數(shù)據(jù)的緩存內(nèi)容可能不一致。

【2】處理器優(yōu)化和指令重排

上面提到在在CPU和主存之間增加緩存，在多線(xiàn)程場(chǎng)景下會(huì)存在緩存一致性問(wèn)題。除了這種情況，還有一種硬件問(wèn)題也比較重要。那就是為了使處理器內(nèi)部的運(yùn)算單元能夠盡量的被充分利用，處理器可能會(huì)對(duì)輸入代碼進(jìn)行亂序執(zhí)行處理。這就是處理器優(yōu)化。

除了現(xiàn)在很多流行的處理器會(huì)對(duì)代碼進(jìn)行優(yōu)化亂序處理，很多編程語(yǔ)言的編譯器也會(huì)有類(lèi)似的優(yōu)化，比如Java虛擬機(jī)的即時(shí)編譯器（JIT）也會(huì)做指令重排。

可想而知，如果任由處理器優(yōu)化和編譯器對(duì)指令重排的話(huà)，就可能導(dǎo)致各種各樣的問(wèn)題。

解決方法：內(nèi)存屏障

【3】什么是Java內(nèi)存模型

內(nèi)存模型

為了保證共享內(nèi)存的正確性（可見(jiàn)性、有序性、原子性），內(nèi)存模型定義了共享內(nèi)存系統(tǒng)中多線(xiàn)程程序讀寫(xiě)操作行為的規(guī)范。通過(guò)這些規(guī)則來(lái)規(guī)范對(duì)內(nèi)存的讀寫(xiě)操作，從而保證指令執(zhí)行的正確性。

Java內(nèi)存模型(Java Memory Model，JMM)是java虛擬機(jī)規(guī)范定義的，用來(lái)屏蔽掉java程序在各種不同的硬件和操作系統(tǒng)對(duì)內(nèi)存的訪(fǎng)問(wèn)的差異，這樣就可以實(shí)現(xiàn)java程序在各種不同的平臺(tái)上都能達(dá)到內(nèi)存訪(fǎng)問(wèn)的一致性。

​ Java內(nèi)存模型的主要目標(biāo)是定義程序中變量的訪(fǎng)問(wèn)規(guī)則。即在虛擬機(jī)中將變量存儲(chǔ)到主內(nèi)存或者將變量從主內(nèi)存取出這樣的底層細(xì)節(jié)。需要注意的是這里的變量跟我們寫(xiě)java程序中的變量不是完全等同的。這里的變量是指實(shí)例字段，靜態(tài)字段，構(gòu)成數(shù)組對(duì)象的元素，但是不包括局部變量和方法參數(shù)(因?yàn)檫@是線(xiàn)程私有的)。

Java內(nèi)存模型中涉及到的概念有：

主內(nèi)存：java虛擬機(jī)規(guī)定所有的變量(不是程序中的變量)都必須在主內(nèi)存中產(chǎn)生?？梢耘c前面說(shuō)的物理機(jī)的主內(nèi)存相比，只不過(guò)物理機(jī)的主內(nèi)存是整個(gè)機(jī)器的內(nèi)存，而虛擬機(jī)的主內(nèi)存是虛擬機(jī)內(nèi)存中的一部分。

工作內(nèi)存：java虛擬機(jī)中每個(gè)線(xiàn)程都有自己的工作內(nèi)存，該內(nèi)存是線(xiàn)程私有的?？梢耘c前面說(shuō)的高速緩存相比。線(xiàn)程的工作內(nèi)存保存了線(xiàn)程需要的變量在主內(nèi)存中的副本。虛擬機(jī)規(guī)定，線(xiàn)程對(duì)主內(nèi)存變量的修改必須在線(xiàn)程的工作內(nèi)存中進(jìn)行，不能直接讀寫(xiě)主內(nèi)存中的變量。不同的線(xiàn)程之間也不能相互訪(fǎng)問(wèn)對(duì)方的工作內(nèi)存。如果線(xiàn)程之間需要傳遞變量的值，必須通過(guò)主內(nèi)存來(lái)作為中介進(jìn)行傳遞。

工作內(nèi)存和主內(nèi)存的劃分和 Java 堆，棧，方法區(qū)的劃分不同，兩者基本沒(méi)有關(guān)系，如果勉強(qiáng)對(duì)應(yīng)，則主內(nèi)存可理 解為堆中實(shí)例數(shù)據(jù)部分，工作內(nèi)存則對(duì)應(yīng)棧中部分區(qū)域

【4】volatile的內(nèi)存語(yǔ)義

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

當(dāng)寫(xiě)一個(gè)變量的時(shí)候，JMM會(huì)把該線(xiàn)程的私有內(nèi)存中的共享變量值更新到主內(nèi)存中，并將其他線(xiàn)程中的值置為無(wú)效的；

volatile讀的內(nèi)存語(yǔ)義：

當(dāng)讀一個(gè)變量的時(shí)候，JMM會(huì)先判斷是否私有空間內(nèi)的值是否失效，若失效，線(xiàn)程接下來(lái)會(huì)從主存中讀取變量。

【5】鎖的內(nèi)存語(yǔ)義

當(dāng)線(xiàn)程釋放鎖時(shí)，JMM會(huì)把該線(xiàn)程對(duì)應(yīng)的本地內(nèi)存中的共享變量刷新到主內(nèi)存中。

當(dāng)線(xiàn)程獲取鎖時(shí)，JMM會(huì)把該線(xiàn)程對(duì)應(yīng)的本地內(nèi)存置為無(wú)效。從而使得被監(jiān)視器保護(hù)的臨界區(qū)代碼必須要從主內(nèi)存中去讀取共享變量。

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。

最新評(píng)論