Semaphore源碼分析

1. Semaphore 定義

Semaphore 主要用于限量控制并發(fā)執(zhí)行代碼的工具類, 其內部通過 一個 permit 來進行定義并發(fā)執(zhí)行的數量, 其實可以理解為一個 限制數量的 ReadLock 獲取.

Semaphore 主要特點:

  1. Semaphore 方法的實現通過 Sync(AQS的繼承類)代理來實現

    2.支持公平與非公平模式, 都是在AQS的子類里面進行, 主要區(qū)分在 tryAcquire 里面

先看一個簡單的 demo

import org.apache.log4j.Logger;

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.Semaphore;
import java.util.concurrent.atomic.AtomicInteger;

/**
 * Created by xjk on 9/15/16.
 */
public class SemaphoreExample implements Runnable {

    private static Logger logger = Logger.getLogger(SemaphoreExample.class);

    private static final Semaphore semaphore = new Semaphore(3, true); // 初始化 Semaphore, 限流閥值 為3, 并且指定為公平模式
    private static final AtomicInteger counter = new AtomicInteger(0);

    public static void main(String[] args) {
        ExecutorService executorService = Executors.newFixedThreadPool(5);
        for (int i = 0; i < 5; i++) {
            executorService.execute(new SemaphoreExample()); // 執(zhí)行 permit 的獲取,
        }
        executorService.shutdown();
    }

    public void run() {
        while(counter.incrementAndGet() <= 5) { // Semaphore 被循環(huán)獲取 5次
            try {
                semaphore.acquire();                // 進行 permit 的獲取
            } catch (InterruptedException e) {
                logger.info("["+Thread.currentThread().getName()+"] Interrupted in acquire().");
            }
            logger.info("["+Thread.currentThread().getName()+"] semaphore acquired: "+counter.get());
            semaphore.release();
        }
    }
}

執(zhí)行結果

[2017-02-12 15:27:12,973] INFO  pool-1-thread-2 (SemaphoreExample.java:35) - [pool-1-thread-2] semaphore acquired: 2
[2017-02-12 15:27:12,973] INFO  pool-1-thread-3 (SemaphoreExample.java:35) - [pool-1-thread-3] semaphore acquired: 3
[2017-02-12 15:27:12,973] INFO  pool-1-thread-1 (SemaphoreExample.java:35) - [pool-1-thread-1] semaphore acquired: 2
[2017-02-12 15:27:12,978] INFO  pool-1-thread-5 (SemaphoreExample.java:35) - [pool-1-thread-5] semaphore acquired: 7
[2017-02-12 15:27:12,978] INFO  pool-1-thread-4 (SemaphoreExample.java:35) - [pool-1-thread-4] semaphore acquired: 6

執(zhí)行步驟:

上面的代碼不好直接看出, 但可以這樣理解, 有一段代碼, 再

2. Semaphore 構造函數

Semaphore 的功能均由內部類 NonfairSync, FairSync 代理來實現

/**
 * 使用非公平版本構件 Semaphore
 */
public KSemaphore(int permits){
    sync = new NonfairSync(permits);
}

/**
 * 指定版本構件 Semaphore
 */
public KSemaphore(int permits, boolean fair){
    sync = fair ? new FairSync(permits) : new NonfairSync(permits);
}

3. Semaphore 內部類 Sync
/**
 * Synchronization implementation for semaphore. Uses AQS state
 * to represent permits. Subclassed into fair and nonfair
 * versions
 */
/** AQS 的子類主要定義獲取釋放 lock */
abstract static class Sync extends KAbstractQueuedSynchronizer{
    private static final long serialVersionUID = 1192457210091910933L;

    /**
     * 指定 permit 初始化 Semaphore
     */
    Sync(int permits){
        setState(permits);
    }

    /**
     * 返回剩余 permit
     */
    final int getPermits(){
        return getState();
    }

    /**
     * 獲取 permit
     */
    final int nonfairTryAcquireShared(int acquires){
        for(;;){
            int available = getState();
            int remaining = available - acquires; // 判斷獲取 acquires 的剩余 permit 數目
            if(remaining < 0 ||
                    compareAndSetState(available, remaining)){ // cas改變 state
                return remaining;
            }
        }
    }

    /**
     * 釋放 lock
     */
    protected final boolean tryReleaseShared(int releases){
        for(;;){
            int current = getState();
            int next = current + releases;
            if(next < current){ // overflow
                throw new Error(" Maximum permit count exceeded");
            }
            if(compareAndSetState(current, next)){  // cas改變 state
                return true;
            }
        }
    }

    final void reducePermits(int reductions){ // 減少 permits
        for(;;){
            int current = getState();
            int next = current - reductions;
            if(next > current){ // underflow
                throw new Error(" Permit count underflow ");
            }
            if(compareAndSetState(current, next)){
                return;
            }
        }
    }

    /** 將 permit 置為 0 */
    final int drainPermits(){
        for(;;){
            int current = getState();
            if(current == 0 || compareAndSetState(current, 0)){
                return current;
            }
        }
    }

}

4. Semaphore 內部類 FairSync, NonfairSync

這兩個類均繼承 Sync, 兩者的區(qū)別主要在于在獲取時判斷是否有線程在 AQS 的 Sync Queue 里面進行等待獲取

/**
 * Nonfair version
 */
/** 非公平版本獲取 permit */
static final class NonfairSync extends Sync{

    private static final long serialVersionUID = -2694183684443567898L;

    NonfairSync(int permits) {
        super(permits);
    }

    @Override
    protected int tryAcquireShared(int acquires) {
        return nonfairTryAcquireShared(acquires);
    }
}

/**
 * Fair version
 */
/** 公平版本獲取 permit */
static final class FairSync extends Sync{

    private static final long serialVersionUID = 3245289457313211085L;

    FairSync(int permits) {
        super(permits);
    }

    /**
     * 公平版本獲取 permit 主要看是否由前繼節(jié)點
     */
    @Override
    protected int tryAcquireShared(int acquires) {
        for(;;){
            if(hasQueuedPredecessors()){ // 1\. 判斷是否Sync Queue 里面是否有前繼節(jié)點
                return -1;
            }
            int available = getState();
            int remaining = available - acquires;
            if(remaining < 0 ||
                    compareAndSetState(available, remaining)){ // 2\. cas 改變state
                return remaining;
            }
        }
    }
}

5. Semaphore permit 獲取方法

下面這些方法主要通過內部類 Sync, FairSync, NonFairSync 來進行實現

/**
 * 調用 acquireSharedInterruptibly 響應中斷的方式獲取 permit
 */
public void acquire() throws InterruptedException{
    sync.acquireSharedInterruptibly(1);
}

/**
 * 調用 acquireUninterruptibly 非響應中斷的方式獲取 permit
 */
public void acquireUninterruptibly(){
    sync.acquireShared(1);
}

/**
 * 嘗試獲取 permit
 */
public boolean tryAcquire(){
    return sync.nonfairTryAcquireShared(1) >= 0;
}

/**
 * 嘗試的獲取 permit, 支持超時與中斷
 */
public boolean tryAcquire(long timeout, TimeUnit unit) throws InterruptedException{
    return sync.tryAcquireSharedNanos(1, unit.toNanos(timeout));
}

/**
 * 支持中斷的獲取permit
 */
public void acquire(int permits) throws InterruptedException{
    if(permits < 0){
        throw new IllegalArgumentException();
    }
    sync.acquireSharedInterruptibly(permits);
}

/**
 * 不響應中斷的獲取 permit
 */
public void acquireUninterruptibly(int permits){
    if(permits < 0) throw new IllegalArgumentException();
    sync.acquireShared(permits);
}

/**
 * 嘗試獲取 permit
 */
public boolean tryAcquire(int permits){
    if(permits < 0) throw new IllegalArgumentException();
    return sync.nonfairTryAcquireShared(permits) >= 0;
}

/**
 * 嘗試 支持超時機制, 支持中斷 的獲取 permit
 */
public boolean tryAcquire(int permits, long timout, TimeUnit unit) throws InterruptedException{
    if(permits < 0) throw new IllegalArgumentException();
    return sync.tryAcquireSharedNanos(permits, unit.toNanos(timout));
}

6. Semaphore permit 釋放方法
/**
 * 釋放 permit
 */
public void release(){
    sync.releaseShared(1);
}

/**
 * 釋放 permit
 */
public void release(int permits){
    if(permits < 0) throw new IllegalArgumentException();
    sync.releaseShared(permits);
}

7. Semaphore 工具類方法
/**
 * 返回可用的 permit
 */
public int availablePermits(){
    return sync.getPermits();
}

/**
 * 消耗光 permit
 */
public int drainPermits(){
    return sync.drainPermits();
}

/**
 * 減少 reduction 個permit
 */
protected void reducePermits(int reduction){
   if(reduction < 0) throw new IllegalArgumentException();
    sync.reducePermits(reduction);
}

/**
 * 判斷是否是公平版本
 */
public boolean isFair(){
    return sync instanceof FairSync;
}

/**
 * 返回 AQS 中 Sync Queue 里面的等待線程
 */
public final boolean hasQueuedThreads(){
    return sync.hasQueuedThreads();
}

/**
 * 返回 AQS 中 Sync Queue 里面的等待線程長度
 */
public final int getQueueLength(){
    return sync.getQueueLength();
}

/**
 * 返回 AQS 中 Sync Queue 里面的等待線程
 */
protected Collection<Thread> getQueueThreads(){
    return sync.getQueuedThreads();
}

8. 總結

Semaphore 通過 AQS中的 state 來進行控制 permit 的獲取控制, 其實它就是一個限制數量的 ReadLock; 但要真正理解 Semaphore, 還需要理解 AbstractQueuedSynchronizer

?著作權歸作者所有,轉載或內容合作請聯系作者
  • 序言:七十年代末屠尊,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子欣范,更是在濱河造成了極大的恐慌败砂,老刑警劉巖梅惯,帶你破解...
    沈念sama閱讀 218,755評論 6 507
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡梭依,警方通過查閱死者的電腦和手機,發(fā)現死者居然都...
    沈念sama閱讀 93,305評論 3 395
  • 文/潘曉璐 我一進店門典尾,熙熙樓的掌柜王于貴愁眉苦臉地迎上來役拴,“玉大人,你說我怎么就攤上這事钾埂『尤颍” “怎么了?”我有些...
    開封第一講書人閱讀 165,138評論 0 355
  • 文/不壞的土叔 我叫張陵褥紫,是天一觀的道長姜性。 經常有香客問我,道長髓考,這世上最難降的妖魔是什么部念? 我笑而不...
    開封第一講書人閱讀 58,791評論 1 295
  • 正文 為了忘掉前任,我火速辦了婚禮氨菇,結果婚禮上儡炼,老公的妹妹穿的比我還像新娘。我一直安慰自己查蓉,他們只是感情好乌询,可當我...
    茶點故事閱讀 67,794評論 6 392
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著豌研,像睡著了一般妹田。 火紅的嫁衣襯著肌膚如雪竣灌。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 51,631評論 1 305
  • 那天秆麸,我揣著相機與錄音初嘹,去河邊找鬼。 笑死沮趣,一個胖子當著我的面吹牛屯烦,可吹牛的內容都是我干的。 我是一名探鬼主播房铭,決...
    沈念sama閱讀 40,362評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼驻龟,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了缸匪?” 一聲冷哼從身側響起翁狐,我...
    開封第一講書人閱讀 39,264評論 0 276
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎凌蔬,沒想到半個月后露懒,有當地人在樹林里發(fā)現了一具尸體,經...
    沈念sama閱讀 45,724評論 1 315
  • 正文 獨居荒郊野嶺守林人離奇死亡砂心,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 37,900評論 3 336
  • 正文 我和宋清朗相戀三年懈词,在試婚紗的時候發(fā)現自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片辩诞。...
    茶點故事閱讀 40,040評論 1 350
  • 序言:一個原本活蹦亂跳的男人離奇死亡坎弯,死狀恐怖,靈堂內的尸體忽然破棺而出译暂,到底是詐尸還是另有隱情抠忘,我是刑警寧澤,帶...
    沈念sama閱讀 35,742評論 5 346
  • 正文 年R本政府宣布外永,位于F島的核電站崎脉,受9級特大地震影響,放射性物質發(fā)生泄漏象迎。R本人自食惡果不足惜荧嵌,卻給世界環(huán)境...
    茶點故事閱讀 41,364評論 3 330
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望砾淌。 院中可真熱鬧,春花似錦谭网、人聲如沸汪厨。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,944評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽劫乱。三九已至织中,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間衷戈,已是汗流浹背狭吼。 一陣腳步聲響...
    開封第一講書人閱讀 33,060評論 1 270
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留殖妇,地道東北人刁笙。 一個月前我還...
    沈念sama閱讀 48,247評論 3 371
  • 正文 我出身青樓,卻偏偏與公主長得像谦趣,于是被迫代替她去往敵國和親疲吸。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 44,979評論 2 355

推薦閱讀更多精彩內容