ReentrantLock 公平鎖源碼 第2篇

来源:https://www.cnblogs.com/sunankang/archive/2022/07/09/16461261.html
-Advertisement-
Play Games

Reentrant 2 前兩篇寫完了後我自己研究了下,還有有很多疑惑和問題,這篇就繼續以自問自答的方式寫 如果沒看過第1篇的可以先看看那個https://www.cnblogs.com/sunankang/p/16458795.html public final void acquire(int a ...


Reentrant 2

前兩篇寫完了後我自己研究了下,還有有很多疑惑和問題,這篇就繼續以自問自答的方式寫

如果沒看過第1篇的可以先看看那個https://www.cnblogs.com/sunankang/p/16458795.html

public final void acquire(int arg) {
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

進入acquireQueued方法

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        //這個屬性的作用是啥???
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

第一個問題

interrupted這個變數的作用

private final boolean parkAndCheckInterrupt() {
    LockSupport.park(this);
    return Thread.interrupted();
}

在parkAndCheckInterrupt方法中最後return的是這個線程是否被打斷,它的作用是啥?

先來回顧interrupt()，interrupted() 和isInterrupted()三者區別,長得很像,註意區分

interrupt()的作用是中斷線程,如果被中斷的線程處於阻塞狀態下,例如調用wait(),join() sleep(),則拋出異常,否則只是設置一個中斷標記為true,註意:僅僅是設置中斷狀態為true,並不會去 "中斷" 線程

interrupted() 獲取線程的中斷狀態並且清空中斷狀態(將中斷狀態設置為false)

isInterrupted() 獲取線程的中斷狀態並不會清除中斷狀態

調用 interrupt 會使park方法立即結束,可以理解為喚醒

繼續代碼,看這個變數最後到了哪裡

情況1 沒有被打斷過

假設線程沒有被中斷過,那麼parkAndCheckInterrupt返回就是false

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

那麼不進入 if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())這個if,獲取到鎖後返回false,回到acquire方法

public final void acquire(int arg) {
    if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

因為false,所以不進入selfInterrupt(),方法結束

情況2 park或準備park,被喚醒後直接獲取到了鎖

先證明一下打斷是會喚醒park中的線程的

我就再重覆粘一下代碼了,方便看

private final boolean parkAndCheckInterrupt() {
    LockSupport.park(this);
    return Thread.interrupted();
}

那麼返回的就是true,回到上級acquireQueued方法

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            //返回到這裡
            if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

因為返回true,所以進入if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt()) 將interrupted返回true

假設迴圈獲取到鎖,那麼再返回上一級acquire()

public final void acquire(int arg) {
    if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

那麼進入selfInterrupt()

static void selfInterrupt() {
    Thread.currentThread().interrupt();
}

是不是有點疑惑?我如果沒有調用過interrupt() 那ReentrantLock就不做任何操作,我如果調用了,那它再給我調用一次 ???? 還有情況3

情況3 park或準備park,被喚醒後沒有獲取到鎖

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            //假設在調用shouldParkAfterFailedAcquire成功後,馬上就要調用parkAndCheckInterrupt 時間片用完了
            if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

那麼這個時候interrupted屬性就有用了

首先要知道一點,一個被中斷的線程是無法park的,除非清除了中斷狀態,即設置為將中斷狀態設置為false, 口說無憑,直接上圖

第二張圖還是在park狀態,證明瞭被打斷的線程是無法park的,除非將它中斷狀態設置為false

那麼回到代碼中就能知道這個的作用

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            if (shouldParkAfterFailedAcquire(p, node) &&
                parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

如果線程被打斷喚醒,還是在for(;;)中,還是去獲取鎖,假設沒有獲取到呢?那麼就一直在for迴圈中嘎嘎跑,因為線程的狀態是被中斷的,無法再次park了

private final boolean parkAndCheckInterrupt() {
    LockSupport.park(this);
    return Thread.interrupted();
}

那麼現在懂了最後的Thread.interrupted()作用了嗎,就是將中斷狀態設置回false,好讓線程沒有獲取到鎖繼續park

那這時候可能就問了:那你ReentrantLock把中斷狀態給我清空了,我自己如果有需要根據中斷狀態來判斷的代碼咋辦啊?

好,咱們從park先被打斷來捋一下

private final boolean parkAndCheckInterrupt() {
    LockSupport.park(this);
    return Thread.interrupted();
}

因為被打斷,線程醒來,執行Thread.interrupted()並清空中斷狀態,返回true

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;
    try {
        boolean interrupted = false;
        for (;;) {
            final Node p = node.predecessor();
            if (p == head && tryAcquire(arg)) {
                setHead(node);
                p.next = null; // help GC
                failed = false;
                return interrupted;
            }
            if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())
                 //進入這裡
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

因為返回的是true,所以進入if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt())的代碼塊,將interrupted屬性設置為true

那麼for(;;)迴圈再來一次,如果沒有獲取到鎖.繼續park,直到被喚醒,走tryAcquire()獲取到為止,那麼此時interrupted變數就為true了

public final void acquire(int arg) {
    if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

那麼退出acquireQueued()方法回到acquire()中,因為acquireQueued()返回的是true,所以進入selfInterrupt()

static void selfInterrupt() {
    Thread.currentThread().interrupt();
}

所以懂了嗎?


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

-Advertisement-
Play Games
更多相關文章
  • mongodb 數據塊遷移的源碼分析
    零除的處理 用NULLIF(col, 0)可以避免複雜的WHEN...CASE判斷, 例如 ROUND(COUNT(view_50.amount_in)::NUMERIC / NULLIF(COUNT(view_50.amount_out)::NUMERIC, 0),2) AS out_divide ...
  • Css3入門詳解
    一、Css基本語法 1.Html和Css沒分開時 點擊查看代碼 <!DOCTYPE html> <html lang="en"> <head> <!--規範，<style>可以編寫css的代碼，每一個聲明，最好使用分號隔開 語法： 選擇器{ 聲明1； 聲明2； 聲明3； } --> <meta ch ...
  • thymeleaf實現前後端數據交換
    1.前端傳數據後端接收： 用戶在登錄界面輸入用戶名和密碼傳給後端controller，由後端判斷是否正確！ 在html界面中要傳遞的數據name命名，通過表單的提交按鈕會傳遞給響應的controller，在controller將需要的name接收！ <input type="text" name=" ...
  • 程式分析與優化 - 10 指令級並行
    本章是系列文章的第十章，主要介紹CPU流水線、超標量體系架構等硬體設計，和編譯器怎麼使能這些功能來減少計算的時鐘周期。 本文中的所有內容來自學習DCC888的學習筆記或者自己理解的整理，如需轉載請註明出處。周榮華@燧原科技 10.1 概念 指令級並行是是讓一個程式中的多個操作同時執行的方法 指令級並 ...
  • 單機高併發模型設計
    在微服務架構下，我們習慣使用多機器、分散式存儲、緩存去支持一個高併發的請求模型，而忽略了單機高併發模型是如何工作的。這篇文章通過解構客戶端與服務端的建立連接和數據傳輸過程，闡述下如何進行單機高併發模型設計。 ...
  • 【C++】學生管理系統
    在項目中，有些代碼需要被各個模塊調用。為瞭解耦，可以把這些公共部分的代碼整合到一個子項目中，併發布到本地，實現多個項目共用代碼。 新建子項目。 maven -clean 命令，測試maven環境；測試通過後使用maven -install 將項目打包併發布到本地倉庫。 在其他項目中，通過<depen ...
  • SpringBoot開發 - 如何定製自己的Banner？還能用圖片？
    SpringBoot開發 - 如何定製自己的Banner？還能用圖片？ 我們在啟動Spring Boot程式時，有SpringBoot的Banner信息，那麼如何自定義成自己項目的信息呢？ @pdai SpringBoot開發 - 如何定製自己的Banner？還能用圖片？ 什麼是Banner 如何更 ...
  • 智能指針思想實踐(std::unique_ptr, std::shared_ptr)
    Java面向對象（二） 五、方法 5.1 方法的重載（overload） 定義：在同一個類中，允許定義多個相同名字的方法，只要參數列表（參數類型或者參數個數）是不同的。 判斷是否為方法重載： （1）同一個類，同樣的方法名，不同的參數列表！ （2）與方法修飾符、方法返回值、形參名、方法體無關！ pub ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 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 ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類