目錄

• 簡(jiǎn)介
• 三大特性
• volatile關(guān)鍵字

簡(jiǎn)介

JMM內(nèi)存模型，也稱為Java多線程內(nèi)存模型。它和cpu緩存模型類似，是基于cpu緩存模型來(lái)建立。
cpu緩存模型：

java內(nèi)存模型：

當(dāng)Java線程運(yùn)行時(shí)會(huì)先從主內(nèi)存中獲取到數(shù)據(jù)，放到本線程的工作內(nèi)存，在之后的運(yùn)行中用到這些數(shù)據(jù)時(shí)會(huì)先從工作內(nèi)存獲取。如果這些數(shù)據(jù)失效了再?gòu)闹鲀?nèi)存獲取，放到工作內(nèi)存。

public class jmmtest_0 {private static boolean flag = true;public static void main(String[] args) {// TODO 自動(dòng)生成的方法存根new Thread(new Runnable(){@Overridepublic void run() {// TODO 自動(dòng)生成的方法存根while(flag) {}}}).start();try {Thread.sleep(2000);} catch (InterruptedException e) {// TODO 自動(dòng)生成的 catch 塊e.printStackTrace();}new Thread(new Runnable(){@Overridepublic void run() {// TODO 自動(dòng)生成的方法存根System.out.println("轉(zhuǎn)換前:"+flag);flag =false;System.out.println("轉(zhuǎn)換后:"+flag);}}).start();}}

這段代碼可以更好的理解上面所說(shuō)，這段代碼并不會(huì)停止，雖然主內(nèi)存中更新了flag，但第一個(gè)線程用的flag是工作內(nèi)存中的數(shù)據(jù)。

三大特性

可見性：

可見性是一種復(fù)雜的屬性，因?yàn)榭梢娦灾械腻e(cuò)誤總是會(huì)違背我們的直覺。通常，我們無(wú)法確保執(zhí)行讀操作的線程能適時(shí)地看到其他線程寫入的值，有時(shí)甚至是根本不可能的事情。為了確保多個(gè)線程之間對(duì)內(nèi)存寫入操作的可見性，必須使用同步機(jī)制。

可見性，是指線程之間的可見性，一個(gè)線程修改的狀態(tài)對(duì)另一個(gè)線程是可見的。也就是一個(gè)線程修改的結(jié)果。另一個(gè)線程馬上就能看到。比如：用volatile修飾的變量，就會(huì)具有可見性。

在 Java 中 volatile、synchronized 和 final 實(shí)現(xiàn)可見性。

原子性：

原子是世界上的最小單位，具有不可分割性。比如 a=0；（a非long和double類型） 這個(gè)操作是不可分割的，那么我們說(shuō)這個(gè)操作時(shí)原子操作。再比如：a++； 這個(gè)操作實(shí)際是a = a + 1；是可分割的，所以他不是一個(gè)原子操作。非原子操作都會(huì)存在線程安全問題，需要我們使用同步技術(shù)（sychronized）來(lái)讓它變成一個(gè)原子操作。一個(gè)操作是原子操作，那么我們稱它具有原子性。java的concurrent包下提供了一些原子類，我們可以通過(guò)閱讀API來(lái)了解這些原子類的用法。比如：AtomicInteger、AtomicLong、AtomicReference等。

在 Java 中 synchronized 和在 lock、unlock 中操作保證原子性。

有序性：

Java 語(yǔ)言提供了 volatile 和 synchronized 兩個(gè)關(guān)鍵字來(lái)保證線程之間操作的有序性，volatile 是因?yàn)槠浔旧戆敖怪噶钪嘏判颉钡恼Z(yǔ)義，synchronized 是由“一個(gè)變量在同一個(gè)時(shí)刻只允許一條線程對(duì)其進(jìn)行 lock 操作”這條規(guī)則獲得的，此規(guī)則決定了持有同一個(gè)對(duì)象鎖的兩個(gè)同步塊只能串行執(zhí)行。

volatile關(guān)鍵字

在上述代碼中的flag前面加上關(guān)鍵字volatile，程序就可以停止了。

public class jmmtest_0 {private static volatile boolean flag = true;public static void main(String[] args) {// TODO 自動(dòng)生成的方法存根new Thread(new Runnable(){@Overridepublic void run() {// TODO 自動(dòng)生成的方法存根while(flag) {}}}).start(); // try { // Thread.sleep(2000); // } catch (InterruptedException e) { // // TODO 自動(dòng)生成的 catch 塊 // e.printStackTrace(); // }new Thread(new Runnable(){@Overridepublic void run() {// TODO 自動(dòng)生成的方法存根System.out.println("轉(zhuǎn)換前:"+flag);flag =false;System.out.println("轉(zhuǎn)換后:"+flag);}}).start();} }

此外也體現(xiàn)了volatile的可見性。

volatile緩存可見性實(shí)現(xiàn)原理：
底層實(shí)現(xiàn)主要是通過(guò)匯編lock前綴指令，它會(huì)鎖定這塊內(nèi)存區(qū)域的緩存（緩存行鎖定）并寫到主內(nèi)存。

簡(jiǎn)單地說(shuō)就是，當(dāng)有volatile修飾的數(shù)據(jù)發(fā)生改變時(shí)，會(huì)立即寫到主內(nèi)存，并且給數(shù)據(jù)加上鎖，同時(shí)通過(guò)緩存一致性協(xié)議使得其它線程工作內(nèi)存中的該數(shù)據(jù)失效。這樣其它線程只能到主內(nèi)存中獲取數(shù)據(jù)，并且只有在修改數(shù)據(jù)的線程成功將數(shù)據(jù)寫到主內(nèi)存后才能讀取。

總結(jié)

以上是生活随笔為你收集整理的java——JMM内存模型的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。