內(nèi)存模型基本概念

計(jì)算機(jī)在執(zhí)行程序時(shí)，每條指令都是在CPU中執(zhí)行的，而執(zhí)行指令過(guò)程中，勢(shì)必涉及到數(shù)據(jù)的讀取和寫入。由于程序運(yùn)行過(guò)程中的臨時(shí)數(shù)據(jù)是存放在主存（物理內(nèi)存）當(dāng)中的，這時(shí)就存在一個(gè)問(wèn)題，由于CPU執(zhí)行速度很快，而從內(nèi)存讀取數(shù)據(jù)和向內(nèi)存寫入數(shù)據(jù)的過(guò)程跟CPU執(zhí)行指令的速度比起來(lái)要慢的多，因此如果任何時(shí)候?qū)?shù)據(jù)的操作都要通過(guò)和內(nèi)存的交互來(lái)進(jìn)行，會(huì)大大降低指令執(zhí)行的速度。因此在CPU里面就有了高速緩存。

并發(fā)編程中的三個(gè)概念

1､原子性

即一個(gè)操作或者多個(gè)操作，要么全部執(zhí)行并且執(zhí)行的過(guò)程不會(huì)被任何因素打斷，要么就都不執(zhí)行。

2､可見(jiàn)性

指當(dāng)多個(gè)線程訪問(wèn)同一個(gè)變量時(shí)，一個(gè)線程修改了這個(gè)變量的值，其他線程能夠立即看得到修改的值。

3､有序性

即程序執(zhí)行的順序按照代碼的先后順序執(zhí)行。一般來(lái)說(shuō)，處理器為了提高程序運(yùn)行效率，可能會(huì)對(duì)輸入代碼進(jìn)行優(yōu)化，它不保證程序中各個(gè)語(yǔ)句的執(zhí)行先后順序同代碼中的順序一致，但是它會(huì)保證程序最終執(zhí)行結(jié)果和代碼順序執(zhí)行的結(jié)果是一致的。

Java內(nèi)存模型

在Java虛擬機(jī)規(guī)范中試圖定義一種Java內(nèi)存模型（Java Memory Model，JMM）來(lái)屏蔽各個(gè)硬件平臺(tái)和操作系統(tǒng)的內(nèi)存訪問(wèn)差異，以實(shí)現(xiàn)讓Java程序在各種平臺(tái)下都能達(dá)到一致的內(nèi)存訪問(wèn)效果。那么Java內(nèi)存模型規(guī)定了哪些東西呢，它定義了程序中變量的訪問(wèn)規(guī)則，往大一點(diǎn)說(shuō)是定義了程序執(zhí)行的次序。注意，為了獲得較好的執(zhí)行性能，Java內(nèi)存模型并沒(méi)有限制執(zhí)行引擎使用處理器的寄存器或者高速緩存來(lái)提升指令執(zhí)行速度，也沒(méi)有限制編譯器對(duì)指令進(jìn)行重排序。也就是說(shuō)，在java內(nèi)存模型中，也會(huì)存在緩存一致性問(wèn)題和指令重排序的問(wèn)題。

注意，圖中的工作內(nèi)存實(shí)際上就對(duì)應(yīng)于硬件層面上的cpu cache。

volatile關(guān)鍵字

它保證了可見(jiàn)性和有序性，但是它不保證原子性。

下面這段話摘自《深入理解Java虛擬機(jī)》：

“觀察加入volatile關(guān)鍵字和沒(méi)有加入volatile關(guān)鍵字時(shí)所生成的匯編代碼發(fā)現(xiàn)，加入volatile關(guān)鍵字時(shí)，會(huì)多出一個(gè)lock前綴指令”

lock前綴指令實(shí)際上相當(dāng)于一個(gè)內(nèi)存屏障（也成內(nèi)存柵欄），內(nèi)存屏障會(huì)提供3個(gè)功能：

1.它確保指令重排序時(shí)不會(huì)把其后面的指令排到內(nèi)存屏障之前的位置，也不會(huì)把前面的指令排到內(nèi)存屏障的后面；即在執(zhí)行到內(nèi)存屏障這句指令時(shí)，在它前面的操作已經(jīng)全部完成；

2.它會(huì)強(qiáng)制將對(duì)緩存的修改操作立即寫入主存；

3.如果是寫操作，它會(huì)導(dǎo)致其他CPU中對(duì)應(yīng)的緩存行無(wú)效。

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

最新評(píng)論