資訊專欄INFORMATION COLUMN
摘要：物理計(jì)算機(jī)并發(fā)問題在介紹內(nèi)存模型之前，先簡單了解下物理計(jì)算機(jī)中的并發(fā)問題?；诟咚倬彺娴拇鎯?chǔ)交互引入一個(gè)新的問題緩存一致性。寫入作用于主內(nèi)存變量，把操作從工作內(nèi)存中得到的變量值放入主內(nèi)存的變量中。
物理計(jì)算機(jī)并發(fā)問題
在介紹Java內(nèi)存模型之前，先簡單了解下物理計(jì)算機(jī)中的并發(fā)問題。由于處理器的與存儲(chǔ)設(shè)置的運(yùn)算速度有幾個(gè)數(shù)量級的差距，所以現(xiàn)代計(jì)算機(jī)加入一層讀寫速度盡可能接近處理器的高速緩存來作為內(nèi)存與處理器之間的緩沖：將運(yùn)算需要使用到的數(shù)據(jù)復(fù)制到緩存中，讓運(yùn)算能快速進(jìn)行，當(dāng)運(yùn)算結(jié)束后再從緩存同步回內(nèi)存中，這樣處理器就無須等待緩慢的內(nèi)存讀寫了。
基于高速緩存的存儲(chǔ)交互引入一個(gè)新的問題：緩存一致性。在多處理器系統(tǒng)中，每個(gè)處理器都有自己的高速緩存，而它們又共享同一主存，如圖2-1所示
當(dāng)多個(gè)處理器的運(yùn)算任務(wù)都涉及同一塊內(nèi)存區(qū)域時(shí)，將可能導(dǎo)致各自的緩存數(shù)據(jù)不一致，此時(shí)，同步回主內(nèi)時(shí)以誰的緩存數(shù)據(jù)為準(zhǔn)。為了解決一致性問題，需要各個(gè)處理器訪問緩存時(shí)都遵循一些協(xié)議，在讀寫時(shí)要根據(jù)協(xié)議來進(jìn)行操作。
除了增加高速緩存外，為了使處理器內(nèi)部的運(yùn)算單元能夠充分被利用，處理器可能對輸入代碼進(jìn)行亂序執(zhí)行優(yōu)化，處理器會(huì)在計(jì)算之后將亂序執(zhí)行的結(jié)果重組，保證與順序執(zhí)行的結(jié)果一致，但并不保證程序中各個(gè)語句計(jì)算的先后順序與輸入代碼中的一致，因此，如果存在一個(gè)計(jì)算任務(wù)依賴另一個(gè)計(jì)算任務(wù)的中間結(jié)果，那么其順序性并不能靠代碼的先后順序來保證。
Java 內(nèi)存模型 主內(nèi)存與工作內(nèi)存Java內(nèi)存模型規(guī)定了所有變量都存儲(chǔ)在主內(nèi)存中（此處主內(nèi)存與物理計(jì)算機(jī)的主內(nèi)存名字一樣，可以類比，但此處僅是虛擬機(jī)內(nèi)存的一部分），這里的變量包括實(shí)例字段，靜態(tài)字段和構(gòu)成數(shù)組對象的元素，但不包括局部變量和方法參數(shù)，因?yàn)楹笳呤蔷€程私用的。每個(gè)線程還有自己的工作內(nèi)存（可與處理器的高速緩存類比），線程的工作內(nèi)存中保存了被該線程使用到的變量的主內(nèi)存副本拷貝，線程對變量的所有操作（讀寫等）都必須在工作內(nèi)存中，不能直接讀寫主內(nèi)存中的變量。不同的線程之間也不能直接訪問對方工作內(nèi)存中的變量，線程間的變量值的傳遞必須通過主內(nèi)存來完成。 線程、主內(nèi)存、工作內(nèi)存三者的交互關(guān)系如圖2-2
內(nèi)存間交互操作Java內(nèi)存模型定義了8種操作來完成一個(gè)變量如何從主內(nèi)存拷貝到工作內(nèi)存，如何從工作內(nèi)存同步回主內(nèi)存的實(shí)現(xiàn)細(xì)節(jié)。虛擬機(jī)在實(shí)現(xiàn)時(shí)必須保證每一種操作都是原子的，不可再分的（double和long類變量允許例外）。
lock(鎖定) : 作用于主內(nèi)存的變量，把一個(gè)變量標(biāo)識(shí)為一個(gè)線程獨(dú)占的狀態(tài)。
unlock(解鎖)：作用于主內(nèi)存的變量，把一個(gè)處于鎖定狀態(tài)的變量解鎖，解鎖后的變量才可以被其他線程鎖定。
read(讀取) : 作用于主內(nèi)存的變量，把一個(gè)變量的值從主內(nèi)存?zhèn)鬏數(shù)骄€程的工作內(nèi)存，以便隨后的load動(dòng)作使用。
load(載入)：作用于主內(nèi)存的變量，把read操作從主內(nèi)存中得到的變量值放入工作內(nèi)存的變量副本中。
use(使用)：作用于工作內(nèi)存的變量，把工作內(nèi)存中一個(gè)變量的值傳遞給執(zhí)行引擎，每當(dāng)虛擬機(jī)遇到一個(gè)需要使用的變量的值的字節(jié)碼指令時(shí)將會(huì)執(zhí)行這個(gè)操作。
assign(賦值)：作用于工作內(nèi)存變量，把一個(gè)從執(zhí)行引擎接收到的值賦給工作內(nèi)存的變量，每當(dāng)虛擬機(jī)遇到一個(gè)變量賦值的字節(jié)碼指令時(shí)執(zhí)行這個(gè)操作。
store(存儲(chǔ))：作用于工作內(nèi)存變量，把工作內(nèi)存中一個(gè)變量的值傳遞到主內(nèi)存中，以便隨后的write操作使用。
write(寫入)：作用于主內(nèi)存變量，把store操作從工作內(nèi)存中得到的變量值放入主內(nèi)存的變量中。
Java內(nèi)存模型規(guī)定了在執(zhí)行上述8種基本操作時(shí)必須滿足如下規(guī)則：
read 和load ，store和write 必須成對操作
不允許線程丟棄assign操作，變量在工作內(nèi)存中改變后必須把該變化同步回主內(nèi)存
沒有assign操作，不允許變量從工作內(nèi)存同步回主內(nèi)存
新變量只能在主內(nèi)存中誕生，不允許在工作內(nèi)存中直接使用一個(gè)未被初始化的變量（load或assign），即對一個(gè)變量實(shí)時(shí)use和store之前必須先執(zhí)行過assign和load操作
一個(gè)變量同一時(shí)刻只允許一條線程lock操作，但lock操作可以多次，執(zhí)行相同數(shù)量的unlock，變量才會(huì)解鎖
lock操作會(huì)清空工作內(nèi)存副本，執(zhí)行引擎使用前，需要重新執(zhí)行l(wèi)oad或者assign操作初始化變量的值
沒有l(wèi)ock操作，就不允許unlock操作。不允許unlock另一個(gè)線程變量。
unlock操作前必須先store，write操作，同步回主內(nèi)存中。
文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址：http://m.hztianpu.com/yun/65161.html
摘要：內(nèi)存模型是圍繞著在并發(fā)過程中如何處理原子性可見性和有序性這個(gè)特征來建立的，我們來看下哪些操作實(shí)現(xiàn)了這個(gè)特性?？梢娦钥梢娦允侵府?dāng)一個(gè)線程修改了共享變量的值，其他線程能夠立即得知這個(gè)修改。 Java內(nèi)存模型是圍繞著在并發(fā)過程中如何處理原子性、可見性和有序性這3個(gè)特征來建立的，我們來看下哪些操作實(shí)現(xiàn)了這3個(gè)特性。 原子性（atomicity）： 由Java內(nèi)存模型來直接保證原子性變量操作包括...
摘要：禁止指令重排序優(yōu)化。只有當(dāng)線程對變量執(zhí)行的前一個(gè)動(dòng)作是時(shí)，才能對執(zhí)行動(dòng)作并且，只有當(dāng)對變量執(zhí)行的后一個(gè)動(dòng)作是時(shí)，線程才能對變量執(zhí)行動(dòng)作。變量不需要與其他的狀態(tài)變量共同參與不變約束。在某些情況下，的同步機(jī)制性要優(yōu)于鎖。 當(dāng)一個(gè)變量定義為volatile之后，它具備兩種特性： 保證此變量對所有線程的可見性，這里的可見性是指當(dāng)一條線程修改了這個(gè)變量的值，新值對于其他線程來說是可以立即得知的...
摘要：我的是忙碌的一年，從年初備戰(zhàn)實(shí)習(xí)春招，年三十都在死磕源碼，三月份經(jīng)歷了阿里五次面試，四月順利收到實(shí)習(xí)。因?yàn)槲倚睦砗芮宄业哪繕?biāo)是阿里。所以在收到阿里之后的那晚，我重新規(guī)劃了接下來的學(xué)習(xí)計(jì)劃，將我的短期目標(biāo)更新成拿下阿里轉(zhuǎn)正。 我的2017是忙碌的一年，從年初備戰(zhàn)實(shí)習(xí)春招，年三十都在死磕JDK源碼，三月份經(jīng)歷了阿里五次面試，四月順利收到實(shí)習(xí)offer。然后五月懷著忐忑的心情開始了螞蟻金...
摘要：基礎(chǔ)問題的的性能及原理之區(qū)別詳解備忘筆記深入理解流水線抽象關(guān)鍵字修飾符知識(shí)點(diǎn)總結(jié)必看篇中的關(guān)鍵字解析回調(diào)機(jī)制解讀抽象類與三大特征時(shí)間和時(shí)間戳的相互轉(zhuǎn)換為什么要使用內(nèi)部類對象鎖和類鎖的區(qū)別，，優(yōu)缺點(diǎn)及比較提高篇八詳解內(nèi)部類單例模式和 Java基礎(chǔ)問題 String的+的性能及原理 java之yield(),sleep(),wait()區(qū)別詳解-備忘筆記 深入理解Java Stream流水...
摘要：基礎(chǔ)問題的的性能及原理之區(qū)別詳解備忘筆記深入理解流水線抽象關(guān)鍵字修飾符知識(shí)點(diǎn)總結(jié)必看篇中的關(guān)鍵字解析回調(diào)機(jī)制解讀抽象類與三大特征時(shí)間和時(shí)間戳的相互轉(zhuǎn)換為什么要使用內(nèi)部類對象鎖和類鎖的區(qū)別，，優(yōu)缺點(diǎn)及比較提高篇八詳解內(nèi)部類單例模式和 Java基礎(chǔ)問題 String的+的性能及原理 java之yield(),sleep(),wait()區(qū)別詳解-備忘筆記 深入理解Java Stream流水...
閱讀 1659·2021-10-25 09:44
閱讀 3029·2021-09-04 16:48
閱讀 1746·2019-08-30 15:44
閱讀 2603·2019-08-30 15:44
閱讀 1805·2019-08-30 15:44
閱讀 2920·2019-08-30 14:14
閱讀 3039·2019-08-30 13:00
閱讀 2256·2019-08-30 11:09
