java synchronize - 線程同步機(jī)制

EscapedDog 發(fā)布于2019-08-16 13:49 / 1938人閱讀

摘要：就像是擁有一個(gè)特殊房間的建筑，在同一時(shí)間里，這間特殊的房間只能被一個(gè)線程擁有。當(dāng)線程獲得這就是一個(gè)信號(hào)，線程開始擁有的所有權(quán)，能夠繼續(xù)執(zhí)行。注意到的以及要喚醒的對(duì)象就處于換句話說，如果退出的線程沒有執(zhí)行那么只有能夠獲取執(zhí)行的權(quán)限。

Java支持同步機(jī)制的是Monitor。Monitor就像是擁有一個(gè)特殊房間的建筑，在同一時(shí)間里，這間特殊的房間只能被一個(gè)線程擁有。

enter the monitor:進(jìn)入這幢建筑

acquiring the monitor:進(jìn)入建筑里的特殊房間

owning the monitor:擁有特殊房間的所有權(quán)

releasing the monitor:離開特殊的房間

exiting the monitor:離開這幢建筑

Monitor支持兩種同步機(jī)制：

互斥：通過對(duì)象鎖，使得多線程處理能互相獨(dú)立的處理共享數(shù)據(jù)，而不會(huì)發(fā)生線程不安全

協(xié)作：通過對(duì)象的wait和notify方法實(shí)現(xiàn)，比如一個(gè)讀的線程從緩沖區(qū)讀數(shù)據(jù)，另一個(gè)線程負(fù)責(zé)往緩沖區(qū)寫數(shù)據(jù)，如果緩沖區(qū)沒有數(shù)據(jù)，則讀線程阻塞，有數(shù)據(jù)時(shí)，讀線程就要開始消費(fèi)

wait-notify又可以稱作’Singal-continue’。當(dāng)線程獲得 notify,這就是一個(gè)信號(hào)，線程開始擁有 monitor的所有權(quán)，能夠 繼續(xù) 執(zhí)行 monitor region。執(zhí)行完之后，此線程釋放monitor,一個(gè)等待的線程則會(huì)獲得一樣的機(jī)會(huì)

Monitor的模型如下：

1 表示線程剛到達(dá) monitor region ,即 enter the monitor
2 表示線程獲取 monitor的所有權(quán)，即acquiring the monitor
3 表示線程執(zhí)行了 wait,交出所有權(quán)，即releasing the monitor
4 表示原來擁有 monitor 的線程執(zhí)行了 notify ,恰好被這個(gè)線程獲取所有權(quán)
5 表示線程執(zhí)行完了 monitor region,即exiting the monitor

Monitor特意把等待的線程分成了兩個(gè)部分，Entry Set和Wait Set,Entry Set表示線程剛執(zhí)行到 Monitor region,而Wait Set則是由于線程執(zhí)行了wait方法而進(jìn)入的區(qū)域。注意到Object的 notify 以及 notifyAll 要喚醒的對(duì)象就處于 Wait Set,換句話說，如果退出 monitor 的線程沒有執(zhí)行 notify/notifyAll ,那么只有 Entry Set 能夠獲取執(zhí)行的權(quán)限 。如果執(zhí)行了，則Entry Set和Wait Set中所有的線程都會(huì)競爭誰最終能夠獲取 monitor 的能力一個(gè)線程要離開Wait Set,要么是原擁有 monitor 的線程執(zhí)行了 notify/notifyAll,要么是wait的時(shí)間到了，JVM 會(huì)觸發(fā)一個(gè)notify

對(duì)象鎖

Java能夠共享的數(shù)據(jù)包括兩部分：

實(shí)例對(duì)象：存儲(chǔ)在堆中

類實(shí)例：存儲(chǔ)在方法區(qū)，當(dāng)鎖一個(gè)類的時(shí)候，實(shí)際上就是鎖類的 Class 對(duì)象

對(duì)于局部變量，他們存儲(chǔ)在棧中，屬于線程私有，不會(huì)存在共享一說。
單個(gè)線程可以同時(shí)鎖住一個(gè)對(duì)象多次，JVM會(huì)記住鎖住的總次數(shù)，每一次釋放鎖，總次數(shù)減一，只有在這個(gè)次數(shù)變成0的時(shí)候，這個(gè)鎖才有可能被其它線程持有

monitor region 標(biāo)識(shí)的方式

同步代碼塊

同步方法

JVM使用的指令為

monitorenter 獲取引用對(duì)象的鎖

monitorexit 是否在monitorenter處獲得的對(duì)象鎖

同步代碼塊

public class SynchronizedTest {
    private  int i=0;
    public void syn(){
        synchronized (this){
            i++;
        }
    }
}

javap -c SynchronizedTest.class 執(zhí)行后對(duì)應(yīng)的指令如下

public class main.lockTest.SynchronizedTest {
  public main.lockTest.SynchronizedTest();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."":()V
       4: aload_0
       5: iconst_0
       6: putfield      #2                  // Field i:I
       9: return

  public void syn();
    Code:
       0: aload_0    // aload_0 屬于 aload_ 系列指令的一種。表示獲取一個(gè)本地變量的引用，然后放入棧中
       1: dup        //彈出棧頂?shù)膯巫止?jié)，然后入棧兩次，相當(dāng)于拷貝了棧頂元素
       2: astore_1        // astore_系列指令的一種。從棧頂獲取對(duì)象的引用，并存入本地變量
       3: monitorenter      //獲取引用對(duì)象的鎖
       4: aload_0
       5: dup
       6: getfield      #2                  // Field i:I  從棧中獲取對(duì)象的引用，然后得到它的值
       9: iconst_1        // iconst_ 的一種，將常量放入棧中
      10: iadd            // 從操作棧中彈出兩個(gè)integer,把他們相加，然后將結(jié)果重新存入棧中
      11: putfield      #2                  // Field i:I  將值存入引用對(duì)象
      14: aload_1
      15: monitorexit    // 釋放引用對(duì)象的鎖
      16: goto          24 // 跳轉(zhuǎn)到下一個(gè)指令的位置
      19: astore_2
      20: aload_1
      21: monitorexit
      22: aload_2
      23: athrow    //從操作棧中刪掉對(duì)象的引用，并拋出這個(gè)對(duì)象的異常
      24: return     //執(zhí)行返回
    Exception table:
       from    to  target type
           4    16    19   any
          19    22    19   any
}

注意到，如果拋出了異常，也會(huì)執(zhí)行 monitorexit 。印證了無論如何，只要離開了monitor region，鎖都會(huì)被釋放

同步方法

public class SynchronizedTest {
    private  int i=0;
    public synchronized void syn(int i){
            i++;
    }
}

對(duì)應(yīng)指令如下

public class main.lockTest.SynchronizedTest {
  public main.lockTest.SynchronizedTest();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."":()V
       4: aload_0
       5: iconst_0
       6: putfield      #2                  // Field i:I
       9: return

  public synchronized void syn(int);
    Code:
       0: iinc          1, 1
       3: return
}

可以看到兩個(gè)區(qū)別

在方法上使用 synchronized 沒有用到 monitorenter / monitorexit 指令。這是因?yàn)樵诜椒ㄉ鲜褂胹ynchronized并不需要一個(gè)本地變量槽(slot)來存儲(chǔ)鎖對(duì)象

方法上使用沒有創(chuàng)建一個(gè) 異常表

synchronize原理
java 虛擬機(jī)指令

云服務(wù)器 GPU云服務(wù)器多線程synchronized Java多線程同步 java多線程同步鎖多線程 java 同步鎖

文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。

轉(zhuǎn)載請注明本文地址：http://www.ezyhdfw.cn/yun/72389.html

發(fā)表評(píng)論

登陸后可評(píng)論

0條評(píng)論

EscapedDog

男|高級(jí)講師

我要關(guān)注我要私信

TA的文章

C++ 程序設(shè)計(jì)：處理含限制條件的好友請求（LeetCode：2076）

閱讀 1045·2021-11-23 09:51
關(guān)于JAVA中順序IO的基本操作

閱讀 3556·2021-11-22 12:04
掃雷（C語言版）

閱讀 2806·2021-11-11 16:55
CSS 入門簡介

閱讀 3087·2019-08-30 15:55
禁止瀏覽器自動(dòng)填充到表單

閱讀 3308·2019-08-29 14:22
CSS學(xué)習(xí)筆記(十五) 使用map標(biāo)簽實(shí)現(xiàn)單圖多熱點(diǎn)

閱讀 3421·2019-08-28 18:06
手?jǐn)]一個(gè)JS深拷貝函數(shù)

閱讀 1294·2019-08-26 18:36
ES6小結(jié)

閱讀 2184·2019-08-26 12:08

亚洲中字慕日产2020,大陆极品少妇内射AAAAAA,无码av大香线蕉伊人久久,久久精品国产亚洲av麻豆网站

資訊專欄INFORMATION COLUMN

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺(tái)、長期優(yōu)惠，快來選購！

java synchronize - 線程同步機(jī)制

相關(guān)文章

JAVA多線程機(jī)制解析-volatile&synchronized

***Java* 中的 Monitor *機(jī)制***

Java中的synchronized關(guān)鍵字

***Java多線程學(xué)習(xí)（四）等待/通知（wait/notify）機(jī)制***

**值得保存的 synchronized 關(guān)鍵字總結(jié)**

發(fā)表評(píng)論

0條評(píng)論

EscapedDog

男|高級(jí)講師

TA的文章

C++ 程序設(shè)計(jì)：處理含限制條件的好友請求（LeetCode：2076）

關(guān)于JAVA中順序IO的基本操作

掃雷（C語言版）

CSS 入門簡介

禁止瀏覽器自動(dòng)填充到表單

CSS學(xué)習(xí)筆記(十五) 使用map標(biāo)簽實(shí)現(xiàn)單圖多熱點(diǎn)

手?jǐn)]一個(gè)JS深拷貝函數(shù)

ES6小結(jié)

最新活動(dòng)

資訊專欄INFORMATION COLUMN

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺(tái)、長期優(yōu)惠，快來選購！

java synchronize - 線程同步機(jī)制

相關(guān)文章

發(fā)表評(píng)論

0條評(píng)論

男|高級(jí)講師

TA的文章

最新活動(dòng)

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺(tái)、長期優(yōu)惠，快來選購！