Semaphore称为计数信号量,它允许n个任务同时访问某个资源,可以将信号量看做是在向外分发使用资源的许可证,只有成功获取许可证,才能使用资源
Sync类继承了AQS,并且实现了对许可permits的操作方法,总结如下
非公平NonFailSync继承了Sync,表示抢占式,非公平获取资源。
然后就是调用CAS,unsafe.compareAndSwapInt, 实现对资源的获取
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
对于公平策略获取资源,区别在于,必须先判断同步队列不能存在其他节点
也就是hasQueuedPredecessors为true是不行的,要保证先到先拿,绝对公平
先判断同步队列中不能有其他节点,也就是hasQueuedPredecessors为true,直接返回-1
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
核心方法acquire,底层会调用AQS的实现doAcquiredShardInterruptibly
尝试以共享方式获取锁,如果获取失败了,就调用park阻塞,并且支持线程中断
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
2. release函数
此方法释放一个(多个)许可,将其返回给信号量
先调用tryRelease释放资源,再调用unpark,唤醒后面等待的线程
经过分析可知Semaphore的内部工作流程也是基于AQS,并且不同于CyclicBarrier和ReentrantLock,单独使用Semaphore是不会使用到AQS的条件队列的,其实,只有进行await操作才会进入条件队列,其他的都是在同步队列中,只是当前线程会被park
AQS 中的同步变量 stat 在 Semaphore 的意思就是并发的数量,线程并发数量超过这个 stat 总数,之后的线程只能进入 AQS 的等待队列直到其他线程释放这个 stat,然后公平地排队获取锁或者非公平地抢占锁。