Lock

来源:http://www.cnblogs.com/xudilei/archive/2017/05/13/6850015.html
-Advertisement-
Play Games

之前對於synchronized的實現和運用有所瞭解,但是也發現了一些缺陷,由於synchronized是在JVM層面上實現同步互斥,是以關鍵字形式加鎖,導致其顆粒度過大,有的時候不需要這麼大範圍的加鎖,在中斷和線程阻塞處理上也有所欠缺,在JDK1.5之後,Java引入了Lock,作為對於synch ...


之前對於synchronized的實現和運用有所瞭解,但是也發現了一些缺陷,由於synchronized是在JVM層面上實現同步互斥,是以關鍵字形式加鎖,導致其顆粒度過大,有的時候不需要這麼大範圍的加鎖,在中斷和線程阻塞處理上也有所欠缺,在JDK1.5之後,Java引入了Lock,作為對於synchronized的補充。

實現原理

Lock是Java的一個介面類,而繼承它實現的也是一個Java類,因此Lock的實現不是基於JVM的,而是在應用層,介面源碼如下

public interface Lock {
    void lock();
    void lockInterruptibly() throws InterruptedException;
    boolean tryLock();
    boolean tryLock(long time, TimeUnit unit) throws InterruptedException;
    void unlock();
    Condition newCondition();
}

這幾個方法就是Lock的核心實現。而Lock的實現類是ReentrantLock,這裡需要講一下ReentrantLock的結構,ReentrantLock把對Lock的實現交給了繼承AbstractQueuedSynchronizer抽象類的Sync類,而為了實現公平鎖和和非公平鎖,又加入了FairSyncNonfairSync兩個繼承Sync的類來重寫lock()方法。

  • abstract static class Sync extends AbstractQueuedSynchronizer
  • static final class NonfairSync extends Sync
  • static final class FairSync extends Sync

而ReentrantLock的加鎖解鎖原理則是利用AbstractQueuedSynchronizer類的方法,把所有的請求線程構成一個CLH隊列(虛擬隊列,將每個線程內容包裝成一個Node類),運行線程不包括在內,如果有新進程加入,則阻塞並加入到隊列尾部,如果運行線程結束,就從隊列中獲取下個線程。
CLH
在瞭解加鎖和解鎖過程之前首先需要瞭解Lock怎麼阻塞線程,源碼中顯示調用了LockSupport.park(),在深入結果是調用sun.misc.Unsafe.park()本地方法,從而調用系統互斥鎖。下麵就是加鎖和解鎖的過程

加鎖

對於加鎖過程,非公平鎖和公平鎖機制不同,這裡分開描述。
非公平鎖

  • 在開始就先嘗試當前線程獲取鎖,如果成功,那麼直接將鎖鎖定,不成功再進入隊列調用的流程。
  • 進入隊列調用的第一步是獲取當前鎖的狀態,如果鎖狀態值為0,嘗試獲取鎖,如果成功的話,將鎖賦給當前線程,失敗就阻塞後進入隊列尾部排隊。
  • 如果鎖狀態值為1,先看是否為存在重入鎖的情況,即線程和運行線程相同,如果是,那麼鎖狀態加1,如果不是,那麼阻塞後進入隊列尾部排隊。

    //ReentrantLock.java文件
    final void lock() {
        if (compareAndSetState(0, 1))
            setExclusiveOwnerThread(Thread.currentThread());
        else
            acquire(1);
    }
    protected final boolean tryAcquire(int acquires) {
        return nonfairTryAcquire(acquires);
    }
    final boolean nonfairTryAcquire(int acquires) {
        final Thread current = Thread.currentThread();//獲取當前線程
        int c = getState();//獲取鎖狀態值
        if (c == 0) { //如果鎖狀態為0,那麼沒有線程占用鎖
            if (compareAndSetState(0, acquires)) {//CAS嘗試獲得鎖
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        //如果鎖狀態不為0
        else if (current == getExclusiveOwnerThread()) {//如果當前線程就是鎖的線程,進入重入鎖狀態
            int nextc = c + acquires;//鎖狀態值加1
            if (nextc < 0) // overflow
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }
    //AbstractQueuedSynchronizer.java文件
    public final void acquire(int arg) {
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
    }

公平鎖

  • 不嘗試獲取鎖,直接進入隊列流程
  • 在隊列流程中,同樣獲取鎖的狀態值,如果狀態值為0,並且隊列中沒有排隊的線程,那麼嘗試獲取鎖,如果有線程,那麼就阻塞線程並放在隊列尾部排隊
  • 如果狀態值不為0,先看是否為存在重入鎖的情況,即線程和運行線程相同,如果是,那麼鎖狀態加1,如果不是,那麼阻塞後進入隊列尾部排隊。

     //ReentrantLock.java文件
     final void lock() {
        acquire(1);
    }
    
    /**
     * Fair version of tryAcquire.  Don't grant access unless
     * recursive call or no waiters or is first.
     */
    protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
        //如果鎖狀態值為0和隊列中沒有線程,獲取鎖
            if (!hasQueuedPredecessors() &&
                compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        //重入鎖情況
        else if (current == getExclusiveOwnerThread()) {
            int nextc = c + acquires;
            if (nextc < 0)
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }
    //AbstractQueuedSynchronizer.java文件
    public final void acquire(int arg) {
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
    }

解鎖

  • 獲取當前線程的狀態值,然後減1
  • 如果結果為0,那麼釋放這個鎖,如果不為0,那麼存在重入鎖情況,不釋放鎖

    //ReentrantLock.java文件
    public void unlock() {
    sync.release(1);
    }
    protected final boolean tryRelease(int releases) {
        //狀態值-1
        int c = getState() - releases;
        if (Thread.currentThread() != getExclusiveOwnerThread())
            throw new IllegalMonitorStateException();
        boolean free = false;
        //判斷重入鎖情況
        if (c == 0) {
            free = true;
            setExclusiveOwnerThread(null);
        }
        setState(c);
        return free;
    }
    //AbstractQueuedSynchronizer.java文件
    public final boolean release(int arg) {
    if (tryRelease(arg)) {
    //獲取排隊線程的頭線程,運行線程
        Node h = head;
        if (h != null && h.waitStatus != 0)
            unparkSuccessor(h);
        return true;
    }
    return false;
    }

Lock應用

Lock介面有lock()、unlock()、tryLock()、tryLock(long time, TimeUnit unit) 和 lockInterruptibly()這些方法進行加鎖和解鎖,這裡逐個分析(Condition()用於線程間通信,這裡暫時不解釋)

lock()和unlock()

這兩個方法基本都是一起出現的,因為這裡放在一起講,lock()就是用來對代碼塊進行加鎖,而unlock()是對鎖的釋放,而在它們之間就是加鎖的代碼,一般會加上try...catch方式,而unlock()一般會出現在finally中,基本格式如下

Lock lock = new Lock();
lock.lock();
try{
//加鎖代碼塊
...
}catch(Exception e){
}finally{
lock.unlock();   //釋放鎖
}

tryLock()和tryLock(long time, TimeUnit unit)

tryLock()是有返回值的,如果當前鎖未被占用,那麼就嘗試獲取鎖,這裡和lock()一樣,並返回true,但是如果鎖被占用,那麼直接返回false,不阻塞在那裡,這是和synchronized區別部分之一,是對加鎖的靈活運用。
tryLock(long time, TimeUnit unit)是加上了等待時間,就是在tryLock()基礎上加上了嘗試獲取的等待時間,如果鎖獲取失敗,會等待一段時間,如果等待過程中獲取到鎖,那麼返回true,如果還是沒有,那麼返回false。一般格式如下

Lock lock = new Lock();
if(lock.tryLock()) {
 try{
     //加鎖代碼塊
...
 }catch(Exception e){
 }finally{
     lock.unlock(); 
 } 
}else {
//不加鎖的處理
...
}  

lockInterruptibly()

lockInterruptibly()和lock()的機制是一樣的,如果沒有特殊情況,就是一般的加鎖,但是如果在加鎖後使用Thread.interrupt中斷線程,就會拋異常InterruptedException,因為lock優先考慮獲取鎖,在等待獲取鎖的過程中,忽略中斷請求,只有成功獲得鎖之後才響應中斷。lockInterruptibly允許在等待獲取鎖的過程中由其它線程調用等待線程的Thread.interrupt方法來中斷等待線程的等待而直接返回。

Lock lock = new Lock();
lock.lockInterruptibly();
try{
//加鎖代碼塊
...
}catch(InterruptedException e){
}finally{
lock.unlock();   //釋放鎖
}

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

-Advertisement-
Play Games
更多相關文章
  • java產生隨機數的幾種方式 一.在j2se里我們可以使用Math.random()方法來產生一個隨機數,這個產生的隨機數是0-1之間的一個double,用時需要int強制轉換,我們可以把他乘以一定的數,比如說乘以100,他就是個100以內的隨機,這個在j2me中沒有。 java.util.Rand ...
  • title: Servlet之JSP tags: [] notebook: javaWEB JSP是什麼 ? JSP就是Servlet,全名是"JavaServer Pages" 。因為Servlet不適合設置html響應體,需要大量的 ,而和html是靜態頁面,不能包含動態信息。JSP完美的解決了 ...
  • java中常用的包、類、以及包中常用的類、方法、屬性 常用的包 java.io.*; java.util.*; java.lang.*; java.math.*; java.sql.*; java.text.*; java.awt.*; javax.swing.*; 包名 介面 類 方法 屬性 ja ...
  • 題目描述 對於給定的一個長度為N的正整數數列A[i],現要將其分成連續的若幹段,並且每段和不超過M(可以等於M),問最少能將其分成多少段使得滿足要求。 輸入輸出格式 輸入格式: 輸入文件divide_a.in的第1行包含兩個正整數N,M,表示了數列A[i]的長度與每段和的最大值,第2行包含N個空格隔 ...
  • JavaMail,提供給開發者處理電子郵件相關的編程介面。它是Sun發佈的用來處理email的API。它可以方便地執行一些常用的郵件傳輸。但它並沒有包含在JDK中,要使用JavaMail首先要下載javax.mail.jar下載地址:https://javaee.github.io/javamail ...
  • The n-queens puzzle is the problem of placing n queens on an n×n chessboard such that no two queens attack each other. Given an integer n, return al... ...
  • 題目描述 如題,給出一個無向圖,求出最小生成樹,如果該圖不連通,則輸出orz 輸入輸出格式 輸入格式: 第一行包含兩個整數N、M,表示該圖共有N個結點和M條無向邊。(N<=5000,M<=200000) 接下來M行每行包含三個整數Xi、Yi、Zi,表示有一條長度為Zi的無向邊連接結點Xi、Yi 輸出 ...
  • HashMap的設計是由數組加鏈表的符合數據結構,在這裡用自己的語言以及結合源碼去總結一下,如果有不對的地方希望評論指正,先拱手謝謝。 HashMap是日常中非常常用的一種數據結構,我們要想深入瞭解學習任何一門技術,都是要先應用,再深入。深入就要瞭解實現的原理,在java語言中,最基本的結構是數組以 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...