深圳千鋒教育Java學(xué)習(xí)分享

    Java內(nèi)存模型是圍繞著并發(fā)編程中原子性、可見(jiàn)性、有序性這三個(gè)特征來(lái)建立的，那我們依次看一下這三個(gè)特征：

原子性（Atomicity）

    原子性是指一個(gè)操作不能被打斷，要么全部執(zhí)行完畢，要么不執(zhí)行。在這點(diǎn)上有點(diǎn)類(lèi)似于事務(wù)操作，要么全部執(zhí)行成功，要么回退到執(zhí)行該操作之前的狀態(tài)。

基本類(lèi)型數(shù)據(jù)的訪問(wèn)大都是原子操作，long 和double類(lèi)型的變量是64位，但是在32位JVM中，32位的JVM會(huì)將64位數(shù)據(jù)的讀寫(xiě)操作分為2次32位的讀寫(xiě)操作來(lái)進(jìn)行，這就導(dǎo)致了long、double類(lèi)型的變量在32位虛擬機(jī)中是非原子操作，數(shù)據(jù)有可能會(huì)被破壞，也就意味著多個(gè)線(xiàn)程在并發(fā)訪問(wèn)的時(shí)候是線(xiàn)程非安全的。

可見(jiàn)性

一個(gè)線(xiàn)程對(duì)共享變量做了修改之后，-的線(xiàn)程立即能夠看到（感知到）該變量這種修改（變化）。

     Java內(nèi)存模型是通過(guò)將在工作內(nèi)存中的變量修改后的值同步到主內(nèi)存，在讀取變量前從主內(nèi)存刷新最新值到工作內(nèi)存中，這種依賴(lài)主內(nèi)存的方式來(lái)實(shí)現(xiàn)可見(jiàn)性的。

    無(wú)論是普通變量還是volatile變量都是如此，區(qū)別在于：volatile的特殊規(guī)則保證了volatile變量值修改后的新值立刻同步到主內(nèi)存，每次使用volatile變量前立即從主內(nèi)存中刷新，因此volatile保證了多線(xiàn)程之間的操作變量的可見(jiàn)性，而普通變量則不能保證這一點(diǎn)。

     除了volatile關(guān)鍵字能實(shí)現(xiàn)可見(jiàn)性之外，還有syn*onized,Lock，final也是可以的。

    使用syn*onized關(guān)鍵字，在同步方法/同步塊開(kāi)始時(shí)（Monitor Enter）,使用共享變量時(shí)會(huì)從主內(nèi)存中刷新變量值到工作內(nèi)存中（即從主內(nèi)存中讀取最新值到線(xiàn)程私有的工作內(nèi)存中），在同步方法/同步塊結(jié)束時(shí)(Monitor Exit),會(huì)將工作內(nèi)存中的變量值同步到主內(nèi)存中去（即將線(xiàn)程私有的工作內(nèi)存中的值寫(xiě)入到主內(nèi)存進(jìn)行同步）。

    使用Lock接口的最常用的實(shí)現(xiàn)ReentrantLock(重入鎖)來(lái)實(shí)現(xiàn)可見(jiàn)性：當(dāng)我們?cè)诜椒ǖ拈_(kāi)始位置執(zhí)行lock.lock()方法，這和syn*onized開(kāi)始位置（Monitor Enter）有相同的語(yǔ)義，即使用共享變量時(shí)會(huì)從主內(nèi)存中刷新變量值到工作內(nèi)存中（即從主內(nèi)存中讀取最新值到線(xiàn)程私有的工作內(nèi)存中），在方法的最后finally塊里執(zhí)行lock.unlock()方法，和syn*onized結(jié)束位置（Monitor Exit）有相同的語(yǔ)義,即會(huì)將工作內(nèi)存中的變量值同步到主內(nèi)存中去（即將線(xiàn)程私有的工作內(nèi)存中的值寫(xiě)入到主內(nèi)存進(jìn)行同步）。

    final關(guān)鍵字的可見(jiàn)性是指：被final修飾的變量，在構(gòu)造函數(shù)數(shù)一旦初始化完成，并且在構(gòu)造函數(shù)中并沒(méi)有把“this”的引用傳遞出去（“this”引用逃逸是很危險(xiǎn)的，-的線(xiàn)程很可能通過(guò)該引用訪問(wèn)到只“初始化一半”的對(duì)象），那么-線(xiàn)程就可以看到final變量的值。

有序性

    對(duì)于一個(gè)線(xiàn)程的代碼而言，我們總是以為代碼的執(zhí)行是從前往后的，依次執(zhí)行的。這么說(shuō)不能說(shuō)完全不對(duì)，在單線(xiàn)程程序里，確實(shí)會(huì)這樣執(zhí)行；但是在多線(xiàn)程并發(fā)時(shí)，程序的執(zhí)行就有可能出現(xiàn)亂序。用一句話(huà)可以總結(jié)為：在本線(xiàn)程內(nèi)觀察，操作都是有序的；如果在一個(gè)線(xiàn)程中觀察另外一個(gè)線(xiàn)程，所有的操作都是無(wú)序的。前半句是指“線(xiàn)程內(nèi)表現(xiàn)為串行語(yǔ)義（WithIn Thread As-if-Serial Semantics）”,后半句是指“指令重排”現(xiàn)象和“工作內(nèi)存和主內(nèi)存同步延遲”現(xiàn)象。

    Java提供了兩個(gè)關(guān)鍵字volatile和syn*onized來(lái)保證多線(xiàn)程之間操作的有序性,volatile關(guān)鍵字本身通過(guò)加入內(nèi)存屏障來(lái)禁止指令的重排序，而syn*onized關(guān)鍵字通過(guò)一個(gè)變量在同一時(shí)間只允許有一個(gè)線(xiàn)程對(duì)其進(jìn)行加鎖的規(guī)則來(lái)實(shí)現(xiàn)，在單線(xiàn)程程序中，不會(huì)發(fā)生“指令重排”和“工作內(nèi)存和主內(nèi)存同步延遲”現(xiàn)象，只在多線(xiàn)程程序中出現(xiàn)。

在Java語(yǔ)言中，采用的是共享內(nèi)存模型來(lái)實(shí)現(xiàn)多線(xiàn)程之間的信息交換和數(shù)據(jù)同步的。Java內(nèi)存模型的主要目標(biāo)是定義程序中各個(gè)變量的訪問(wèn)規(guī)則，即在JVM中將變量存儲(chǔ)到內(nèi)存和從內(nèi)存中取出變量這樣的底層細(xì)節(jié)。更多Java的學(xué)習(xí)內(nèi)容歡迎大家加入千鋒大家庭一起交流學(xué)習(xí)。

千鋒教育：http://www.mobiletrain.org/

千鋒深圳校區(qū)：http://sz.qfedu.com/?pinzhuan=biaoti

深圳西部硅谷校區(qū)地址：深圳市寶安區(qū)寶安大道5010號(hào)深圳西部硅谷A區(qū)B座605-619

深圳大學(xué)城校區(qū)地址：深圳市南山區(qū)留仙大道1201號(hào)大學(xué)城創(chuàng)客小鎮(zhèn)16棟2樓、3樓

培訓(xùn)咨詢(xún)專(zhuān)線(xiàn)：0755-33582485-801（硅谷校區(qū)）0755-86660670-801（大學(xué)城校區(qū)）

咨  詢(xún)  QQ  : 1660794050

面授課程：全棧HTML5+培訓(xùn)、UI交互設(shè)計(jì)培訓(xùn)、PHP培訓(xùn)、Java+云數(shù)據(jù)培訓(xùn)、大數(shù)據(jù)開(kāi)發(fā)培訓(xùn)、VR/AR/Unity游戲開(kāi)發(fā)培訓(xùn)、Python培訓(xùn)、Linux云計(jì)算培訓(xùn)、全棧軟件測(cè)試培訓(xùn)、Android培訓(xùn)、iOS培訓(xùn)、好程序員

深圳千鋒教育Java學(xué)習(xí)分享是北京千鋒互聯(lián)科技有限公司大連分公司的主要產(chǎn)品,我們的產(chǎn)品負(fù)責(zé)人是李老師,有需要的朋友請(qǐng)直接撥打我的電話(huà)4001869990,我們的地址是北京市海淀區(qū)寶盛北里西區(qū)28號(hào)天豐利商城4層,期待與您的合作!