深入淺出Java多線程(九)：synchronized與鎖

来源:https://www.cnblogs.com/CoderLvJie/p/18009230
-Advertisement-
Play Games

大家好，我是你們的老伙計秀才！今天帶來的是[深入淺出Java多線程]系列的第九篇內容：synchronized與鎖。大家覺得有用請點贊，喜歡請關註！秀才在此謝過大家了！！！ ...


引言

大家好，我是你們的老伙計秀才！今天帶來的是[深入淺出Java多線程]系列的第九篇內容：synchronized與鎖。大家覺得有用請點贊，喜歡請關註！秀才在此謝過大家了！！！

在現代軟體開發中，多線程技術是提升系統性能和併發能力的關鍵手段之一。Java作為主流的編程語言，其內置的多線程機製為開發者提供了豐富的併發控制工具，其中synchronized關鍵字及其背後的鎖機制扮演了至關重要的角色。理解並掌握synchronized的使用原理與特性，有助於我們設計出高效且線程安全的應用程式。

Java中的每個對象都可以充當一把鎖，這意味著任何實例方法或靜態方法可以通過synchronized關鍵字來實現同步控制，從而確保同一時間只有一個線程能訪問臨界資源。例如，一個簡單的實例方法同步：

public class Counter {
    private int count = 0;

    public synchronized void increment() {
        count++;
    }
}

在這個例子中，increment方法被synchronized修飾，使得在同一時刻只能有一個線程對count變數進行遞增操作，避免了數據競爭帶來的不一致性問題。

同時，類鎖的概念也是基於對象鎖——類的Class對象同樣可以作為鎖，用於同步類的靜態方法或某一特定對象實例上的代碼塊，如：

public class SharedResource {
    public static synchronized void modifyStaticData() {
        // 修改共用靜態數據
    }
}

這裡，modifyStaticData方法通過類鎖保護了所有實例共用的靜態資源，保證了在多線程環境下的數據安全性。

深入探究Java多線程中的synchronized關鍵字及鎖機制，我們會發現Java虛擬機為了優化鎖的性能，引入了偏向鎖、輕量級鎖和重量級鎖等不同級別的鎖狀態，並且支持鎖的自動升級和降級策略。這些機制能夠根據實際的併發場景動態調整鎖的表現形式，以最小化鎖的獲取和釋放開銷，進而提高系統的併發性能和響應速度。接下來，我們將逐一剖析這些概念和技術細節，以便更全面地理解和運用Java中的鎖機制。

Java鎖基礎

在Java多線程編程中，鎖機制是實現併發控制的核心手段之一。這裡的“鎖”基於對象的概念，任何Java對象都可以充當一把鎖來保護共用資源的訪問，確保同一時間只有一個線程可以執行臨界區代碼。synchronized關鍵字作為Java內置的關鍵同步工具，被廣泛用於實現線程間的互斥操作。

synchronized關鍵字詳解

synchronized關鍵字主要有三種使用形式：

  1. 實例方法鎖定：當synchronized關鍵字修飾實例方法時，它隱式地獲取了當前對象實例作為鎖：

    public class SynchronizedExample {
        private int counter;

        public synchronized void increment() {
            counter++;
        }
    }

    在上述代碼中，increment方法被synchronized修飾，意味著每次僅有一個線程能執行該方法內部邏輯，即修改counter變數。

  2. 靜態方法鎖定：如果synchronized修飾的是靜態方法，則鎖對象為類的Class對象，所有實例共用這把鎖：

    public class SynchronizedExample {
        private static int sharedCounter;

        public static synchronized void incrementStatic() {
            sharedCounter++;
        }
    }

    在這個例子中，對incrementStatic方法的訪問將受到類鎖的保護，確保在多線程環境下，對sharedCounter的更新是原子性的。

  3. 代碼塊鎖定：通過synchronized關鍵字包裹一個代碼塊，顯式指定鎖對象：

    public class SynchronizedExample {
        private final Object lock = new Object();

        public void blockLockingMethod() {
            synchronized (lock) {
                // 臨界區代碼
            }
        }

    在這裡，我們創建了一個獨立的對象lock用作鎖，只有獲得了這把鎖的線程才能執行代碼塊內的內容。

synchronized關鍵字保證了其修飾的方法或代碼塊在同一時間只能由單個線程訪問，從而避免了因多個線程同時修改數據導致的數據不一致問題，有效地實現了多線程環境下的同步控制。隨著JVM對鎖性能優化的不斷深入，還引入了偏向鎖、輕量級鎖和重量級鎖等不同級別的鎖狀態，使得Java多線程同步更加靈活高效。

synchronized原理

在Java多線程編程中，synchronized關鍵字所實現的同步機制深入底層，與JVM內部對象頭結構密切相關。每個Java對象都擁有一個對象頭(Object Header)，它是記憶體中存放對象元數據的地方，包含了對象的Mark Word區域，這個區域用於存儲對象的hashCode、GC分代年齡以及鎖狀態等信息。

Java對象頭與鎖狀態

對象頭結構：非數組類型的Java對象，其對象頭占用2個機器字寬，對於32位系統是32位，64位系統則是64位。Mark Word中的一部分空間被用來記錄鎖的狀態，包括無鎖、偏向鎖、輕量級鎖和重量級鎖四種狀態。

長度 內容 作用
32/64bit Mark Word 存儲對象的hashCode或鎖信息等
32/64bit Class Metadata Address 存儲到對象類型數據的指針
32/64bit Array length 數組的長度（如果是數組）

這裡著重關註一些Mark Word 的內容：

鎖狀態 29bit或者61bit 第1bit是否偏向鎖 第2bit鎖標誌位
無鎖 0 01
偏向鎖 線程ID 1 01
輕量級鎖 指向棧中鎖記錄的指針 此時第1bit不用於標識偏向鎖 00
重量級鎖 指向互斥量（重量級鎖）的指針 此時第1bit不用於標識偏向鎖 10

鎖狀態轉換：

  • 無鎖狀態：沒有任何線程持有該對象鎖，所有線程都可以嘗試修改資源。
  • 偏向鎖：當一個線程首次獲得鎖時，會將當前線程ID寫入對象頭的Mark Word中，後續進入同步代碼塊時只需檢查是否為當前線程持有即可快速獲取鎖。例如，若只有一個線程長期訪問某一對象，則可以避免不必要的CAS操作和自旋消耗。
class BiasedLockExample {
    private int count;

    public void increment() {
        synchronized (this) {
            count++;
        }
    }
}

在上述例子中，如果increment方法僅由一個線程執行，那麼JVM可能會將對象標記為偏向鎖，從而提高效率。

  • 輕量級鎖：當存在多個線程競爭同一鎖，但實際發生鎖競爭的概率較小的情況下，JVM使用輕量級鎖來避免頻繁的線程阻塞和喚醒開銷。輕量級鎖通過CAS操作試圖將當前線程棧中的鎖記錄地址替換到對象頭的Mark Word中，如失敗則表明存在鎖競爭，轉而升級為自旋或重量級鎖。
  • 重量級鎖：當鎖競爭激烈時，輕量級鎖無法滿足需求，就會升級為依賴於操作系統的互斥量（mutex）實現的重量級鎖。此時線程將被掛起，直到鎖釋放後重新調度，降低了CPU的利用率但確保了線程間互斥性。

Java虛擬機通過對象頭的Mark Word動態調整鎖狀態以適應不同場景下的併發控制需求，實現了從偏向鎖、輕量級鎖到重量級鎖的平滑過渡，有效提升了多線程環境下程式的性能表現。通過靈活運用和理解這些鎖狀態及其背後的原理，開發者能夠更好地優化多線程應用中的同步邏輯。

Java鎖升級機制

在Java多線程同步中，synchronized關鍵字實現的鎖具有動態升級的能力，從偏向鎖到輕量級鎖再到重量級鎖，根據競爭情況自動調整以優化性能。

偏向鎖

偏向鎖是為瞭解決大多數情況下只有一個線程頻繁獲得鎖的情況。當一個線程首次獲取對象鎖時，JVM會將其設置為偏向鎖，並將該線程ID記錄在對象頭的Mark Word中。後續該線程再次進入同步代碼塊時，只需簡單地驗證Mark Word中的線程ID是否與當前線程一致即可快速獲取鎖。例如：

public class BiasedLockExample {
    private int sharedResource;

    public void access() {
        synchronized (this) {
            // 僅有一個線程長期訪問此方法時，偏向鎖生效
            sharedResource++;
        }
    }
}

如果其他線程嘗試獲取已被偏向的鎖，系統會檢查偏向鎖是否有效併進行撤銷操作，通過CAS嘗試替換Mark Word的內容。若失敗，則表明存在鎖競爭，此時偏向鎖升級至輕量級鎖。 其操作流程如下圖：

下圖總結了偏向鎖的獲得和撤銷流程：

輕量級鎖

輕量級鎖主要應用於多個線程間交替訪問同一對象但不存在大量持續競爭的場景。當線程試圖獲取鎖時，它首先會在自己的棧幀中創建一個用於存儲鎖記錄的空間（Displaced Mark Word），然後通過CAS操作嘗試將對象頭的Mark Word替換為指向鎖記錄的指針。成功則表示獲得鎖；否則，線程開始自旋（迴圈嘗試獲取鎖）。

public class LightweightLockExample {
    private int sharedResource;

    public void access() {
        Object lock = new Object();
        synchronized (lock) {
            // 若多個線程短暫交替訪問此方法，輕量級鎖生效
            sharedResource++;
        }
    }
}

自旋次數並非固定不變，而是採用了適應性自旋策略，即根據歷史成功率動態調整自旋次數。如果經過若幹次自旋後仍未能獲得鎖，則輕量級鎖升級為重量級鎖。 輕量鎖操作流程如下：

重量級鎖

重量級鎖依賴於操作系統的互斥量（mutex）來實現線程間的互斥控制。當鎖競爭激烈，輕量級鎖無法滿足需求時，鎖狀態會轉換為重量級鎖。這時，請求鎖的線程會被掛起並放入等待隊列中，直至持有鎖的線程釋放鎖資源。

public class HeavyweightLockExample {
    private static final Object lock = new Object();

    public void concurrentAccess() {
        synchronized (lock) {
            // 若大量併發線程同時訪問此方法，可能導致鎖升級為重量級鎖
            // 線程將被操作系統調度器掛起和喚醒
            performHeavyOperation();
        }
    }

    private void performHeavyOperation() {
        // 執行耗時較長的操作...
    }
}

重量級鎖雖然會導致線程阻塞及上下文切換，但它確保了在高度競爭環境下的公平性和線程安全。當調用wait()或notify()方法時，即使原本是輕量級或偏向鎖，也會先膨脹成重量級鎖，以便正確管理線程的阻塞和喚醒狀態。

總結來說，Java鎖的升級機制是一種根據實際運行狀況動態調整同步成本的技術手段，使得在多種併發場景下都能儘可能保持高效率和線程安全性。

鎖對比與選擇

在Java多線程同步中，有三種主要的鎖類型：偏向鎖、輕量級鎖和重量級鎖。每種鎖都有其特定的適用場景及性能特性。

偏向鎖

  • 優點：當只有一個線程長期獨占對象鎖時，偏向鎖幾乎無額外開銷，獲取和釋放鎖的速度接近非同步方法調用。
  • 缺點：當存在鎖競爭或者程式執行過程中鎖的所有者發生變化時，需要撤銷偏向鎖並升級為更高級別的鎖，這個過程會產生額外的系統開銷。
  • 適用場景：適用於大部分時間只由一個線程訪問同步塊的場合。

案例：

public class BiasedLockExample {
    private int sharedResource;

    public void exclusiveAccess() {
        synchronized (this) {
            // 若只有主線程頻繁訪問此方法，則偏向鎖效率高
            sharedResource++;
        }
    }
}

輕量級鎖

  • 優點：相比於重量級鎖，輕量級鎖通過自旋避免了線程上下文切換帶來的開銷，在沒有其他線程競爭的情況下能快速獲得鎖，提高了程式響應速度。
  • 缺點：如果多個線程同時爭奪鎖，輕量級鎖會導致較多的CAS操作以及可能的長時間自旋等待，反而浪費CPU資源。
  • 適用場景：適用於線程間對鎖的競爭不激烈且鎖持有時間較短的情況。

案例：

public class LightweightLockExample {
    private final Object lock = new Object();

    public void concurrentAccess() {
        synchronized (lock) {
            // 若併發線程交替短暫持有鎖，輕量級鎖效果好
            processData();
        }
    }

    private void processData() {
        // 執行一些快速計算或短期持有的共用資源訪問...
    }
}

重量級鎖

  • 優點：確保了線程間的互斥性和公平性，不會因自旋消耗過多CPU資源，阻塞未獲得鎖的線程，保證了系統的穩定性。
  • 缺點：獲取和釋放鎖涉及操作系統層面的信號量操作，導致較大的上下文切換開銷，因此在高併發、鎖競爭激烈的場景下性能較低。
  • 適用場景：適用於高度競爭性的環境，即大量併發線程同時請求同一鎖資源的情況。

案例：

public class HeavyweightLockExample {
    private static final Object LOCK = new Object();

    public void criticalSection() {
        synchronized (LOCK) {
            
您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Visual Studio部署matplotlib繪圖庫的C++版本
    本文介紹在Visual Studio軟體中配置、編譯C++環境下matplotlibcpp庫的詳細方法。 matplotlibcpp庫是一個C++環境下的繪圖工具，其通過調用Python介面，實現在C++代碼中通過matplotlib庫的命令繪製各類圖像。由於其需要調用Python介面，因此在配置m ...
  • Spring Boot + Lua = 王炸！
    曾經有一位魔術師，他擅長將Spring Boot和Redis這兩個強大的工具結合成一種令人驚嘆的組合。他的魔法武器是Redis的Lua腳本。 今天，我們將揭開這個魔術師的秘密，探討如何在Spring Boot項目中使用Lua腳本，以解鎖新的可能性和提高性能。如果你一直在尋找提升你的應用程式的方法，那 ...
  • Java新建一個子線程非同步運行方法
    如何在運行主方法的同時非同步運行另一個方法，我是用來更新緩存； 1. 工具類 public class ThreadPoolUtils { private static final Logger LOGGER = LoggerFactory.getLogger(ThreadPoolUtils.clas ...
  • C++類開發第二篇（淺析構造函數和析構函數）
    class_2 構造函數 構造函數是一種特殊的成員函數，用於創建和初始化類的對象。它的名稱與類的名稱相同，沒有返回值，也不需要顯式調用。在C++中，每個類都必須至少有一個構造函數。 當我們創建一個類的對象時，編譯器會自動調用構造函數來初始化該對象的成員變數。構造函數可以執行一些操作，如初始化成員變數 ...
  • 探索C語言結構體：編程中的利器與藝術
    Java Math Java 的 Math 類 擁有許多方法，允許您在數字上執行數學任務。 常用方法: Math.max(x, y): 找到 x 和 y 的最大值 Math.min(x, y): 找到 x 和 y 的最小值 Math.sqrt(x): 返回 x 的平方根 Math.abs(x): 返 ...
  • Java鎖到底是個什麼東西
    一、java鎖存在的必要性 要認識java鎖，就必須對2個前置概念有一個深刻的理解：多線程和共用資源。 對於程式來說，數據就是資源。 在單個線程操作數據時，或快或慢不存在什麼問題，一個人你愛乾什麼乾什麼。 多個線程操作各自操作不同的數據，各乾各的，也不存在什麼問題。 多個線程對共用數據進行讀取操作， ...
  • 讀了啥：JVM記憶體調優
    讀了啥 周志明的深入理解Java虛擬機中的調優案例。 第一個案例 背景 一個網站部署在JVM上，而Java堆大小固定在了12G，但是總會出現長時間無法響應的情況。 使用了吞吐量優先收集器：可能是Parallel Scavenge和Parallel Old收集器。 問題 網站直接從磁碟拷貝文檔到堆記憶體 ...
  • 電腦網路抓包實戰
    電腦網路作為一門電腦專業課，平時都是各種抽象的協議和各種發送接收，很難具體的去感受其含義，因此也是藉助wireshark對發送的包進行一個分析。 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類