詳解Java 信號量Semaphore
Semaphore也是一個同步器,和前面兩篇說的CountDownLatch和CyclicBarrier不同,這是遞增的,初始化的時候可以指定一個值,但是不需要知道需要同步的線程個數(shù),只需要在同步的地方調(diào)用acquire方法時指定需要同步的線程個數(shù);
一.簡單使用
同步兩個子線程,只有其中兩個子線程執(zhí)行完畢,主線程才會執(zhí)行:
package com.example.demo.study; import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors; import java.util.concurrent.Semaphore; public class Study0217 { //創(chuàng)建一個信號量的實例,信號量初始值為0 static Semaphore semaphore = new Semaphore(0); public static void main(String[] args) throws Exception { ExecutorService pool = Executors.newFixedThreadPool(3); pool.submit(()->{ System.out.println("Thread1---start"); //信號量加一 semaphore.release(); }); pool.submit(()->{ System.out.println("Thread2---start"); //信號量加一 semaphore.release(); }); pool.submit(()->{ System.out.println("Thread3---start"); //信號量加一 semaphore.release(); }); //等待兩個子線程執(zhí)行完畢就放過,必須要信號量等于2才放過 semaphore.acquire(2); System.out.println("兩個子線程執(zhí)行完畢"); //關閉線程池,正在執(zhí)行的任務繼續(xù)執(zhí)行 pool.shutdown(); } }
這個信號量也可以復用,類似CyclicBarrier:
package com.example.demo.study; import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors; import java.util.concurrent.Semaphore; public class Study0217 { //創(chuàng)建一個信號量的實例,信號量初始值為0 static Semaphore semaphore = new Semaphore(0); public static void main(String[] args) throws Exception { ExecutorService pool = Executors.newFixedThreadPool(3); pool.submit(()->{ System.out.println("Thread1---start"); //信號量加一 semaphore.release(); }); pool.submit(()->{ System.out.println("Thread2---start"); //信號量加一 semaphore.release(); }); //等待兩個子線程執(zhí)行完畢就放過,必須要信號量等于2才放過 semaphore.acquire(2); System.out.println("子線程1,2執(zhí)行完畢"); pool.submit(()->{ System.out.println("Thread3---start"); //信號量加一 semaphore.release(); }); pool.submit(()->{ System.out.println("Thread4---start"); //信號量加一 semaphore.release(); }); semaphore.acquire(2); System.out.println("子線程3,4執(zhí)行完畢"); //關閉線程池,正在執(zhí)行的任務繼續(xù)執(zhí)行 pool.shutdown(); } }
二.信號量原理
看看下面這個圖,可以知道信號量Semaphore還是根據(jù)AQS實現(xiàn)的,內(nèi)部有個Sync工具類操作AQS,還分為公平策略和非公平策略;
構造器:
//默認是非公平策略 public Semaphore(int permits) { sync = new NonfairSync(permits); } //可以根據(jù)第二個參數(shù)選擇是公平策略還是非公平策略 public Semaphore(int permits, boolean fair) { sync = fair ? new FairSync(permits) : new NonfairSync(permits); }
acquire(int permits)方法:
public void acquire(int permits) throws InterruptedException { if (permits < 0) throw new IllegalArgumentException(); sync.acquireSharedInterruptibly(permits); } //AQS中的方法 public final void acquireSharedInterruptibly(int arg) throws InterruptedException { if (Thread.interrupted()) throw new InterruptedException(); //這里根據(jù)子類是公平策略還是非公平策略 if (tryAcquireShared(arg) < 0) //獲取失敗會進入這里,將線程放入阻塞隊列,然后再嘗試,還是失敗的話就調(diào)用park方法掛起當前線程 doAcquireSharedInterruptibly(arg); } //非公平策略 protected int tryAcquireShared(int acquires) { return nonfairTryAcquireShared(acquires); } final int nonfairTryAcquireShared(int acquires) { //一個無限循環(huán),獲取state剩余的信號量,因為每調(diào)用一次release()方法的話,信號量就會加一,這里將 //最新的信號量減去傳進來的參數(shù)比較,比如有兩個線程,其中一個線程已經(jīng)調(diào)用了release方法,然后調(diào)用acquire(2)方法,那么 //這里remaining的值就是-1,返回-1,然后當前線程就會被丟到阻塞隊列中去了;如果另外一個線程也調(diào)用了release方法, //那么此時的remaining==0,所以在這里的if中會調(diào)用CAS將0設置到state // for (;;) { int available = getState(); int remaining = available - acquires; if (remaining < 0 || compareAndSetState(available, remaining)) return remaining; } } //公平策略 //和上面非公平差不多,只不過這里會查看阻塞隊列中當前節(jié)點前面有沒有前驅(qū)節(jié)點,有的話直接返回-1, //就會把當前線程丟到阻塞隊列中阻塞去了,沒有前驅(qū)節(jié)點的話,就跟非公平模式一樣的了 protected int tryAcquireShared(int acquires) { for (;;) { if (hasQueuedPredecessors()) return -1; int available = getState(); int remaining = available - acquires; if (remaining < 0 ||compareAndSetState(available, remaining)) return remaining; } }
再看看release(int permits)方法:
//這個方法的作用就是將信號量加一 public void release(int permits) { if (permits < 0) throw new IllegalArgumentException(); sync.releaseShared(permits); } //AQS中方法 public final boolean releaseShared(int arg) { //tryReleaseShared嘗試釋放資源 if (tryReleaseShared(arg)) { //釋放資源成功就調(diào)用park方法喚醒喚醒AQS隊列中最前面的節(jié)點中的線程 doReleaseShared(); return true; } return false; } protected final boolean tryReleaseShared(int releases) { //一個無限循環(huán),獲取state,然后加上傳進去的參數(shù),如果新的state的值小于舊的state,說明已經(jīng)超過了state的最大值,溢出了 //沒有溢出的話,就用CAS更新state的值 for (;;) { int current = getState(); int next = current + releases; if (next < current) // overflow throw new Error("Maximum permit count exceeded"); if (compareAndSetState(current, next)) return true; } } private void doReleaseShared() { for (;;) { Node h = head; if (h != null && h != tail) { int ws = h.waitStatus; //ws==Node.SIGNAL表示節(jié)點中線程需要被喚醒 if (ws == Node.SIGNAL) { if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0)) continue; // loop to recheck cases //調(diào)用阻塞隊列中線程的unpark方法喚醒線程 unparkSuccessor(h); } //ws == 0表示節(jié)點中線程是初始狀態(tài) else if (ws == 0 && !compareAndSetWaitStatus(h, 0, Node.PROPAGATE)) continue; // loop on failed CAS } if (h == head) // loop if head changed break; } }
以最上面的例子簡單說一下,其實不是很難,首先線程1和線程2分別去調(diào)用release方法,這個方法里面會將AQS中的state加一,但是在執(zhí)行這個操作之前,主線程肯定會先到acquire(2),在這個方法里面,假如默認使用非公平策略,首先獲取當前的信號量state(state的初始值是0),用當前信號量減去2,如果小于0,那么當前主線程就會丟到AQS隊列中阻塞;
這個時候線程1的release方法執(zhí)行了,于是就把信號量state加一(此時state==1),CAS更新state為一,成功的話,就調(diào)用doReleaseShared()方法喚醒AQS阻塞隊列中最先掛起的線程(這里就是因為調(diào)用acquire方法而阻塞的主線程),主線程喚醒之后又會去獲取最新的信號量,與2比較,發(fā)現(xiàn)還是小于0,于是又會阻塞;
線程2此時的release方法執(zhí)行完成,重復線程一的操作,主線程喚醒之后(此時state==2),又去獲取最新的信號量發(fā)現(xiàn)是2,減去acquire方法的參數(shù)2等于0,于是就用CAS更新state的值,然后acquire方法也就執(zhí)行完畢,主線程繼續(xù)執(zhí)行后面的代碼;
其實信號量還是很有意思的,記得在項目里,有人利用信號量實現(xiàn)了一個故障隔離,什么時候我可以把整理之后的代碼貼出來分享一下,還是很有意思的,就跟springcloud的熔斷機制差不多,場景是:比如你在service的一個方法調(diào)用第三方的接口,你不知道調(diào)不調(diào)得通,而且你不希望每次前端過來都會去調(diào)用,比如當調(diào)用失敗的次數(shù)超過100次,那么五分鐘之后才會再去實際調(diào)用這個第三方服務!這五分鐘內(nèi)前調(diào)用這個服務,就會觸發(fā)我們這個故障隔離的機制,向前端返回一個特定的錯誤碼和錯誤信息!
以上就是詳解Java 信號量Semaphore的詳細內(nèi)容,更多關于Java 信號量Semaphore的資料請關注腳本之家其它相關文章!
相關文章
SpringBoot Mybatis批量插入Oracle數(shù)據(jù)庫數(shù)據(jù)
這篇文章主要介紹了SpringBoot Mybatis批量插入Oracle數(shù)據(jù)庫數(shù)據(jù),文章圍繞主題展開詳細的內(nèi)容介紹,具有一定的參考價值,需要的小伙伴可以參考一下2022-08-08解決springmvc使用@PathVariable路徑匹配問題
這篇文章主要介紹了解決springmvc使用@PathVariable路徑匹配問題,具有很好的參考價值,希望對大家有所幫助。一起跟隨小編過來看看吧2021-02-02SpringCloud2020.0.x版UnderTow AccessLog相關配置簡介
本文詳細介紹了SpringCloud中AccessLog的相關配置,我們可以根據(jù)文中的相關數(shù)據(jù)配置出所需的AccessLog的信息以及格式,感興趣的小伙伴可以參考一下2021-08-08Spring操作JdbcTemplate數(shù)據(jù)庫的方法學習
這篇文章主要為大家介紹了Spring操作JdbcTemplate數(shù)據(jù)庫方法學習,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進步,早日升職加薪2022-05-05