并发编程JUC--Semaphore源码解析

 

关于Semaphore的使用可以自行百度。

首选看下初始化构造函数

 

跟着构造函数会发现最终还是进入到了AbstractQueuedSynchronizer类的下面这个方法

 

到这里我们发现Semaphore底层还是使用了AQS来实现的。构造函数就是将我们设置的值赋给state这个变量

现在来看下获取许可这个方法，这个方法是在AbstractQueuedSynchronizer类中

 

首先判断该线程是否被中断了，如果没有执行第二个if判断，看下if判断中的tryAcquireShared(arg)方法，跟着这个方法最后会进入到Sync的下面这个方法

 

第一步：获取state的值(state的值在Semaphore初始化的时候我们给定的值)

第二步：将state的值减1，如果在获取许可的方法中没有给定许可的值默认是1,

第三步：1：假如减完后的值 <0,那么只有一种可能，许可证被枪光了 。 2：如果不小于0，那么就利用CAS设置新的值，最后将得到的值返回回去

返回到之前判断的方法

 

如果不小于0，说明还有许可证，所以不做任何操作，如果小于0，说明新的线程进来之后没有拿到许可证，所以会执行 doAcquireSharedInterruptibly(arg);方法

 

先说一下整个方法的大致逻辑：

首先我们要知道能进入到这个方法说明新的线程没有获得许可，所以

第一步：将这个新的线程添加到队列中去(addWaiter())

第二步：获取该节点的上一个节点，如果上个节点是头节点，那么就会再次尝试获取许可，如果获取到了就设置该节点为头节点

第三步：如果上一个节点不是头节点，那么就会使该线程阻塞(在if判断中实现)，阻塞的方法就是使用LockSupport.park()实现的

 

那么释放许可就很容易理解了

第一步：释放掉许可，将state的值 +1；

第二步：然后去队列中看是否有等待的元素

第三步：如果有等待的元素那么直接将其唤醒即可，然后让唤醒的线程获取许可(获取许可的源码跟上面一致)

可以自己进源码看看，这里就不放图了