Semaphore源码解读

Semaphore 所控制的流量其实就是一个个线程,因为并发工具主要研究的主要对象就是线程

1. 时序图
2. 类图:
3. 
4. 入队过程:
5. 部分源码文字解读:

 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);
        }