主頁 > 軟體設計 > 高并發場景下一種比讀寫鎖更快的鎖,看完我徹底折服了!!(建議收藏)

高并發場景下一種比讀寫鎖更快的鎖,看完我徹底折服了!!(建議收藏)

2021-07-21 14:23:52 軟體設計

大家好,我是冰河~~

最近公司的事情比較多,拖了很久的書稿終于和貓大人一起在這個周末寫完了,總體就一個字:累,剩下的就是對稿件的修修補補了,后面的進度就應該會很快了,前段時間原本想著續更【精通高并發系列】專題,一直沒時間,所以,這個事情也被一直擱淺著,現在,書稿寫完了,就有一些時間續更這個專題了,之前,我把【精通高并發系列】專題的文章整理成了一本電子書——《深入理解高并發編程》,全書內容如下所示,

這本電子書全網一度下載高達 35W+,目前這個數字仍然在上升,如果你還沒下載的話,那就在 CSDN 私信我回復 并發編程 領取下載鏈接吧,

從今天開始,我們繼續更新【精通高并發系列】專題,今天為大家介紹一個在高并發環境下,比讀寫鎖性能更高的鎖,可能很多小伙伴都不知道StampedLock是啥,至少我身邊的很多小伙伴都沒使用過StampedLock鎖,今天,我們就一起來聊聊這個在高并發環境下比ReadWriteLock更快的鎖——StampedLock,

什么是StampedLock?

ReadWriteLock鎖允許多個執行緒同時讀取共享變數,但是在讀取共享變數的時候,不允許另外的執行緒多共享變數進行寫操作,更多的適合于讀多寫少的環境中,那么,在讀多寫少的環境中,有沒有一種比ReadWriteLock更快的鎖呢?

答案當然是有!那就是我們今天要介紹的主角——JDK1.8中新增的StampedLock!沒錯,就是它!

StampedLock與ReadWriteLock相比,在讀的程序中也允許后面的一個執行緒獲取寫鎖對共享變數進行寫操作,為了避免讀取的資料不一致,使用StampedLock讀取共享變數時,需要對共享變數進行是否有寫入的檢驗操作,并且這種讀是一種樂觀讀,

總之,StampedLock是一種在讀取共享變數的程序中,允許后面的一個執行緒獲取寫鎖對共享變數進行寫操作,使用樂觀讀避免資料不一致的問題,并且在讀多寫少的高并發環境下,比ReadWriteLock更快的一種鎖,

StampedLock三種鎖模式

這里,我們可以簡單對比下StampedLock與ReadWriteLock,ReadWriteLock支持兩種鎖模式:一種是讀鎖,另一種是寫鎖,并且ReadWriteLock允許多個執行緒同時讀共享變數,在讀時,不允許寫,在寫時,不允許讀,讀和寫是互斥的,所以,ReadWriteLock中的讀鎖,更多的是指悲觀讀鎖,

StampedLock支持三種鎖模式:寫鎖、讀鎖(這里的讀鎖指的是悲觀讀鎖)和樂觀讀(很多資料和書籍寫的是樂觀讀鎖,這里我個人覺得更準確的是樂觀讀,為啥呢?我們繼續往下看啊),其中,寫鎖和讀鎖與ReadWriteLock中的語意類似,允許多個執行緒同時獲取讀鎖,但是只允許一個執行緒獲取寫鎖,寫鎖和讀鎖也是互斥的,

另一個與ReadWriteLock不同的地方在于:StampedLock在獲取讀鎖或者寫鎖成功后,都會回傳一個Long型別的變數,之后在釋放鎖時,需要傳入這個Long型別的變數,例如,下面的偽代碼所示的邏輯演示了StampedLock如何獲取鎖和釋放鎖,

public class StampedLockDemo{
    //創建StampedLock鎖物件
    public StampedLock stampedLock = new StampedLock();
    
    //獲取、釋放讀鎖
    public void testGetAndReleaseReadLock(){
        long stamp = stampedLock.readLock();
        try{
            //執行獲取讀鎖后的業務邏輯
        }finally{
            //釋放鎖
            stampedLock.unlockRead(stamp);
        }
    }
    
    //獲取、釋放寫鎖
    public void testGetAndReleaseWriteLock(){
        long stamp = stampedLock.writeLock();
        try{
            //執行獲取寫鎖后的業務邏輯,
        }finally{
            //釋放鎖
            stampedLock.unlockWrite(stamp);
        }
    }
}

StampedLock支持樂觀讀,這是它比ReadWriteLock性能要好的關鍵所在, ReadWriteLock在讀取共享變數時,所有對共享變數的寫操作都會被阻塞,而StampedLock提供的樂觀讀,在多個執行緒讀取共享變數時,允許一個執行緒對共享變數進行寫操作,

我們再來看一下JDK官方給出的StampedLock示例,如下所示,

class Point {
    private double x, y;
    private final StampedLock sl = new StampedLock();

    void move(double deltaX, double deltaY) { // an exclusively locked method
        long stamp = sl.writeLock();
        try {
            x += deltaX;
            y += deltaY;
        } finally {
            sl.unlockWrite(stamp);
        }
    }

    double distanceFromOrigin() { // A read-only method
        long stamp = sl.tryOptimisticRead();
        double currentX = x, currentY = y;
        if (!sl.validate(stamp)) {
            stamp = sl.readLock();
            try {
                currentX = x;
                currentY = y;
            } finally {
                sl.unlockRead(stamp);
            }
        }
        return Math.sqrt(currentX * currentX + currentY * currentY);
    }

    void moveIfAtOrigin(double newX, double newY) { // upgrade
        // Could instead start with optimistic, not read mode
        long stamp = sl.readLock();
        try {
            while (x == 0.0 && y == 0.0) {
                long ws = sl.tryConvertToWriteLock(stamp);
                if (ws != 0L) {
                    stamp = ws;
                    x = newX;
                    y = newY;
                    break;
                }
                else {
                    sl.unlockRead(stamp);
                    stamp = sl.writeLock();
                }
            }
        } finally {
            sl.unlock(stamp);
        }
    }
}

在上述代碼中,如果在執行樂觀讀操作時,另外的執行緒對共享變數進行了寫操作,則會把樂觀讀升級為悲觀讀鎖,如下代碼片段所示,

double distanceFromOrigin() { // A read-only method
    //樂觀讀
    long stamp = sl.tryOptimisticRead();
    double currentX = x, currentY = y;
    //判斷是否有執行緒對變數進行了寫操作
    //如果有執行緒對共享變數進行了寫操作
    //則sl.validate(stamp)會回傳false
    if (!sl.validate(stamp)) {
        //將樂觀讀升級為悲觀讀鎖
        stamp = sl.readLock();
        try {
            currentX = x;
            currentY = y;
        } finally {
            //釋放悲觀鎖
            sl.unlockRead(stamp);
        }
    }
    return Math.sqrt(currentX * currentX + currentY * currentY);
}

這種將樂觀讀升級為悲觀讀鎖的方式相比一直使用樂觀讀的方式更加合理,如果不升級為悲觀讀鎖,則程式會在一個回圈中反復執行樂觀讀操作,直到樂觀讀操作期間沒有執行緒執行寫操作,而在回圈中不斷的執行樂觀讀會消耗大量的CPU資源,升級為悲觀讀鎖是更加合理的一種方式,

StampedLock實作思想

StampedLock內部是基于CLH鎖實作的,CLH是一種自旋鎖,能夠保證沒有“饑餓現象”的發生,并且能夠保證FIFO(先進先出)的服務順序,

在CLH中,鎖維護一個等待執行緒佇列,所有申請鎖,但是沒有成功的執行緒都會存入這個佇列中,每一個節點代表一個執行緒,保存一個標記位(locked),用于判斷當前執行緒是否已經釋放鎖,當locked標記位為true時, 表示獲取到鎖,當locked標記位為false時,表示成功釋放了鎖,

當一個執行緒試圖獲得鎖時,取得等待佇列的尾部節點作為其前序節點,并使用類似如下代碼判斷前序節點是否已經成功釋放鎖:

while (pred.locked) {
    //省略操作 
}

只要前序節點(pred)沒有釋放鎖,則表示當前執行緒還不能繼續執行,因此會自旋等待;反之,如果前序執行緒已經釋放鎖,則當前執行緒可以繼續執行,

釋放鎖時,也遵循這個邏輯,執行緒會將自身節點的locked位置標記為false,后續等待的執行緒就能繼續執行了,也就是已經釋放了鎖,

StampedLock的實作思想總體來說,還是比較簡單的,這里就不展開講了,

StampedLock的注意事項

在讀多寫少的高并發環境下,StampedLock的性能確實不錯,但是它不能夠完全取代ReadWriteLock,在使用的時候,也需要特別注意以下幾個方面,

StampedLock不支持重入

沒錯,StampedLock是不支持重入的,也就是說,在使用StampedLock時,不能嵌套使用,這點在使用時要特別注意,

StampedLock不支持條件變數

第二個需要注意的是就是StampedLock不支持條件變數,無論是讀鎖還是寫鎖,都不支持條件變數,

StampedLock使用不當會導致CPU飆升

這點也是最重要的一點,在使用時需要特別注意:如果某個執行緒阻塞在StampedLock的readLock()或者writeLock()方法上時,此時呼叫阻塞執行緒的interrupt()方法中斷執行緒,會導致CPU飆升到100%,例如,下面的代碼所示,

public void testStampedLock() throws Exception{
    final StampedLock lock = new StampedLock();
    Thread thread01 = new Thread(()->{
        // 獲取寫鎖
        lock.writeLock();
        // 永遠阻塞在此處,不釋放寫鎖
        LockSupport.park();
    });
    thread01.start();
    // 保證thread01獲取寫鎖
    Thread.sleep(100);
    Thread thread02 = new Thread(()->
                           //阻塞在悲觀讀鎖
                           lock.readLock()
                          );
    thread02.start();
    // 保證T2阻塞在讀鎖
    Thread.sleep(100);
    //中斷執行緒thread02
    //會導致執行緒thread02所在CPU飆升
    thread02.interrupt();
    thread02.join();
}

運行上面的程式,會導致thread02執行緒所在的CPU飆升到100%,

這里,有很多小伙伴不太明白為啥LockSupport.park();會導致thread01會永遠阻塞,這里,冰河為你畫了一張執行緒的生命周期圖,如下所示,

這下明白了吧?在執行緒的生命周期中,有幾個重要的狀態需要說明一下,

  • NEW:初始狀態,執行緒被構建,但是還沒有呼叫start()方法,
  • RUNNABLE:可運行狀態,可運行狀態可以包括:運行中狀態和就緒狀態,
  • BLOCKED:阻塞狀態,處于這個狀態的執行緒需要等待其他執行緒釋放鎖或者等待進入synchronized,
  • WAITING:表示等待狀態,處于該狀態的執行緒需要等待其他執行緒對其進行通知或中斷等操作,進而進入下一個狀態,
  • TIME_WAITING:超時等待狀態,可以在一定的時間自行回傳,
  • TERMINATED:終止狀態,當前執行緒執行完畢,

看完這個執行緒的生命周期圖,知道為啥呼叫LockSupport.park();會使thread02阻塞了吧?

所以,在使用StampedLock時,一定要注意避免執行緒所在的CPU飆升的問題,那如何避免呢?

那就是使用StampedLock的readLock()方法或者讀鎖和使用writeLock()方法獲取寫鎖時,一定不要呼叫執行緒的中斷方法來中斷執行緒,如果不可避免的要中斷執行緒的話,一定要用StampedLock的readLockInterruptibly()方法獲取可中斷的讀鎖和使用StampedLock的writeLockInterruptibly()方法獲取可中斷的悲觀寫鎖,

最后,對于StampedLock的使用,JDK官方給出的StampedLock示例本身就是一個最佳實踐了,小伙伴們可以多看看JDK官方給出的StampedLock示例,多多體會下StampedLock的使用方式和背后原理與核心思想,

寫在最后

如果你想進大廠,想升職加薪,或者對自己現有的作業比較迷茫,都可以私信我交流,希望我的一些經歷能夠幫助到大家~~

推薦閱讀:

  • 《全網最全性能優化總結!!(冰河吐血整理,建議收藏)》
  • 《三天擼完了MyBatis,各位隨便問!!(冰河吐血整理,建議收藏)》
  • 《奉勸那些剛參加作業的學弟學妹們:要想進大廠,這些核心技能是你必須要掌握的!完整學習路線!!(建議收藏)》
  • 《奉勸那些剛參加作業的學弟學妹們:這些計算機與作業系統基礎知識越早知道越好!萬字長文太頂了!!(建議收藏)》
  • 《我用三天時間開發了一款老少皆宜的國民級游戲,支持播放音樂,現開放完整源代碼和注釋(建議收藏)!!》
  • 《我是全網最硬核的高并發編程作者,CSDN最值得關注的博主,大家同意嗎?(建議收藏)》
  • 《畢業五年,從月薪3000到年薪百萬,我掌握了哪些核心技能?(建議收藏)》
  • 《我入侵了隔壁妹子的Wifi,發現,,,(全程實戰干貨,建議收藏)》
  • 《千萬不要輕易嘗試“熊貓燒香”,這不,我后悔了!》
  • 《清明節偷偷訓練“熊貓燒香”,結果我的電腦為熊貓“獻身了”!》
  • 《7.3萬字肝爆Java8新特性,我不信你能看完!(建議收藏)》
  • 《在業務高峰期拔掉服務器電源是一種怎樣的體驗?》
  • 《全網最全Linux命令總結!!(史上最全,建議收藏)》
  • 《用Python寫了個工具,完美破解了MySQL!!(建議收藏)》
  • 《SimpleDateFormat類到底為啥不是執行緒安全的?(附六種解決方案,建議收藏)》

好了,今天就到這兒吧,小伙伴們點贊、收藏、評論,一鍵三連走起呀,我是冰河,我們下期見~~

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/289355.html

標籤:其他

上一篇:創業擼Java多年,老王準備換50萬的車了

下一篇:那些被裁掉的大齡程式員,為什么不聯合起來成立一個專收大齡程式員的公司?

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more