一区二区三区在线-一区二区三区亚洲视频-一区二区三区亚洲-一区二区三区午夜-一区二区三区四区在线视频-一区二区三区四区在线免费观看

服務器之家:專注于服務器技術及軟件下載分享
分類導航

PHP教程|ASP.NET教程|Java教程|ASP教程|編程技術|正則表達式|C/C++|IOS|C#|Swift|Android|VB|R語言|JavaScript|易語言|vb.net|

服務器之家 - 編程語言 - Java教程 - 并發編程之Semaphore原理與應用

并發編程之Semaphore原理與應用

2020-11-30 22:36今日頭條一角錢技術 Java教程

控制并發流程的工具類,作用就是幫助我們程序員更容易的讓線程之間合作,讓線程之間相互配合來滿足業務邏輯。比如讓線程A等待線程B執行完畢后再執行等合作策略。

 前言

控制并發流程的工具類,作用就是幫助我們程序員更容易的讓線程之間合作,讓線程之間相互配合來滿足業務邏輯。比如讓線程A等待線程B執行完畢后再執行等合作策略。

控制并發流程的工具類主要有:

并發編程之Semaphore原理與應用

簡介

Semaphore 信號量,許可,用于控制在一段時間內,可并發訪問執行的線程數量。它的作用是控制訪問特定資源的線程數目,底層依賴AQS的狀態State,是在生產當中比較常用的一個工具類。

關于 AQS,可以查看《并發編程之抽象隊列同步器AQS應用ReentrantLock》

一個信號量有且僅有 3 種操作,且它們全部是原子的。

  • 初始化、增加和減少。
  • 增加可以為一個進程解除阻塞。
  • 減少可以讓一個進程進入阻塞。

Semaphore 管理一系列許可證。

  • 每個 acquire() 方法阻塞,直到有一個許可證可以獲得然后拿走一個許可證。
  • 每個 release() 方法增加一個許可證,這可能會釋放一個阻塞的 acquire() 方法。
  • 不使用實際的許可對象,Semaphore 只對可用許可的號碼進行計數,并采取相應的行動。

Semaphore 在計數器不為 0 的時候對線程就放行,一旦達到 0,那么所有請求資源的新線程都會被阻塞,包括增加請求到許可的線程,Semaphore 是不可重入的。

  • 每一次請求一個許可都會導致計數器減少 1,同樣每次釋放一個許可都會導致計數器增加 1,一旦達到 0,新的許可請求線程將被掛起。

Semaphore 有兩種模式,公平模式 和 非公平模式 ,默認是非公平模式。

  • 公平模式就是調用 acquire 的順序就是獲取許可證的順序,遵循 FIFO。
  • 非公平模式是搶占式的,也就是有可能一個新的獲取線程恰好在一個許可證釋放時得到了這個許可證,而前面還有等待的線程。

應用場景

Semaphore可以用來做流量限制,特別是公共資源有限的應用場景,比如說數據庫連接。

由于 release() 釋放許可時,未對釋放許可數做限制,所有可以通過該方法增加總的許可數量; reducePermits() 方法可以減少總的許可數量,通過這兩個方法可以到達動態調整許可的

分析:假如有一個需求,需讀取幾個萬個文件的數據,因為都是IO密集型,我們可以啟動幾十個線程并發的讀取,但是如果讀取到內存后,還需要存儲到數據庫,而數據庫的連接數只有10個,這時候我們就必須要控制只有10個線程同時獲取到數據庫連接,否則會拋出異常提示無法連接數據庫。針對這種情況,我們就可以使用Semaphore來做流量控制。

代碼如下:

  1. package com.niuh.tools; 
  2.  
  3. import java.util.concurrent.ExecutorService; 
  4. import java.util.concurrent.Executors; 
  5. import java.util.concurrent.Semaphore; 
  6. import java.util.concurrent.TimeUnit; 
  7.  
  8. /** 
  9.  * <p> 
  10.  * Semaphore示例 
  11.  * </p> 
  12.  */ 
  13. public class SemaphoreRunner { 
  14.     /** 
  15.      * 線程數量 
  16.      */ 
  17.     private static final int THREAD_COUNT = 30; 
  18.  
  19.     /** 
  20.      * 線程池 
  21.      */ 
  22.     private static ExecutorService executor = Executors.newFixedThreadPool(THREAD_COUNT); 
  23.  
  24.     private static Semaphore semaphore = new Semaphore(10); 
  25.  
  26.     public static void main(String[] args) { 
  27.         for (int i = 0; i < THREAD_COUNT; i++) { 
  28.             executor.execute(new Runnable() { 
  29.                 public void run() { 
  30.                     try { 
  31.                         // 獲取一個"許可證" 
  32.                         semaphore.acquire(); 
  33.  
  34.                         // 模擬數據保存 
  35.                         TimeUnit.SECONDS.sleep(2); 
  36.                         System.out.println("save date..."); 
  37.  
  38.                         // 執行完后,歸還"許可證" 
  39.                         semaphore.release(); 
  40.                     } catch (InterruptedException e) { 
  41.                         e.printStackTrace(); 
  42.                     } 
  43.                 } 
  44.             }); 
  45.         } 
  46.         executor.shutdown(); 
  47.     } 

源碼分析

Semaphore 類圖

  • Semaphore 通過使用內部類 Syn 繼承 AQS 實現。
并發編程之Semaphore原理與應用

其內部主要變量和方法如下:

并發編程之Semaphore原理與應用

框架流程圖如下:

并發編程之Semaphore原理與應用

構造函數

  • permits 表示許可線程的數量
  • fair 表示公平性,如果這個設為 true 的話,下次執行的線程會是等待最久的線程
  1. public Semaphore(int permits) { 
  2.  sync = new NonfairSync(permits); 
  3. /** 
  4. * @param permits 總許可數 
  5. * @param fair fair=true 公平鎖 fair=false 非公平鎖 
  6. */ 
  7. public Semaphore(int permits, boolean fair) { 
  8.  sync = fair ? new FairSync(permits) : new NonfairSync(permits); 

內部類同步器

  1. abstract static class Sync extends AbstractQueuedSynchronizer { 
  2.     private static final long serialVersionUID = 1192457210091910933L; 
  3.     // 賦值setState為總許可數 
  4.     Sync(int permits) { 
  5.         setState(permits); 
  6.     } 
  7.     // 剩余許可數 
  8.     final int getPermits() { 
  9.         return getState(); 
  10.     } 
  11.     // 自旋 + CAS 非公平獲取 
  12.     final int nonfairTryAcquireShared(int acquires) { 
  13.         for (;;) { 
  14.             // 剩余可用許可數 
  15.             int available = getState(); 
  16.             // 本次獲取許可后,剩余許可 
  17.             int remaining = available - acquires; 
  18.             // 如果獲取后,剩余許可大于0,則CAS更新剩余許可,否則獲取更新失敗 
  19.             if (remaining < 0 || 
  20.                 compareAndSetState(available, remaining)) 
  21.                 return remaining; 
  22.         } 
  23.     } 
  24.     // 自旋 + CAS 釋放許可 
  25.     // 由于未對釋放許可數做限制,所以可以通過release動態增加許可數量 
  26.     protected final boolean tryReleaseShared(int releases) { 
  27.         for (;;) { 
  28.             // 當前剩余許可 
  29.             int current = getState(); 
  30.             // 許可可更新值 
  31.             int next = current + releases; 
  32.             // 如果許可更新值為負數,說明許可數量益處,拋出錯誤 
  33.             if (next < current) // overflow 
  34.                 throw new Error("Maximum permit count exceeded"); 
  35.             // CAS更新許可數量 
  36.             if (compareAndSetState(currentnext)) 
  37.                 return true
  38.         } 
  39.     } 
  40.     // 自旋 + CAS 減少許可數量 
  41.     final void reducePermits(int reductions) { 
  42.         for (;;) { 
  43.             // 當前剩余許可 
  44.             int current = getState(); 
  45.             // 更新值 
  46.             int next = current - reductions; 
  47.             // 如果更新值比當前剩余許可大,拋出益處 
  48.             if (next > current) // underflow 
  49.                 throw new Error("Permit count underflow"); 
  50.             // CAS 更新許可數 
  51.             if (compareAndSetState(currentnext)) 
  52.                 return
  53.         } 
  54.     } 
  55.     // 丟棄所有許可 
  56.     final int drainPermits() { 
  57.         for (;;) { 
  58.             int current = getState(); 
  59.             if (current == 0 || compareAndSetState(current, 0)) 
  60.                 return current
  61.         } 
  62.     } 

非公平模式

  1. /** 
  2. * 非公平模式 
  3. */ 
  4. static final class NonfairSync extends Sync { 
  5.     private static final long serialVersionUID = -2694183684443567898L; 
  6.  
  7.     NonfairSync(int permits) { 
  8.         super(permits); 
  9.     } 
  10.  
  11.     protected int tryAcquireShared(int acquires) { 
  12.         return nonfairTryAcquireShared(acquires); 
  13.     } 

公平模式

  1. /** 
  2. * 公平模式 
  3. */ 
  4. static final class FairSync extends Sync { 
  5.     private static final long serialVersionUID = 2014338818796000944L; 
  6.  
  7.     FairSync(int permits) { 
  8.         super(permits); 
  9.     } 
  10.     // 公平模式獲取許可 
  11.     // 公平模式不論許可是否充足,都會判斷同步隊列中是否線程在等待,如果有,獲取失敗,排隊阻塞 
  12.     protected int tryAcquireShared(int acquires) { 
  13.         for (;;) { 
  14.             // 如果有線程在排隊,立即返回 
  15.             if (hasQueuedPredecessors()) 
  16.                 return -1; 
  17.             // 自旋 + CAS獲取許可 
  18.             int available = getState(); 
  19.             int remaining = available - acquires; 
  20.             if (remaining < 0 || 
  21.                 compareAndSetState(available, remaining)) 
  22.                 return remaining; 
  23.         } 
  24.     } 

獲取許可

Semaphore 提供了兩種獲取資源的方式。

  • 響應中斷不響應中斷

響應中斷獲取資源

兩個方法支持 Interrupt 中斷機制,可使用 acquire() 方法每次獲取一個信號量,也可以使用 acquire(int permits) 方法獲取指定數量的信號量 。

從semaphore中獲取一個許可,線程會一直被阻塞直到獲取一個許可或是被中斷,獲取一個許可后立即返回,并把許可數減1,如果沒有可用的許可,當前線程會處于休眠狀態直到:

  1. 某些其他線程調用release方法,并且當前線程是下一個要被分配許可的線程
  2. 某些其他線程中斷當前線程

如果當前線程被acquire方法使得中斷狀態設置為on或者在等待許可時被中斷則拋出InterruptedException,并且清除當前線程的已中斷狀態。

acquire執行流程:

并發編程之Semaphore原理與應用
  1. public void acquire() throws InterruptedException { 
  2.  sync.acquireSharedInterruptibly(1); 
  3.  
  4. public void acquire(int permits) throws InterruptedException { 
  5.     if (permits < 0) throw new IllegalArgumentException(); 
  6.     sync.acquireSharedInterruptibly(permits); 
  7.  
  8.  
  9. public final void acquireSharedInterruptibly(int arg) 
  10.         throws InterruptedException { 
  11.     if (Thread.interrupted()) 
  12.         throw new InterruptedException(); 
  13.     // 獲取許可,剩余許可 >= 0,則獲取許可成功 <0 獲取許可失敗,進入排隊 
  14.     if (tryAcquireShared(arg) < 0) 
  15.         doAcquireSharedInterruptibly(arg); 
  16.  
  17. /** 
  18.  * 獲取許可失敗,當前線程進入同步隊列,排隊阻塞 
  19.  * @param arg the acquire argument 
  20.  */ 
  21. private void doAcquireSharedInterruptibly(int arg) 
  22.     throws InterruptedException { 
  23.     // 創建同步隊列節點,并入隊列 
  24.     final Node node = addWaiter(Node.SHARED); 
  25.     boolean failed = true
  26.     try { 
  27.         for (;;) { 
  28.             // 如果當前節點是第二個節點,嘗試獲取鎖 
  29.             final Node p = node.predecessor(); 
  30.             if (p == head) { 
  31.                 int r = tryAcquireShared(arg); 
  32.                 if (r >= 0) { 
  33.                     setHeadAndPropagate(node, r); 
  34.                     p.next = null; // help GC 
  35.                     failed = false
  36.                     return
  37.                 } 
  38.             } 
  39.             // 阻塞當前線程 
  40.             if (shouldParkAfterFailedAcquire(p, node) && 
  41.                 parkAndCheckInterrupt()) 
  42.                 throw new InterruptedException(); 
  43.         } 
  44.     } finally { 
  45.         if (failed) 
  46.             cancelAcquire(node); 
  47.     } 

代碼的執行步驟如下:

并發編程之Semaphore原理與應用

AQS 子類使用共享模式,需要實現 tryAcquireShared() 方法。

  1. 在公平鎖中還是與ReentrantLock中的操作一樣,先判斷同步隊列中是不是還有其他的等待線程,否則直接返回失敗。否則對 state 值進行減操作并返回剩下的信號量。
  2. 非公平鎖直接調用了父類中的 nonfairTryAcquireShared 和 ReentrantLock 一樣。
  1. // 非公平鎖的獲取方式 
  2. protected int tryAcquireShared(int acquires) { 
  3.     return nonfairTryAcquireShared(acquires); 
  4.  
  5.  
  6. final int nonfairTryAcquireShared(int acquires) { 
  7.     for (;;) { 
  8.         int available = getState();//獲取去中的信號量數 
  9.         int remaining = available - acquires;//剩余信號量數 
  10.         //1.信號量數大于0,獲取共享鎖,并設置執行compareAndSetState(available, remaining),返回剩余信號量數 
  11.         //2.信號量數小于等于0,直接返回負數 
  12.         if (remaining < 0 || compareAndSetState(available, remaining)) 
  13.             return remaining; 
  14.     } 
  15.  
  16. // 公平鎖獲取 
  17. protected int tryAcquireShared(int acquires) { 
  18.     for (;;) { 
  19.         if (hasQueuedPredecessors()) 
  20.             return -1;  
  21.         int available = getState(); 
  22.         int remaining = available - acquires; 
  23.         if (remaining < 0 || compareAndSetState(available, remaining)) 
  24.             return remaining; 
  25.     } 

變量 state 采用 volatile 可見修飾。

  1. /** 
  2.   * The synchronization state. 
  3. */ 
  4. private volatile int state; 
  5.   
  6. /** 
  7.  * Returns the current value of synchronization state. 
  8.  * This operation has memory semantics of a <tt>volatile</tt> read
  9.  * @return current state value 
  10. */ 
  11. protected final int getState() { 
  12.     return state; 

不響應中斷獲取資源

兩個方法不響應 Interrupt 中斷機制,其它功能與 acquire() 方法一致。

從semaphore中獲取一個許可,線程會一直被阻塞直到獲取一個許可或是被中斷,獲取一個許可后立即返回,并把許可數減1,如果沒有可用的許可,當前線程會處于休眠狀態直到:

  1. 某些其他線程調用release方法,并且當前線程是下一個要被分配許可的線程;
  2. 如果當前線程在等待許可時被中斷,那么它會接著等待,但是與沒有發生中斷相比,為線程分配許可的時間可能改變。
  1. public void acquireUninterruptibly() { 
  2.     sync.acquireShared(1); 
  3.  
  4. public void acquireUninterruptibly(int permits) { 
  5.     if (permits < 0) throw new IllegalArgumentException(); 
  6.     sync.acquireShared(permits); 

嘗試獲得信號量

嘗試獲得信號量有三個方法。

  • 嘗試獲取信號量,如果獲取成功則返回 true,否則馬上返回 false,不會阻塞當前線程。
  • 嘗試獲取信號量,如果在指定的時間內獲得信號量,則返回 true,否則返回 false。
  • 嘗試獲取指定數量的信號量,如果在指定的時間內獲得信號量,則返回 true,否則返回 false。
  1. public boolean tryAcquire() { 
  2.     return sync.nonfairTryAcquireShared(1) >= 0; 
  3.  
  4. public boolean tryAcquire(long timeout, TimeUnit unit) 
  5.         throws InterruptedException { 
  6.     return sync.tryAcquireSharedNanos(1, unit.toNanos(timeout)); 
  7.  
  8. public boolean tryAcquire(int permits, long timeout, TimeUnit unit) 
  9.         throws InterruptedException { 
  10.     if (permits < 0) throw new IllegalArgumentException(); 
  11.     return sync.tryAcquireSharedNanos(permits, unit.toNanos(timeout)); 

釋放歸還許可

release 方法,主要作用是釋放資源,需要保證 release 的執行,否則線程退出但是資源沒有釋放。

  • 一般代碼寫在 finally 中是最好的。
  • 并且獲取多少資源就要釋放多少資源,否則還是資源沒被正確釋放,如果一開始執行了 acquire(10) 最后釋放的時候不能只寫一個 release() 而是 release(10) 才對。
  1. //  嘗試釋放鎖 
  2. public final boolean release(int arg) { 
  3.     // 如果釋放鎖成功 喚醒同步隊列中的后繼節點 
  4.     if (tryRelease(arg)) { 
  5.         Node h = head; 
  6.         if (h != null && h.waitStatus != 0) 
  7.             unparkSuccessor(h); 
  8.         return true
  9.     } 
  10.     return false
  11. // 為了方便對比把兩個代碼放在一塊 可以看到 release 中的結構完全一樣 
  12. // 區別就在于 doReleaseShared 中有更多的判斷操作 
  13. public final boolean releaseShared(int arg) { 
  14.     if (tryReleaseShared(arg)) { 
  15.         doReleaseShared();  //在里面執行的 unparkSuccessor(h) 
  16.         return true
  17.     } 
  18.     return false

子類實現共享模式的類需要實現 tryReleaseShared() 方法判斷是否釋放成功。

  • 這個方法是一個 CAS 自旋,原因是因為 Semaphore 是一個共享鎖,可能有多個線程同時釋放資源,因此 CAS 操作可能失敗。
  1. // 由于未對釋放許可數做限制,所以可以通過release動態增加許可數量 
  2. protected final boolean tryReleaseShared(int releases) { 
  3.     for (;;) { 
  4.         //獲取當前許可數量 
  5.         int current = getState(); 
  6.         //計算回收后的數量 
  7.         int next = current + releases; 
  8.         if (next < current) // overflow 
  9.             throw new Error("Maximum permit count exceeded"); 
  10.         //CAS改變許可數量成功,返回true 
  11.         if (compareAndSetState(currentnext)) 
  12.             return true
  13.     } 

一旦 CAS 改變許可數量成功,就調用 doReleaseShared() 方法釋放阻塞的線程。

  1. private void doReleaseShared() { 
  2.     // 自旋,喚醒等待的第一個線程(其它線程將由第一個線程向后傳遞喚醒) 
  3.     for (;;) { 
  4.         Node h = head; 
  5.         if (h != null && h != tail) { 
  6.             int ws = h.waitStatus; 
  7.             if (ws == Node.SIGNAL) { 
  8.                 if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0)) 
  9.                     continue;            // loop to recheck cases 
  10.                 // 喚醒第一個等待線程 
  11.                 unparkSuccessor(h); 
  12.             } 
  13.             else if (ws == 0 && 
  14.                      !compareAndSetWaitStatus(h, 0, Node.PROPAGATE)) 
  15.                 continue;                // loop on failed CAS 
  16.         } 
  17.         if (h == head)                   // loop if head changed 
  18.             break; 
  19.     } 

其他方法

獲取當前剩余的信號量數量

  • 該方法返回 AQS 中 state 變量的值,當前剩余的信號量個數。
  1. public int availablePermits() { 
  2.     return sync.getPermits(); 
  3.  
  4. // Sync 
  5. final int getPermits() { 
  6.     return getState(); 

耗盡許可數量

  • 獲取并返回立即可用的所有許可。
  • Sync 類的drainPermits()方法,獲取 1 個信號量后將可用的信號量個數置為 0。例如總共有 10 個信號量,已經使用了 5 個,再調用 drainPermits() 方法后,可以獲得一個信號量,剩余 4 個信號量就消失了,總共可用的信號量就變成 6 個了。用 CAS 自旋將剩余資源清空。
  1. public int drainPermits() { 
  2.     return sync.drainPermits(); 
  3.  
  4. // Sync 
  5. final int drainPermits() { 
  6.     for (;;) { 
  7.         int current = getState(); 
  8.         if (current == 0 || compareAndSetState(current, 0)) 
  9.             return current
  10.     } 

縮減許可數量

  • 縮減必須是單向的,即只能減少不能增加。用 CAS 自旋在剩余共享資源上做縮減。
  1. protected void reducePermits(int reduction) { 
  2.     if (reduction < 0) throw new IllegalArgumentException(); 
  3.     sync.reducePermits(reduction); 
  4.  
  5. // Sync 
  6. final void reducePermits(int reductions) { 
  7.     for (;;) { 
  8.         int current = getState(); 
  9.         int next = current - reductions; 
  10.         if (next > current) // underflow 
  11.             throw new Error("Permit count underflow"); 
  12.         if (compareAndSetState(currentnext)) 
  13.             return
  14.     } 

上述兩個方法對共享資源數量的修改操作有兩點需要注意

  • 是不可逆的
  • 是對剩余資源的操作而不是全部資源,當剩余資源數目不足或已經為 0 時,方法就返回。
  • 正在被占用的資源不參與。

判斷 AQS 同步隊列中是否還有 Node

  1. public final boolean hasQueuedThreads() { 
  2.     return sync.hasQueuedThreads(); 
  3.  
  4. // AbstractQueuedSynchronizer 
  5. public final boolean hasQueuedThreads() { 
  6.    //頭結點不等于尾節點就說明鏈表中還有元素 
  7.    return head != tail; 

總結

Semaphore 的內部工作流程也是基于 AQS,不同于 CyclicBarrier 和 ReentrantLock,不會使用到 AQS 的條件隊列,都是在同步隊列中操作,只是當前線程會被 park。

Semaphore 是 JUC 包提供的一個典型的共享鎖,它通過自定義兩種不同的同步器(FairSync 和 NonfairSync)提供了公平和非公平兩種工作模式,兩種模式下分別提供了限時/不限時、響應中斷/不響應中斷的獲取資源的方法(限時獲取總是及時響應中斷的),而所有的釋放資源的 release() 操作是統一的。

PS:以上代碼提交在 Github :

https://github.com/Niuh-Study/niuh-juc-final.git

延伸 · 閱讀

精彩推薦
主站蜘蛛池模板: 娇妻被朋友征服中文字幕 | 亚洲 日韩 自拍 视频一区 | 亚洲精品国产在线观看 | 国产亚洲精品一区在线播 | 久久国产36精品色熟妇 | 青青青青在线视频 | 男女爆操| 图片专区小说专区卡通动漫 | 99精品视频在线观看 | 国产色视频网站 | 午夜精品网 | 亚洲a在线视频 | 欧美精品黑人巨大在线播放 | 无码人妻丰满熟妇啪啪网不卡 | 日本ssswww大学生 | 久久婷婷五月综合色丁香 | 91亚洲精品第一综合不卡播放 | 久久久精品成人免费看 | 亚洲系列第一页 | 小早川怜子视频在线观看 | 日韩一品在线播放视频一品免费 | 精品一久久香蕉国产线看观 | 日本69av| 亚洲婷婷在线视频 | 日韩一级片免费观看 | 羞羞答答免费人成黄页在线观看国产 | 紧身裙女教师miad711在线 | 精品手机在线1卡二卡3卡四卡 | 色香婷婷| 天美传媒果冻传媒星空传媒 | 亚洲国产精品久久久久 | 草草精品视频 | darkside动漫在线观看 | 好湿好紧太硬了我太爽了h 好湿好滑好硬好爽好深视频 | 午夜无码国产理论在线 | 成人免费一区二区三区在线观看 | 欧洲第一页| 无遮挡免费h肉动漫在线观看 | 全彩孕交漫画福利啪啪吧 | 亚欧精品在线观看 | 4hc44四虎www在线影院男同 |