Semaphore 所控制的流量其实就是一个个线程,因为并发工具主要研究的主要对象就是线程
- 时序图
- 类图:
- 入队过程:
- 部分源码文字解读:
Semaphore semaphore = new Semaphore(3); //初始化容器
解析:
依据面向对象的基本特征: 继承特性
如果感觉抽象的话,可以这样去理解:
Semaphore当做一个盒子,这个盒子中装的是state,而这个state的大小就是我们用来定义业务逻辑的
并且Semaphore中的state是可以循环使用的,为什么循环使用? 这个就需要从他的api说起,最基本的两个api
一个是acquire() --->每次操作都会使其state = state -1,而这个减一的实现过程是通过cas + 自旋实现
如果返回的state<0.那么就将当前线程封装到一个节点中,而这个节点包含的属性是:
<1> 当前线程
<2>当前线程被标记为共享模式: Node.SHARED
即: Node node = new Node(Thread.CurrentThread,Node.SHARED)
调用enq(node)方法放入到队列中,但是此时在自旋中创建一个新的节点,通过cas设置为头节点,并且设置为
尾节点;
放入到队列,这个队列是FIFO的双向队列,并且新加入的节点是放到队列的末尾
放入到队列中以后,会出现两种情况: 当节点需要从队列中移除时,也就是获取了state容量值时,
判断当前节点的前级节点是不是头节点,如果是头结点,再次获取state值如果state值符合条件,则将当前节点设置
为头结点,如果没有获取到state值,则Unsafe.Park(),当前线程intercupterd();
源码如下:
private void doAcquireSharedInterruptibly(int arg)
throws InterruptedException {
final Node node = addWaiter(Node.SHARED);
boolean failed = true;
try {
for (;;) {
final Node p = node.predecessor();
if (p == head) {
int r = tryAcquireShared(arg);
if (r >= 0) {
setHeadAndPropagate(node, r);
p.next = null; // help GC
failed = false;
return;
}
}
if (shouldParkAfterFailedAcquire(p, node) &&
parkAndCheckInterrupt())
throw new InterruptedException();
}
} finally {
if (failed)
cancelAcquire(node);
}