Semaphore(信号量)是JUC包中比较常用到的一个类，它是AQS共享模式的一个应用，可以允许多个线程同时对共享资源进行操作，并且可以有效的控制并发数，利用它可以很好的实现流量控制。Semaphore提供了一个许可证的概念，可以把这个许可证看作公共汽车车票，只有成功获取车票的人才能够上车，并且车票是有一定数量的，不可能毫无限制的发下去，这样就会导致公交车超载。所以当车票发完的时候(公交车以满载)，其他人就只能等下一趟车了。如果中途有人下车，那么他的位置将会空闲出来，因此如果这时其他人想要上车的话就又可以获得车票了。利用Semaphore可以实现各种池，我们在本篇末尾将会动手写一个简易的数据库连接池。首先我们来看一下Semaphore的构造器。
11 //构造器1 22 public Semaphore(int permits) { 33 sync = new NonfairSync(permits); 44 } 55 66 //构造器2 77 public Semaphore(int permits, boolean fair) { 88 sync = fair ? new FairSync(permits) : new NonfairSync(permits); 99 }
Semaphore提供了两个带参构造器，没有提供无参构造器。这两个构造器都必须传入一个初始的许可证数量，使用构造器1构造出来的信号量在获取许可证时会采用非公平方式获取，使用构造器2可以通过参数指定获取许可证的方式(公平or非公平)。Semaphore主要对外提供了两类API，获取许可证和释放许可证，默认的是获取和释放一个许可证，也可以传入参数来同时获取和释放多个许可证。在本篇中我们只讲每次获取和释放一个许可证的情况。
1.获取许可证
1 1 //获取一个许可证(响应中断) 2 2 public void acquire() throws InterruptedException { 3 3 sync.acquireSharedInterruptibly(1); 4 4 } 5 5 6 6 //获取一个许可证(不响应中断) 7 7 public void acquireUninterruptibly() { 8 8 sync.acquireShared(1); 9 9 } 1010 1111 //尝试获取许可证(非公平获取) 1212 public boolean tryAcquire() { 1313 return sync.nonfairTryAcquireShared(1) >= 0; 1414 } 1515 1616 //尝试获取许可证(定时获取) 1717 public boolean tryAcquire(long timeout, TimeUnit unit) throws InterruptedException { 1818 return sync.tryAcquireSharedNanos(1, unit.toNanos(timeout)); 1919 }
上面的API是Semaphore提供的默认获取许可证操作。每次只获取一个许可证，这也是现实生活中较常遇到的情况。除了直接获取还提供了尝试获取，直接获取操作在失败之后可能会阻塞线程，而尝试获取则不会。另外还需注意的是tryAcquire方法是使用非公平方式尝试获取的。在平时我们比较常用到的是acquire方法去获取许可证。下面我们就来看看它是怎样获取的。可以看到acquire方法里面直接就是调用sync.acquireSharedInterruptibly(1)，这个方法是AQS里面的方法，我们在讲AQS源码系列文章的时候曾经讲过，现在我们再来回顾一下。
1 1 //以可中断模式获取锁(共享模式) 2 2 public final void acquireSharedInterruptibly(int arg) throws InterruptedException { 3 3 //首先判断线程是否中断, 如果是则抛出异常 4 4 if (Thread.interrupted()) { 5 5 throw new InterruptedException(); 6 6 } 7 7 //1.尝试去获取锁 8 8 if (tryAcquireShared(arg) < 0) { 9 9 //2. 如果获取失败则进人该方法 1010 doAcquireSharedInterruptibly(arg); 1111 } 1212 }
acquireSharedInterruptibly方法首先就是去调用tryAcquireShared方法去尝试获取，tryAcquireShared在AQS里面是抽象方法，FairSync和NonfairSync这两个派生类实现了该方法的逻辑。FairSync实现的是公平获取的逻辑，而NonfairSync实现的非公平获取的逻辑。
1 1 abstract static class Sync extends AbstractQueuedSynchronizer { 2 2 //非公平方式尝试获取 3 3 final int nonfairTryAcquireShared(int acquires) { 4 4 for (;;) { 5 5 //获取可用许可证 6 6 int available = getState(); 7 7 //获取剩余许可证 8 8 int remaining = available - acquires; 9 9 //1.如果remaining小于0则直接返回remaining 1010 //2.如果remaining大于0则先更新同步状态再返回remaining 1111 if (remaining < 0 || compareAndSetState(available, remaining)) { 1212 return remaining; 1313 } 1414 } 1515 } 1616 } 1717 1818 //非公平同步器 1919 static final class NonfairSync extends Sync { 2020 private static final long serialVersionUID = -2694183684443567898L; 2121 2222 NonfairSync(int permits) { 2323 super(permits); 2424 } 2525 2626 //尝试获取许可证 2727 protected int tryAcquireShared(int acquires) { 2828 return nonfairTryAcquireShared(acquires); 2929 } 3030 } 3131 3232 //公平同步器 3333 static final class FairSync extends Sync { 3434 private static final long serialVersionUID = 2014338818796000944L; 3535 3636 FairSync(int permits) { 3737 super(permits); 3838 } 3939 4040 //尝试获取许可证 4141 protected int tryAcquireShared(int acquires) { 4242 for (;;) { 4343 //判断同步队列前面有没有人排队 4444 if (hasQueuedPredecessors()) { 4545 //如果有的话就直接返回-1，表示尝试获取失败 4646 return -1; 4747 } 4848 //获取可用许可证 4949 int available = getState(); 5050 //获取剩余许可证 5151 int remaining = available - acquires; 5252 //1.如果remaining小于0则直接返回remaining 5353 //2.如果remaining大于0则先更新同步状态再返回remaining 5454 if (remaining < 0 || compareAndSetState(available, remaining)) { 5555 return remaining; 5656 } 5757 } 5858 } 5959 }
这里需要注意的是NonfairSync的tryAcquireShared方法直接调用的是nonfairTryAcquireShared方法，这个方法是在父类Sync里面的。非公平获取锁的逻辑是先取出当前同步状态(同步状态表示许可证个数)，将当前同步状态减去参入的参数，如果结果不小于0的话证明还有可用的许可证，那么就直接使用CAS操作更新同步状态的值，最后不管结果是否小于0都会返回该结果值。这里我们要了解tryAcquireShared方法返回值的含义，返回负数表示获取失败，零表示当前线程获取成功但后续线程不能再获取，正数表示当前线程获取成功并且后续线程也能够获取。我们再来看acquireSharedInterruptibly方法的代码。
1 1 //以可中断模式获取锁(共享模式) 2 2 public final void acquireSharedInterruptibly(int arg) throws InterruptedException { 3 3 //首先判断线程是否中断, 如果是则抛出异常 4 4 if (Thread.interrupted()) { 5 5 throw new InterruptedException(); 6 6 } 7 7 //1.尝试去获取锁 8 8 //负数：表示获取失败 9 9 //零值：表示当前线程获取成功, 但是后继线程不能再获取了 1010 //正数：表示当前线程获取成功, 并且后继线程同样可以获取成功 1111 if (tryAcquireShared(arg) < 0) { 1212 //2. 如果获取失败则进人该方法 1313 doAcquireSharedInterruptibly(arg); 1414 } 1515 }
如果返回的remaining小于0的话就代表获取失败，因此tryAcquireShared(arg) < 0就为true，所以接下来就会调用doAcquireSharedInterruptibly方法，这个方法我们在讲AQS的时候讲过，它会将当前线程包装成结点放入同步队列尾部，并且有可能挂起线程。这也是当remaining小于0时线程会排队阻塞的原因。而如果返回的remaining>=0的话就代表当前线程获取成功，因此tryAcquireShared(arg) < 0就为flase，所以就不会再去调用doAcquireSharedInterruptibly方法阻塞当前线程了。以上是非公平获取的整个逻辑，而公平获取时仅仅是在此之前先去调用hasQueuedPredecessors方法判断同步队列是否有人在排队，如果有的话就直接return -1表示获取失败，否则才继续执行下面和非公平获取一样的步骤。
2.释放许可证
11 //释放一个许可证 22 public void release() { 33 sync.releaseShared(1); 44 }
调用release方法是释放一个许可证，它的操作很简单，就调用了AQS的releaseShared方法，我们来看看这个方法。
1 1 //释放锁的操作(共享模式) 2 2 public final boolean releaseShared(int arg) { 3 3 //1.尝试去释放锁 4 4 if (tryReleaseShared(arg)) { 5 5 //2.如果释放成功就唤醒其他线程 6 6 doReleaseShared(); 7 7 return true; 8 8 } 9 9 return false; 1010 }
AQS的releaseShared方法首先调用tryReleaseShared方法尝试释放锁，这个方法的实现逻辑在子类Sync里面。
1 1 abstract static class Sync extends AbstractQueuedSynchronizer { 2 2 ... 3 3 //尝试释放操作 4 4 protected final boolean tryReleaseShared(int releases) { 5 5 for (;;) { 6 6 //获取当前同步状态 7 7 int current = getState(); 8 8 //将当前同步状态加上传入的参数 9 9 int next = current + releases; 1010 //如果相加结果小于当前同步状态的话就报错 1111 if (next < current) { 1212 throw new Error("Maximum permit count exceeded"); 1313 } 1414 //以CAS方式更新同步状态的值, 更新成功则返回true, 否则继续循环 1515 if (compareAndSetState(current, next)) { 1616 return true; 1717 } 1818 } 1919 } 2020 ... 2121 }
可以看到tryReleaseShared方法里面采用for循环进行自旋，首先获取同步状态，将同步状态加上传入的参数，然后以CAS方式更新同步状态，更新成功就返回true并跳出方法，否则就继续循环直到成功为止，这就是Semaphore释放许可证的流程。
3.动手写个连接池
Semaphore代码并没有很复杂，常用的操作就是获取和释放一个许可证，这些操作的实现逻辑也都比较简单，但这并不妨碍Semaphore的广泛应用。下面我们就来利用Semaphore实现一个简单的数据库连接池，通过这个例子希望读者们能更加深入的掌握Semaphore的运用。
1 1 public class ConnectPool { 2 2 3 3 //连接池大小 4 4 private int size; 5 5 //数据库连接集合 6 6 private Connect[] connects; 7 7 //连接状态标志 8 8 private boolean[] connectFlag; 9 9 //剩余可用连接数 1010 private volatile int available; 1111 //信号量 1212 private Semaphore semaphore; 1313 1414 //构造器 1515 public ConnectPool(int size) { 1616 this.size = size; 1717 this.available = size; 1818 semaphore = new Semaphore(size, true); 1919 connects = new Connect[size]; 2020 connectFlag = new boolean[size]; 2121 initConnects(); 2222 } 2323 2424 //初始化连接 2525 private void initConnects() { 2626 //生成指定数量的数据库连接 2727 for(int i = 0; i < this.size; i++) { 2828 connects[i] = new Connect(); 2929 } 3030 } 3131 3232 //获取数据库连接 3333 private synchronized Connect getConnect(){ 3434 for(int i = 0; i < connectFlag.length; i++) { 3535 //遍历集合找到未使用的连接 3636 if(!connectFlag[i]) { 3737 //将连接设置为使用中 3838 connectFlag[i] = true; 3939 //可用连接数减1 4040 available--; 4141 System.out.println("【"+Thread.currentThread().getName()+"】以获取连接 剩余连接数：" + available); 4242 //返回连接引用 4343 return connects[i]; 4444 } 4545 } 4646 return null; 4747 } 4848 4949 //获取一个连接 5050 public Connect openConnect() throws InterruptedException { 5151 //获取许可证 5252 semaphore.acquire(); 5353 //获取数据库连接 5454 return getConnect(); 5555 } 5656 5757 //释放一个连接 5858 public synchronized void release(Connect connect) { 5959 for(int i = 0; i < this.size; i++) { 6060 if(connect == connects[i]){ 6161 //将连接设置为未使用 6262 connectFlag[i] = false; 6363 //可用连接数加1 6464 available++; 6565 System.out.println("【"+Thread.currentThread().getName()+"】以释放连接 剩余连接数：" + available); 6666 //释放许可证 6767 semaphore.release(); 6868 } 6969 } 7070 } 7171 7272 //剩余可用连接数 7373 public int available() { 7474 return available; 7575 } 7676 7777 }
测试代码：
1 1 public class TestThread extends Thread { 2 2 3 3 private static ConnectPool pool = new ConnectPool(3); 4 4 5 5 @Override 6 6 public void run() { 7 7 try { 8 8 Connect connect = pool.openConnect(); 9 9 Thread.sleep(100); //休息一下 1010 pool.release(connect); 1111 } catch (InterruptedException e) { 1212 e.printStackTrace(); 1313 } 1414 } 1515 1616 public static void main(String[] args) { 1717 for(int i = 0; i < 10; i++) { 1818 new TestThread().start(); 1919 } 2020 } 2121 2222 }
测试结果：
我们使用一个数组来存放数据库连接的引用，在初始化连接池的时候会调用initConnects方法创建指定数量的数据库连接，并将它们的引用存放到数组中，此外还有一个相同大小的数组来记录连接是否可用。每当外部线程请求获取一个连接时，首先调用semaphore.acquire()方法获取一个许可证，然后将连接状态设置为使用中，最后返回该连接的引用。许可证的数量由构造时传入的参数决定，每调用一次semaphore.acquire()方法许可证数量减1，当数量减为0时说明已经没有连接可以使用了，这时如果其他线程再来获取就会被阻塞。每当线程释放一个连接的时候会调用semaphore.release()将许可证释放，此时许可证的总量又会增加，代表可用的连接数增加了，那么之前被阻塞的线程将会醒来继续获取连接，这时再次获取就能够成功获取连接了。测试示例中初始化了一个3个连接的连接池，我们从测试结果中可以看到，每当线程获取一个连接剩余的连接数将会减1，等到减为0时其他线程就不能再获取了，此时必须等待一个线程将连接释放之后才能继续获取。可以看到剩余连接数总是在0到3之间变动，说明我们这次的测试是成功的。