引言

說到多線程,我覺得我們最重要的是要理解一個(gè)臨界區(qū)概念。

舉個(gè)例子，一個(gè)班上1個(gè)女孩子（臨界區(qū)），49個(gè)男孩子（線程），男孩子的目標(biāo)就是這一個(gè)女孩子，就是會(huì)有競(jìng)爭(zhēng)關(guān)系（線程安全問題）。推廣到實(shí)際場(chǎng)景，例如對(duì)一個(gè)數(shù)相加或者相減等等情形，因?yàn)椴僮鲗?duì)象就只有一個(gè)，在多線程環(huán)境下，就會(huì)產(chǎn)生線程安全問題。理解臨界區(qū)概念，我們對(duì)多線程問題可以有一個(gè)好意識(shí)。

Jav內(nèi)存模型（JMM)

談到多線程就應(yīng)該了解一下Java內(nèi)存模型（JMM）的抽象示意圖.下圖：

線程A和線程B執(zhí)行的是時(shí)候，會(huì)去讀取共享變量（臨界區(qū)），然后各自拷貝一份回到自己的本地內(nèi)存，執(zhí)行后續(xù)操作。
JMM模型是一種規(guī)范，就像Java的接口一樣。JMM會(huì)涉及到三個(gè)問題：原子性，可見性，有序性。
所謂原子性。就是說一個(gè)線程的執(zhí)行會(huì)不會(huì)被其他線程影響的。他是不可中斷的。舉個(gè)例子:

int i=1

這個(gè)語(yǔ)句在Jmm中就是原子性的。無(wú)論是一個(gè)線程執(zhí)行還是多個(gè)線程執(zhí)行這個(gè)語(yǔ)句，讀出來(lái)的i就是等于1。那什么是非原子性呢，按道理如果Java的代碼都是原子性，應(yīng)該就不會(huì)有線程問題了啊。其實(shí)JMM這是規(guī)定某些語(yǔ)句是原子性罷了。舉個(gè)非原子性例子：

i ++;

這個(gè)操作就不是原子性的了。因?yàn)樗褪前巳齻€(gè)操作:第一讀取i的值，第二將i加上1，第三將結(jié)果賦值回來(lái)給i，更新i的值。
所謂可見性?？梢娦员硎救绻粋€(gè)值在線程A修改了，線程B就會(huì)馬上知道這個(gè)結(jié)果。

所謂有序性。所謂有序性值的是語(yǔ)意的有序性。就是說代碼順序可能會(huì)發(fā)生變化。因?yàn)橛幸粋€(gè)指令重排機(jī)制。所謂指令重排，他會(huì)改變代碼執(zhí)行順序，為了讓cpu執(zhí)行效率更高。為了防止重排序出錯(cuò)，JMM有個(gè)happen-before規(guī)則，這個(gè)規(guī)則限制了那些語(yǔ)句執(zhí)行在前，那些語(yǔ)句執(zhí)行在后。

Happen-before：

程序順序原則：一個(gè)線程內(nèi)保證語(yǔ)義的串行性

volatile原則：volatile變量的寫發(fā)生在讀之前

鎖規(guī)則：先加鎖再解鎖

傳遞性：a先于b，b先于c，則a必定先于c

線程的start方法先于他的每一個(gè)操作

線程所有的操作先于線程的終結(jié)

對(duì)象的構(gòu)造函數(shù)執(zhí)行、結(jié)束先于finalize()方法。

volatile

進(jìn)入正題，volatile可以保證變量（臨界區(qū)）的可見性以及有序性，但是不能保證原子性。舉個(gè)例子：

public class VolatileTest implements Runnable{
 private static VolatileTest volatileTest = new VolatileTest();
 private static volatile int i= 0;
 public static void main(String[] args) throws InterruptedException {
  for (int j = 0; j < 20; j++) {
   Thread a = new Thread(new VolatileTest());
   Thread b = new Thread(new VolatileTest());
   a.start();b.start();
   a.join();b.join();
   System.out.print(i+"&&");
  }

 }
 
 @Override
 public void run() {
  for (int j = 0; j < 1000; j++) {
   i++;
  }
 }

}

// 輸出結(jié)果
// 2000&&4000&&5852&&7852&&9852&&11852&&13655&&15655&&17655&&19655&&21306  
//&&22566&&24566&&26189&&28189&&30189&&32189&&34189&&36189&&38089&&

有結(jié)果看到有問題，雖然i已經(jīng)添加了volatile關(guān)鍵字，說明volatile關(guān)鍵字不能保證i++的原子性。

那什么場(chǎng)景適合使用volatile關(guān)鍵字

1、輕量級(jí)的“讀-寫鎖”策略

private volatile int value;
public int getValue(){ return value;}
public synchronized void doubleValue(){ value = value*value; }

2.單例模式（雙檢查鎖機(jī)制

private volatile static Singleton instace; 
public static Singleton getInstance(){ // 沒有使用同步方法，而是同步方法塊
 //第一次null檢查 ，利用volatile的線程間可見性，不需要加鎖，性能提高 
 if(instance == null){   
  synchronized(Singleton.class) { //鎖住類對(duì)象，阻塞其他線程
   //第二次null檢查，以保證不會(huì)創(chuàng)建重復(fù)的實(shí)例  
   if(instance == null){  
    instance = new Singleton(); // 禁止重排序
   } 
  }   
 } 
 return instance;

參考

《現(xiàn)代操作系統(tǒng)（第三版）中文版》

《實(shí)戰(zhàn)Java高并發(fā)程序設(shè)計(jì)》

《Java并發(fā)編程的藝術(shù)》

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論