AQS

AQS的全称为（AbstractQueuedSynchronizer），是java.util.concurrent包中很多线程同步所需要的抽象类，具体在ReentrantLock的实现可以看这一篇文章

http://ifeve.com/java-special-troops-aqs/

疑问

在阅读上面链接的文章时，在看到这段代码中产生了疑问：

final boolean acquireQueued(final Node node, int arg) {
        boolean failed = true;
        try {
            boolean interrupted = false;
            for (;;) {
                final Node p = node.predecessor();
                if (p == head && tryAcquire(arg)) {
                    setHead(node);
                    p.next = null; // help GC
                    failed = false;
                    return interrupted;
                }
                if (shouldParkAfterFailedAcquire(p, node) &&
                    parkAndCheckInterrupt())
                    interrupted = true;
            }
        } finally {
            if (failed)
                cancelAcquire(node);
        }
    }

这段代码大致说的是：线程在没有获取到锁所以去排队，在try的语句中是一个for死循环，所以产生了疑问，如果当前线程不是排队线程中第一个，或者其他线程正在占有着锁，也就是上面的代码if判断为false，那么这个for死循环会一直的执行么，那会造成CPU被这些正在等待但是一直在死循环的线程占用，这样岂不是性能很低。

疑惑中带着疑问写了一个简单的程序，然后debug去看了下内部的具体实现，在不明白代码的情况下，debug是一种很有效的手段，程序写的很简单，如下：

public class Test {


    public static void main(String[] args) {
        final Lock lock = new ReentrantLock();
        lock.lock();
        System.out.println("first lock");

        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println("try lock");
                lock.lock();
                System.out.println("second free lock");
            }
        }).start();
    }
}

就是让主线程去占用锁不释放，然后再去new一个线程去获取锁，debug中第一次去执行

if (shouldParkAfterFailedAcquire(p, node) &&
                    parkAndCheckInterrupt())
                    interrupted = true;

if中判断为false，第二次为true，所以执行了parkAndCheckInterrupt，shouldParkAfterFailedAcquire在第一次执行的时候，由于第一次执行的时候线程不是等待状态，所以为false，并设置线程为等待状态，所以第二次循环的时候，线程为等待状态，执行了parkAndCheckInterrupt，此方法调用了线程阻塞原语，线程在此阻塞了。