Java的兩把鎖淺析

来源:https://www.cnblogs.com/alkaid96/archive/2020/06/18/13160064.html
-Advertisement-
Play Games

筆者最近在學習Java多線程的一些基礎知識,淺談一些自己關於Java鎖的一些理解 Java鎖是用來乾什麼的? 我們做一個程式,終歸的目的,就是想讓程式按我們想要的方式來,但是在多線程場景下,很多自己很難預計的到的事情會發生,導致數據的不安全,這時候我們會想到一些方法來解決數據不一致的問題: 避免數據 ...


筆者最近在學習Java多線程的一些基礎知識,淺談一些自己關於Java鎖的一些理解

Java鎖是用來乾什麼的?

我們做一個程式,終歸的目的,就是想讓程式按我們想要的方式來,但是在多線程場景下,很多自己很難預計的到的事情會發生,導致數據的不安全,這時候我們會想到一些方法來解決數據不一致的問題:

  1. 避免數據不一致(ThreadLocal)
  2. 排隊
  3. 投票

而加鎖就是排隊的一種實現方式。

Java鎖都有什麼?

Java的鎖大概分為兩種

  1. Synchronized
  2. Lock

從JVM角度看Synchronized

今天我們避過Synchronized關鍵字的三種使用方法,避開monitorenter指令和monitorexit指令,避開ACC_SYNCHRONIZED標誌這些話題不談,只說說Synchronized關鍵字到底做了什麼。

本質上來說,Synchronized底層是基於Lock-Free隊列的,我們從無到有再到優化來剖析一下Synchronized關鍵字。

首先我們必須要明確,在給對象監視器加上Synchronized關鍵字以後,當有多個線程同時來請求這個對象監視器的時候,對象監視器會將所有的線程分成幾類來處理 大家可以想象一個場景:就是很多人同時去搶一個Offer的時候,會根據你的流程狀態把面試人員分成很多批

  1. 競爭隊列(筆面試流程中)

首先我們會把所有線程放進競爭隊列,這個競爭隊列嚴格意義上並不是Queue,而是一個基於Node和next指針的一個鏈表結構,所有入隊新進線程會放在鏈表頭節點的位置,而所有出隊的線程則是在鏈表尾節點的位置進行CAS的出隊操作,很明顯這是一個Lock-Free隊列,而能從競爭隊列中拿走線程的線程只有Owner線程,Owner線程就是正在拿著鎖的線程,它會選擇合適的候選人線程,然後把它們放進Entry-List。

  1. Entry-List(備胎池)

就像某公司的錄用排序中一樣,進了該隊列並不是說一定能拿到資源,讓線程進去這個隊列只是為了避免線程頻繁的在競爭隊列隊尾衝突,然後進入錄用池以後,會 (非公平) 隨機的拿一個人的簡歷進行錄用(也就是設置成Ready線程),這個線程如果拿到了Offer就變成Owner線程 (上岸) ,如果沒有拿到那就回到錄用池,礙於公平的情面,會把這個線程放在Entry-List的隊頭。

  1. WaitSet(考慮Offer的池子)

如果拿到Offer的人(Owner線程)說wait!wait!我要考慮一下,(調用wait()方法)那這個線程便會被扔進waitSet隊列,當你考慮清楚以後會被重新塞進Entry-List進行流程。

  1. OnDeck(就是Ready線程)(口頭Offer)

正在競爭鎖的線程就是Ready線程(非公平)。

  1. Owner線程(拿到Offer的人)
  2. !Owner線程(毀Offer)

自旋鎖

我們必須要想清楚一點,倘若將和HR交流/聯繫不上看作是用戶態/阻塞態,競爭隊列、備胎池、考慮Offer的池子這三個批次的人歸根到底是沒有Offer的,處於這些批次的人是處於阻塞態的(一般聯繫不上HR的),為了讓自己的應聘流程沒有那麼慢,我們要經常催促HR,也就是輪詢HR到底Offer輪不輪得到我,這個輪詢周期非常值得考究,因為輪詢會占住HR不放,所以當輪詢很多次結果以後,會斷開聯繫,也就是進入阻塞態。

翻譯成鎖就是,為了避免線程進入阻塞態,得不到鎖的線程先自旋,但是自旋一段時間後如果獲得不了鎖,就進入阻塞態

當然面試過程一定是想要公平,卻非公平的

不公平的地方在哪裡呢?

經常詢問HR的人可能會引起註意,直接被錄取,這對一直在競爭隊列排隊的人不公平,甚至有可能直接搶走Offer,對處於口頭Offer狀態的人不公平

線程進入隊列前先嘗試自旋,如果直接獲得鎖,對等待隊列的線程和Ready線程不公平

偏向鎖

當然上面的面試場景一般都是大廠場景,很多小廠願意去面試的人沒幾個,甚至只有你一個(開心嗎?),當你第一次能面試過這家以後,可以再來面試, (可重入) ,再來面試總是能過的(當然我們的假設是別人不要面子),也就是無競爭下,希望你不要再走面試流程了,直接過就可以了,這時候就設計了偏向鎖。

偏向鎖直接去掉了進入流程 加鎖/解鎖 的過程,因為可重入鎖雖然很好,但是加鎖/解鎖過程中設計的CAS操作其實是很影響性能的。

CAS操作為什麼影響性能呢?

首先CAS在失敗的時候的自旋操作會占住CPU資源,其次,CAS會造成一些本地延遲,因為在多處理器場景下,每個核會有自己的L1緩存,然後通過匯流排和主存連接起來,如果Core1改變了一些值,Core2拿到這個數據的時候數據會失效,最新的數據同步通信過程會產生緩存一致性流量,太大的緩存一致性流量會導致匯流排的壓力太大,成為性能的瓶頸。

從JVM角度來看Lock

今天我們避開Lock的使用方法,Lock從其實現來看主要是通過實現Lock介面,而Lock介面的所有操作都放在了Sync類中,Sync類則是AQS的一個子類,所以其基本思想完全是繼承自AQS的,那麼AQS的思想又是什麼呢?

淺談AQS

AQS的基本思想是當線程請求一個資源的時候,如果資源空閑,就直接給這個線程,並鎖住資源,如果資源已經被鎖,則將線程加入一個基於阻塞的CLH隊列,CLH隊列是一個虛擬的雙向隊列,鎖釋放的時候會喚醒線程,AQS可以實現成獨占式,比如ReentrantLock,也可以實現成共用式,比如信號量、讀寫鎖、倒計時器等。

當我們每次調用Lock()方法的時候,預設的會進行非公平鎖獲取的方法,先會判斷當前鎖的狀態,如果當前鎖狀態c==0,也就是空著的話,就直接獲得該鎖。然後該鎖的acquire屬性會+1,unlock()的時候會-1,當為0的時候為空,如果當前鎖狀態不是0,要判斷是否是自己占有鎖,如果是自己的話,就給值++,避免CAS操作,也就是實現了偏向鎖。

得不到鎖的線程會被包裝成Node調用addWriter()進等待隊列,如果有隊尾的話,會CAS將當前線程更新為隊尾,如果沒有隊尾的話,就迴圈CAS知道加入隊尾,addWriter()返回的線程進行阻塞,阻塞前先嘗試tryAcquire()能否獲得鎖,每個節點根據詢問前繼節點是否阻塞來決定是否阻塞。

說了這麼多,我們就來比較一下Synchronized和Lock鎖吧

  • Synchronized

這是一個基於Lock-Free等待隊列的關鍵字,JVM分的更加仔細,將等待隊列分成了好幾個部分,為了加快出列的速度,並且Synchronized實現了自旋鎖,但這是基於JVM的指令實現的。

  • Lock

這是一個基於阻塞的CLH等待隊列,隊列內的所有操作都是基於CAS的,並且對已經獲得了鎖的線程可以實現偏向鎖,但是並沒有實現自旋鎖,只能僵硬的等待,好的一點是Lock更適應於擴展,可以擴展成讀寫鎖、公平鎖、非公平鎖等,另外區別於wait/notify()機制的是Condition機制更加的靈活。

Synchronized 和 Lock 鎖在JVM中的實現原理以及代碼解析


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

-Advertisement-
Play Games
更多相關文章
  • 為什麼使用虛擬環境 因為直接在真實環境進行安裝python的包會造成環境之間的污染,因此需要創建虛擬環境,原則上每一個項目都需要有一個獨屬於自己的虛擬環境 Python項目的每次運行都需要啟動環境,如果所有的模塊都在一個環境中,不僅每次載入這些模塊慢(尤其是開發過程中),並且依賴還可能相互衝突,甚至 ...
  • 發佈Python包 上一篇介紹瞭如何使用別人的輪子,現在我們討論下如何自己造輪子給別人用。 作為一個流行的開源開發項目,Python擁有一個活躍的貢獻者和用戶支持社區,這些社區也可以讓他們的軟體可供其他Python開發人員在開源許可條款下使用。這允許Python用戶有效地共用和協作,從其他人已經創建 ...
  • 老孟導讀:Flutter中佈局組件有水平 / 垂直佈局組件( Row 和 Column )、疊加佈局組件( Stack 和 IndexedStack )、流式佈局組件( Wrap )和 自定義佈局組件(Flow)。 水平、垂直佈局組件 Row 是將子組件以水平方式佈局的組件, Column 是將子組 ...
  • python -m 和 python 的區別 -m 的含義表示將庫當作腳本來執行。 python file.py 正常的執行Python腳本似乎都是這個樣子,甚至於有些小伙伴根本不曉得 -m 是個什麼玩意。 在help 中對 -m 的解釋為: 將文件看作腳本來執行。 什麼叫當成腳本來執行呢?我們來看 ...
  • 錯誤: 前臺頁面id為空,或其他數據映射問題(方案2) 原因: java的bean類屬性和資料庫欄位命名不一致,查詢的時候就不能把數據封裝進bean類里, 在資料庫欄位命名規範中,通常使用下劃線“_”來連接兩個單詞,比如:user_type。 解決方案1: 在mapper全局配置文件裡面配置駝峰命名 ...
  • 本文源碼:GitHub·點這裡 || GitEE·點這裡 一、資源和加鎖 1、場景描述 多線程併發訪問同一個資源問題,假如線程A獲取變數之後修改變數值,線程C在此時也獲取變數值並且修改,兩個線程同時併發處理一個變數,就會導致併發問題。 這種並行處理資料庫的情況在實際的業務開發中很常見,兩個線程先後修 ...
  • Docker 搭建多容器組合服務 (nginx + php) 首先要確保本地 docker 環境已經安裝成功 Docker 安裝 Nginx docker pull nginx (拉取最新 nginx 鏡像) docker images (查看本地 nginx 鏡像是否安裝成功) Docker 安裝 ...
  • 一、IDEA IDEA 全稱IntelliJ IDEA,是java語言開發的集成環境,IntelliJ在業界被公認為最好的java開發工具之一,尤其在智能代碼助手、代碼自動提示、重構、J2EE支持、Ant、JUnit、CVS整合、代碼審查、 創新的GUI設計等方面的功能可以說是超常的。IDEA是Je ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...