同步鎖synchronized追本溯源

来源:https://www.cnblogs.com/jiagooushi/archive/2022/08/09/16565664.html
-Advertisement-
Play Games

1 同步鎖synchronized追本溯源 引言 提到synchronized,無論是在開發過程中和麵試過程中常常遇到的問題 synchronized;也算是重災區了 為什麼說是重災區? 因為他不像其他的代碼,是有源碼,可以查看的 synchronized是一個關鍵字。直接是找不到源代碼的 接下來 ...


1 同步鎖synchronized追本溯源

引言
提到synchronized,無論是在開發過程中和麵試過程中常常遇到的問題
synchronized;也算是重災區了

為什麼說是重災區?
因為他不像其他的代碼,是有源碼,可以查看的
synchronized是一個關鍵字。直接是找不到源代碼的

接下來
我們會通過java記憶體指令碼和c++源碼(HotSpot虛擬機源碼)
給大家剖析一下synchronized到底是怎麼實現鎖同步的

1.1 synchronized場景回顧

目標:

synchronized回顧

概念

synchronized:是Java中的關鍵字,是一種同步鎖。

syn屬於哪種鎖分類:

  • 樂觀鎖、悲觀鎖(syn)

  • 獨享鎖(syn)、共用鎖

  • 公平鎖、非公平鎖(syn)

  • 互斥鎖(syn)、讀寫鎖

  • 可重入鎖(syn)

tips:

synchronized JDK1.6鎖升級 : 無鎖 -> 偏向鎖 (非鎖)-> 輕量級鎖 -> 重量級鎖(1.6前都是)

多線程特性回顧(面試常問)

原子性:指一個操作或者多個操作,要麼全部執行並且執行的過程不會被任何因素打斷,要麼就都不執行

可見性:是指多個線程訪問一個資源時,該資源的狀態、值信息等對於其他線程都是可見的。

有序性:指程式中代碼的執行順序 (編譯器會重排)

sync可以完整實現以上三個特性來保障線程安全性,cas就無法達到原子性。

這是什麼原理呢?

1.2 反彙編尋找鎖實現原理

目標

通過javap反彙編看一下synchronized到底是怎麼加鎖的

com.syn.BTest

public class BTest {
    private static Object object = new Object();

     public synchronized void testMethod() {
        System.out.println("Hello World -synchronized method ");
    }

    public static void main(String[] args) {
        synchronized (object) {
            System.out.println("Hello World -synchronized block ");
            
        }
    }
}

反彙編後,我們將到什麼?

file

JDK自帶的一個工具: javap ,對位元組碼進行反彙編:

//com.syn.BTest 
javap -v -c BTest.class

-v:輸出附加信息

-c:對代碼進行反彙編

反彙編後

file

解釋
被synchronized修飾的代碼塊,多了兩個指令
monitorenter、monitorexit
即JVM使用monitorenter和monitorexit兩個指令實現同步

file

解釋

方法調用時會檢查方法的 ACC_SYNCHRONIZED 訪問標誌是否被設置,如果設置了,執行線程將先獲取monitor,獲取成功之後才能執行方法體,方法執行完後再釋放monitor。也就是jvm會隱式調用monitorenter和
monitorexit。

  • monitorenter原理

monitorenter首先我們來看一下JVM規範中對於monitorenter的描述

https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html#jvms-6.5.monitorenter
monitorenter :
Each object is associated with a monitor. A monitor is locked if and only if it has an owner. The thread that executes monitorenter attempts to gain ownership of the monitor associated with objectref, as follows:
• If the entry count of the monitor associated with objectref is zero, the thread enters the monitor and sets its entry count to one. The thread is then the owner of the monitor.
• If the thread already owns the monitor associated with objectref, it reenters the monitor, incrementing its entry count.
• If another thread already owns the monitor associated with objectref, the thread blocks until the monitor’s entry count is zero, then tries again to gain ownership.

monitorexit: 
The thread that executes monitorexit must be the owner of the monitor associated with the instance referenced by objectref.
The thread decrements the entry count of the monitor associated with objectref. If as a result the value of the entry count is zero, the thread exits the monitor and is no longer its owner. Other threads that are blocking to enter the monitor are allowed to attempt to do so.

翻譯如下:

  • monitorenter

每一個對象都會和一個監視器monitor關聯。

監視器被占用時會被鎖住,其他線程無法來獲取該monitor。

當JVM執行某個線程的某個方法內部的monitorenter時,它會嘗試去獲取當前對象對應
的monitor的所有權。其過程如下:

  1. 若monior的進入數為0,線程可以進入monitor,並將monitor的進入數置為1。當前線程成為
    monitor的owner(所有者)

  2. 若線程已擁有monitor的所有權,允許它重入monitor,則進入monitor的進入數加1

  3. 若其他線程已經占有monitor的所有權,那麼當前嘗試獲取monitor的所有權的線程會被阻塞,直
    到monitor的進入數變為0,才能重新嘗試獲取monitor的所有權。

  • monitorexit
  1. 能執行monitorexit指令的線程一定是擁有當前對象的monitor的所有權的線程。

  2. 執行monitorexit時會將monitor的進入數減1。當monitor的進入數減為0時,當前線程退出
    monitor,不再擁有monitor的所有權,此時其他被這個monitor阻塞的線程可以嘗試去獲取這個
    monitor的所有權
    monitorexit釋放鎖。
    monitorexit插入在方法結束處和異常處,JVM保證每個monitorenter必須有對應的monitorexit。

tips(重要)

簡單的理解,monitor就是jvm底層的c++代碼中的一個對象ObjectMonitor。

這個對象里有個計數器,來記錄當前對象鎖有沒有人用,用了多少次。

以及一些隊列,存放調度一些需要這把鎖的線程。

關於monitor在c++里的結構,我們下文再詳細說。

總結:

1、synchronized是靠ObjectMonitor來控制鎖的

2、需要這把鎖的線程在monitor的隊列里被各種安排

3、拿到鎖的線程被monitor標記,計數加加,釋放鎖,需要將計數器減減操作

1.3 Monitor詳解

目標:Monitor的位置

file

接下來我們看它的詳細內部結構,以及如何運作的。

1.3.1 Monitor是什麼

目標: 通過JVM虛擬機源碼分析synchronized監視器Monitor到底是什麼

tips:

c++源碼瞭解即可,原理要明白

面試時很重要,面試過去了就不重要!(瞎說什麼大實話)

在HotSpot虛擬機中,monitor監視器是由ObjectMonitor實現的。

構造器代碼src/share/vm/runtime/objectMonitor.hpp

hpp可以include包含cpp的東西,兩者都是c++的代碼

//構造器
ObjectMonitor() {
  _header = NULL;
  _count = 0; 
  _waiters = 0,
  _recursions = 0; // 線程的重入次數
  _object = NULL; 
  _owner = NULL; // 當前線程,拿到鎖的那位
  _WaitSet = NULL; // 等待隊列,調wait的線程在這裡
  _WaitSetLock = 0 ;
  _Responsible = NULL;
  _succ = NULL;
  _cxq = NULL; // 競爭隊列,掙不到鎖先進這裡(可自旋)
  FreeNext = NULL;
  _EntryList = NULL; // 阻塞隊列,來自cxq(調unlock時)或者waitSet(調notify時)
  _SpinFreq = 0;
  _SpinClock = 0;
  OwnerIsThread = 0;
}

留心這三個列表:

1)cxq(競爭列表)

cxq是一個單向鏈表。被掛起線程等待重新競爭鎖的鏈表, monitor 通過CAS將包裝成ObjectWaiter寫入到列表的頭部。為了避免插入和取出元素的競爭,所以Owner會從列表尾部取元素。所以這個東西可以理解為一上來競爭沒拿到鎖的在這裡臨時待一會(1級緩存)。

2)EntryList(鎖候選者列表)

EntryList是一個雙向鏈表。當EntryList為空,cxq不為空,Owener會在unlock時,將cxq中的數據移動到EntryList。並指定EntryList列表頭的第一個線程為OnDeck線程,其他線程就待在裡面。所以這個東西可以認為是二次競爭鎖還沒拿到的(裡面有一個馬上就會拿到)。(2級緩存)

備註:EntryList跟cxq的區別

在cxq中的隊列可以繼續自旋等待鎖,若達到自旋的閾值仍未獲取到鎖則會調用park方法掛起。而EntryList中的線程都是被掛起的線程。

3)WaitList

WatiList是Owner線程地調用wait()方法後進入的線程。進入WaitList中的線程在notify()/notifyAll()調用後會被加入到EntryList。

過程總結:

  • 等待鎖的線程會待在_cxq和entry set隊列中,具體哪個和當前線程取鎖的情況有關
  • entry set的表頭線程獲取到對象的monitor後進入_Owner區域並把monitor中的_owner變數設置為自己,同時monitor中的計數器_count加1
  • 若線程調用wait()方法,將釋放當前持有的monitor,_owner變數恢復為null,_count自減1,同時該線程進入_WaitSet集合中等待被喚醒。
  • 若當前線程執行完畢也將釋放monitor(鎖)並複位變數的值,以便其他線程進入獲取monitor(鎖)。

1.3.2 詳細流程圖(瞭解)

monitorenter

monitorenter指令執行位置:

JVM源碼:src/share/vm/interpreter/interpreterRuntime.cpp

JVM函數入口:InterpreterRuntime::monitorenter

最終調用:src/share/vm/runtime/objectMonitor.cpp中的 ObjectMonitor::enter

file

monitorexit

執行monitorexit指令位置:

代碼文件:src/share/vm/runtime/objectMonitor.cpp

調用函數:ObjectMonitor::exit

file

本文由傳智教育博學谷 - 狂野架構師教研團隊發佈
如果本文對您有幫助,歡迎關註和點贊;如果您有任何建議也可留言評論或私信,您的支持是我堅持創作的動力
轉載請註明出處!


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Java多線程基礎入門 參考:b站-狂神-多線程詳解 練習與演示代碼見gitee:https://gitee.com/yuhaozhee/java-learning-record ...
  • 1.ObjectPostProcessor 使用 前面介紹了 ObjectPostProcessor的基本概念。相信讀者已經明白,所有的過濾器都由對應的配置類來負責創建,配置類在將過濾器創建成功之後,會調用父類的postProcess方法,該 方法最終會調用到CompositeObjectPostP ...
  • 0. 前言 寫完這篇文章後發現自己對於 DP 的優化一竅不通,所以補了補 DP 的一些優化,寫篇 blog 總結一下。 1. 單調隊列/單調棧優化 1.2 演算法介紹 這應該算是最基礎的 DP 優化方法了。 顧名思義,單調隊列/單調棧優化 DP 就是保持容器內元素的單調性,以達成減少冗餘狀態的目的。 ...
  • 目錄 一.簡介 二.效果演示 三.源碼下載 四.猜你喜歡 零基礎 OpenGL (ES) 學習路線推薦 : OpenGL (ES) 學習目錄 >> OpenGL ES 基礎 零基礎 OpenGL (ES) 學習路線推薦 : OpenGL (ES) 學習目錄 >> OpenGL ES 轉場 零基礎 O ...
  • 前言 在Python中 in 操作符可以用於判斷某個元素是否存在於當前對象中,而對於不同的Python對象,使用 in 操作符的處理效率是不一樣的。 今天我們主要針對 4 種不同的Python數據類型進行學習:list列表、tuple元組、set集合、dict字典。 測試過程 我們用於測試的 4 種 ...
  • 多商戶商城系統,也稱為B2B2C(BBC)平臺電商模式多商家商城系統。可以快速幫助企業搭建類似拼多多/京東/天貓/淘寶的綜合商城。 多商戶商城系統支持商家入駐加盟,同時滿足平臺自營、旗艦店等多種經營方式。平臺可以通過收取商家入駐費,訂單交易服務費,提現手續費,簡訊通道費等多手段方式,實現整體盈利。 ...
  • 作者:清茶淡粥醬 鏈接:https://juejin.cn/post/7026734817853210661 Spring Security簡介 Spring Security 是一種高度自定義的安全框架,利用(基於)SpringIOC/DI和AOP功能,為系統提供了聲明式安全訪問控制功能,減少了為 ...
  • 精華筆記: 介面: 是一種數據類型(引用類型) 由interface定義 只能包含常量和抽象方法(所有數據預設都是常量,所有方法預設都是抽象的) 介面不能被實例化 介面是需要被實現/繼承的,實現/派生類:必須重寫所有抽象方法 一個類可以實現多個介面,用逗號分隔。若又繼承又實現時,應先繼承後實現。 接 ...
一周排行
    -Advertisement-
    Play Games
  • 經常看到有群友調侃“為什麼搞Java的總在學習JVM調優?那是因為Java爛!我們.NET就不需要搞這些!”真的是這樣嗎?今天我就用一個案例來分析一下。 昨天,一位學生問了我一個問題:他建了一個預設的ASP.NET Core Web API的項目,也就是那個WeatherForecast的預設項目模 ...
  • 很多軟體工程師都認為MD5是一種加密演算法,然而這種觀點是不對的。作為一個 1992 年第一次被公開的演算法,到今天為止已經被髮現了一些致命的漏洞。本文討論MD5在密碼保存方面的一些問題。 ...
  • Maven可以使我們在構建項目時需要用到很多第三方類jar包,如下一些常用jar包 而maven的出現可以讓我們避免手動導入jar包出現的某些問題,它可以自動下載那須所需要的jar包 我們只需要在創建的maven項目自動生成的pom.xml中輸入如下代碼 <dependencies> <!--ser ...
  • 來源:https://developer.aliyun.com/article/694020 非同步調用幾乎是處理高併發Web應用性能問題的萬金油,那麼什麼是“非同步調用”? “非同步調用”對應的是“同步調用”,同步調用指程式按照定義順序依次執行,每一行程式都必須等待上一行程式執行完成之後才能執行;非同步調 ...
  • 1.面向對象 面向對象編程是在面向過程編程的基礎上發展來的,它比面向過程編程具有更強的靈活性和擴展性,所以可以先瞭解下什麼是面向過程編程: 面向過程編程的核心是過程,就是分析出實現需求所需要的步驟,通過函數一步一步實現這些步驟,接著依次調用即可,再簡單理解就是程式 從上到下一步步執行,從頭到尾的解決 ...
  • 10瓶毒藥其中只有一瓶有毒至少需要幾隻老鼠可以找到有毒的那瓶 身似浮雲,心如飛絮,氣若游絲。 用二分查找和二進位位運算的思想都可以把死亡的老鼠降到最低。 其中,二進位位運算就是每一隻老鼠代表一個二進位0或1,0就代表老鼠存活,1代表老鼠死亡;根據數學運算 23 = 8、24 = 16,那麼至少需要四 ...
  • 一、Kafka存在哪些方面的優勢 1. 多生產者 可以無縫地支持多個生產者,不管客戶端在使用單個主題還是多個主題。 2. 多消費者 支持多個消費者從一個單獨的消息流上讀取數據,而且消費者之間互不影響。 3. 基於磁碟的數據存儲 支持消費者非實時地讀取消息,由於消息被提交到磁碟,根據設置的規則進行保存 ...
  • 大家好,我是陶朱公Boy。 前言 上一篇文章《關於狀態機的技術選型,最後一個真心好》我跟大家聊了一下關於”狀態機“的話題。從眾多技術選型中我也推薦了一款阿裡開源的狀態機—“cola-statemachine”。 於是就有小伙伴私信我,自己項目也考慮引入這款狀態機,但網上資料實在太少,能不能系統的介紹 ...
  • 使用腳本自動跑實驗(Ubuntu),將實驗結果記錄在文件中,併在實驗結束之後將結果通過郵件發送到郵箱,最後在windows端自動解析成excel表格。 ...
  • 話說在前面,我不是小黑子~ 我是超級大黑子😏 表弟大周末的跑來我家,沒事幹天天騷擾我,搞得我都不能跟小姐姐好好聊天了,於是為了打發表弟,我決定用Python做一個小游戲來消耗一下他的精力,我思來想去,決定把他變成小黑子,於是做了一個坤坤打籃球的游戲,沒想到他還挺愛玩的~ 終於解放了,於是我把游戲寫 ...