死磕 java同步系列之CyclicBarrier源碼解析——有圖有真相

来源:https://www.cnblogs.com/tong-yuan/archive/2019/06/28/CyclicBarrier.html
-Advertisement-
Play Games

CyclicBarrier是什麼? CyclicBarrier具有什麼特性? CyclicBarrier與CountDownLatch的對比? ...


問題

(1)CyclicBarrier是什麼?

(2)CyclicBarrier具有什麼特性?

(3)CyclicBarrier與CountDownLatch的對比?

簡介

CyclicBarrier,迴環柵欄,它會阻塞一組線程直到這些線程同時達到某個條件才繼續執行。它與CountDownLatch很類似,但又不同,CountDownLatch需要調用countDown()方法觸發事件,而CyclicBarrier不需要,它就像一個柵欄一樣,當一組線程都到達了柵欄處才繼續往下走。

使用方法

public class CyclicBarrierTest {
    public static void main(String[] args) {
        CyclicBarrier cyclicBarrier = new CyclicBarrier(3);

        for (int i = 0; i < 3; i++) {
            new Thread(()->{
                System.out.println("before");
                try {
                    cyclicBarrier.await();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                } catch (BrokenBarrierException e) {
                    e.printStackTrace();
                }
                System.out.println("after");
            }).start();
        }
    }
}    

這段方法很簡單,使用一個CyclicBarrier使得三個線程保持同步,當三個線程同時到達cyclicBarrier.await();處大家再一起往下運行。

源碼分析

主要內部類

private static class Generation {
    boolean broken = false;
}

Generation,中文翻譯為代,一代人的代,用於控制CyclicBarrier的迴圈使用。

比如,上面示例中的三個線程完成後進入下一代,繼續等待三個線程達到柵欄處再一起執行,而CountDownLatch則做不到這一點,CountDownLatch是一次性的,無法重置其次數。

主要屬性

// 重入鎖
private final ReentrantLock lock = new ReentrantLock();
// 條件鎖,名稱為trip,絆倒的意思,可能是指線程來了先絆倒,等達到一定數量了再喚醒
private final Condition trip = lock.newCondition();
// 需要等待的線程數量
private final int parties;
// 當喚醒的時候執行的命令
private final Runnable barrierCommand;
// 代
private Generation generation = new Generation();
// 當前這一代還需要等待的線程數
private int count;

通過屬性可以看到,CyclicBarrier內部是通過重入鎖的條件鎖來實現的,那麼你可以腦補一下這個場景嗎?

彤哥來腦補一下:假如初始時count = parties = 3,當第一個線程到達柵欄處,count減1,然後把它加入到Condition的隊列中,第二個線程到達柵欄處也是如此,第三個線程到達柵欄處,count減為0,調用Condition的signalAll()通知另外兩個線程,然後把它們加入到AQS的隊列中,等待當前線程運行完畢,調用lock.unlock()的時候依次從AQS的隊列中喚醒一個線程繼續運行,也就是說實際上三個線程先依次(排隊)到達柵欄處,再依次往下運行。

以上純屬彤哥腦補的內容,真實情況是不是如此呢,且往後看。

構造方法

public CyclicBarrier(int parties, Runnable barrierAction) {
    if (parties <= 0) throw new IllegalArgumentException();
    // 初始化parties
    this.parties = parties;
    // 初始化count等於parties
    this.count = parties;
    // 初始化都到達柵欄處執行的命令
    this.barrierCommand = barrierAction;
}

public CyclicBarrier(int parties) {
    this(parties, null);
}

構造方法需要傳入一個parties變數,也就是需要等待的線程數。

await()方法

每個需要在柵欄處等待的線程都需要顯式地調用await()方法等待其它線程的到來。

public int await() throws InterruptedException, BrokenBarrierException {
    try {
        // 調用dowait方法,不需要超時
        return dowait(false, 0L);
    } catch (TimeoutException toe) {
        throw new Error(toe); // cannot happen
    }
}

private int dowait(boolean timed, long nanos)
    throws InterruptedException, BrokenBarrierException,
           TimeoutException {
    final ReentrantLock lock = this.lock;
    // 加鎖
    lock.lock();
    try {
        // 當前代
        final Generation g = generation;
        
        // 檢查
        if (g.broken)
            throw new BrokenBarrierException();

        // 中斷檢查
        if (Thread.interrupted()) {
            breakBarrier();
            throw new InterruptedException();
        }
        
        // count的值減1
        int index = --count;
        // 如果數量減到0了,走這段邏輯(最後一個線程走這裡)
        if (index == 0) {  // tripped
            boolean ranAction = false;
            try {
                // 如果初始化的時候傳了命令,這裡執行
                final Runnable command = barrierCommand;
                if (command != null)
                    command.run();
                ranAction = true;
                // 調用下一代方法
                nextGeneration();
                return 0;
            } finally {
                if (!ranAction)
                    breakBarrier();
            }
        }

        // 這個迴圈只有非最後一個線程可以走到
        for (;;) {
            try {
                if (!timed)
                    // 調用condition的await()方法
                    trip.await();
                else if (nanos > 0L)
                    // 超時等待方法
                    nanos = trip.awaitNanos(nanos);
            } catch (InterruptedException ie) {
                if (g == generation && ! g.broken) {
                    breakBarrier();
                    throw ie;
                } else {
                    // We're about to finish waiting even if we had not
                    // been interrupted, so this interrupt is deemed to
                    // "belong" to subsequent execution.
                    Thread.currentThread().interrupt();
                }
            }
            
            // 檢查
            if (g.broken)
                throw new BrokenBarrierException();

            // 正常來說這裡肯定不相等
            // 因為上面打破柵欄的時候調用nextGeneration()方法時generation的引用已經變化了
            if (g != generation)
                return index;
            
            // 超時檢查
            if (timed && nanos <= 0L) {
                breakBarrier();
                throw new TimeoutException();
            }
        }
    } finally {
        lock.unlock();
    }
}
private void nextGeneration() {
    // 調用condition的signalAll()將其隊列中的等待者全部轉移到AQS的隊列中
    trip.signalAll();
    // 重置count
    count = parties;
    // 進入下一代
    generation = new Generation();
}

dowait()方法里的整個邏輯分成兩部分:

(1)最後一個線程走上面的邏輯,當count減為0的時候,打破柵欄,它調用nextGeneration()方法通知條件隊列中的等待線程轉移到AQS的隊列中等待被喚醒,併進入下一代。

(2)非最後一個線程走下麵的for迴圈邏輯,這些線程會阻塞在condition的await()方法處,它們會加入到條件隊列中,等待被通知,當它們喚醒的時候已經更新換“代”了,這時候返回。

圖解

CyclicBarrier

學習過前面的章節,看這個圖很簡單了,看不懂的同學還需要把推薦的內容好好看看哦^^

總結

(1)CyclicBarrier會使一組線程阻塞在await()處,當最後一個線程到達時喚醒(只是從條件隊列轉移到AQS隊列中)前面的線程大家再繼續往下走;

(2)CyclicBarrier不是直接使用AQS實現的一個同步器;

(3)CyclicBarrier基於ReentrantLock及其Condition實現整個同步邏輯;

彩蛋

CyclicBarrier與CountDownLatch的異同?

(1)兩者都能實現阻塞一組線程等待被喚醒;

(2)前者是最後一個線程到達時自動喚醒;

(3)後者是通過顯式地調用countDown()實現的;

(4)前者是通過重入鎖及其條件鎖實現的,後者是直接基於AQS實現的;

(5)前者具有“代”的概念,可以重覆使用,後者只能使用一次;

(6)前者只能實現多個線程到達柵欄處一起運行;

(7)後者不僅可以實現多個線程等待一個線程條件成立,還能實現一個線程等待多個線程條件成立(詳見CountDownLatch那章使用案例);

推薦閱讀

1、死磕 java同步系列之開篇

2、死磕 java魔法類之Unsafe解析

3、死磕 java同步系列之JMM(Java Memory Model)

4、死磕 java同步系列之volatile解析

5、死磕 java同步系列之synchronized解析

6、死磕 java同步系列之自己動手寫一個鎖Lock

7、死磕 java同步系列之AQS起篇

8、死磕 java同步系列之ReentrantLock源碼解析(一)——公平鎖、非公平鎖

9、死磕 java同步系列之ReentrantLock源碼解析(二)——條件鎖

10、死磕 java同步系列之ReentrantLock VS synchronized

11、死磕 java同步系列之ReentrantReadWriteLock源碼解析

12、死磕 java同步系列之Semaphore源碼解析

13、死磕 java同步系列之CountDownLatch源碼解析

14、死磕 java同步系列之AQS終篇

15、死磕 java同步系列之StampedLock源碼解析


歡迎關註我的公眾號“彤哥讀源碼”,查看更多源碼系列文章, 與彤哥一起暢游源碼的海洋。

qrcode


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

-Advertisement-
Play Games
更多相關文章
  • 原文鏈接: "https://www.cnblogs.com/mddblog/p/11105450.html" 如果已經比較熟悉,可以跳過整體介紹,直接看常見問題部分 整體介紹 方法交換是runtime的重要體現,也是"消息語言"的核心。OC給開發者開放了很多介面,讓開發者也能全程參與這一過程。 原 ...
  • 安裝環境: 6台 centos7.4 在各個節點下載官網release包,可以自己去官網找: wget http://download.redis.io/releases/redis-5.0.5.tar.gz 解壓:tar -zxvf redis-5.0.5.tar.gz 進入目錄:cd redis ...
  • css樣式表使用 javafx中的css樣式,與html的有些不一樣,javafx中的css,是以 這種樣子的,具體可以參考文檔 "JavaFx css官方文檔" javafx中,css樣式有兩種使用方法 直接在fxml中使用 fxml引用css文件 fxml直接使用樣式 在某個控制項中使用style ...
  • Java面向對象編程有三大特性,它們是封裝、繼承和多態。 封裝: 字面上來說就是將一個東西包裹起來,這樣會掩飾掉內部的細節。怎麼樣?這麼一說是不是有點想法。 將類封裝起來,只提供想提供的方法介面,而不需要提供具體實現細節,這樣一來使得程式更加健壯。 另一方面比方說項目做到一半換人了,老闆現在要求吧代 ...
  • 多線性方程組的Gauss-Seidel迭代演算法的Python實現 ...
  • 針對多動態網頁的數據爬取,利用Selenium和bs4,csv庫存儲數據。 ...
  • 多線性方程(張量)組迭代演算法的原理請看這裡:若想看原理部分請留言,不方便公開分享 Gauss-Seidel迭代演算法:多線性方程組迭代演算法——Gauss-Seidel迭代演算法的Python實現 1.1 Jacobi迭代演算法 1.2 張量A的生成函數和向量b的生成函數: 1.3 對稱張量S的生成函數: ...
  • 1. 基礎知識 1.1 認識Lucene 維基百科的定義: Lucene是一套用於 全文檢索 和 搜索 的 開放源碼程式庫 ,由Apache軟體基金會支持和提供。Lucene提供了一個簡單卻強大的應用程式介面,能夠做全文索引和搜索,在Java開發環境里Lucene是一個成熟的免費開放源代碼工具;就其 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...