AQS-独占与共享

共享操作多在CountDownLatch与Semaphore两篇中详细介绍过，要了解详情请去这两篇看。

AQS的功能可以分为两类：独占与共享；如ReentrantLock利用了其独占功能，CountDownLatch，Semaphore利用了其共享功能。
AQS的静态内部类Node里有两个变量，独占锁与共享锁在创建自己的节点时（addWaiter方法）用于表明身份,它们会被赋值给Node的nextWaiter变量。

        static final Node SHARED = new Node();
        static final Node EXCLUSIVE = null;

独占锁

独占锁就是每次只允许一个线程执行，当前线程执行完会release将同步状态归零，再唤醒后继节点，这里通过自定义tryAcquire来实现公平与非公平（即是否允许插队）；
acquire & release

//成功代表同步状态的变更，排斥其他线程；否则加入等待队列
    public final void acquire(int arg) {
        if (!tryAcquire(arg) &&
            acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
            selfInterrupt();
    }
//归零同步状态，唤醒后继节点
    public final boolean release(int arg) {
        if (tryRelease(arg)) {
            Node h = head;
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }

这里通过同步状态来实现独占功能。

共享锁

如Semaphore，CountDownLatch，它们调用的是AQS里的acquireSharedInterruptibly与releaseShared；实现自己的tryAcquireShared与tryReleaseShared，这里便体现了独占与共享的不同，独占锁的tryAcquire，tryRelease返回boolean代表同步状态更改的成功与否；tryAcquireShared返回int值，tryAcquireShared值小于0则线程需要入队列中等待。
以Semphore的非公平锁为例，如果当前正在执行的线程数小于限制值state，就CAS更改同步状态值，线程直接执行。返回负数代表正在执行的线程数达到允许值，当前线程需要等待。

        final int nonfairTryAcquireShared(int acquires) {
            for (;;) {
                int available = getState();
                int remaining = available - acquires;
                if (remaining < 0 ||
                    compareAndSetState(available, remaining))
                    return remaining;
            }
        }

acquireShared

    public final void acquireSharedInterruptibly(int arg)
            throws InterruptedException {
        if (Thread.interrupted())
            throw new InterruptedException();
        if (tryAcquireShared(arg) < 0)
            doAcquireSharedInterruptibly(arg);
    }

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

releaseShared

共享锁的唤醒操作doReleaseShared是由多个线程并发执行的，为了确保唤醒操作能够延续下去，不因某个线程的问题而中断。
tryReleaseShared由子类实现，返回boolean，以Semphore为例

        protected final boolean tryReleaseShared(int releases) {
            for (;;) {
                int current = getState();
                int next = current + releases;
                if (next < current) // overflow
                    throw new Error("Maximum permit count exceeded");
                if (compareAndSetState(current, next))
                    return true;
            }
        }

当一个线程执行完会增加我们的同步状态值，返回true，之后doReleaseShared唤醒head.next节点里的线程。

    public final boolean releaseShared(int arg) {
        if (tryReleaseShared(arg)) {
            doReleaseShared();
            return true;
        }
        return false;
    }

    private void doReleaseShared() {
        for (;;) {
            Node h = head;
            if (h != null && h != tail) {
                int ws = h.waitStatus;
                if (ws == Node.SIGNAL) {
                    if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0))
                        continue;            // loop to recheck cases
                    unparkSuccessor(h);
                }
                else if (ws == 0 &&
                         !compareAndSetWaitStatus(h, 0, Node.PROPAGATE))
                    continue;                // loop on failed CAS
            }
            if (h == head)                   // loop if head changed
                break;
        }
    }

    private void unparkSuccessor(Node node) {
        int ws = node.waitStatus;
        if (ws < 0)
            compareAndSetWaitStatus(node, ws, 0);

        Node s = node.next;
        if (s == null || s.waitStatus > 0) {
            s = null;
            for (Node t = tail; t != null && t != node; t = t.prev)
                if (t.waitStatus <= 0)
                    s = t;
        }
        if (s != null)
            LockSupport.unpark(s.thread);
    }

 

总结

独占与共享最大不同就在各自的tryacquire里，对于独占来说只有true或false，只有一个线程得以执行任务；而对于共享锁的tryAcquireShared来说，线程数没达到限制都可以直接执行。
但本质上都是对AQS同步状态的修改，一个是0与1之间，另一个允许更多而已。