Что такое AQS (AbstractQueuedSynchronizer)?

AQS — фреймворк в java.util.concurrent для построения synchronizer'ов (ReentrantLock, Semaphore, CountDownLatch, ReentrantReadWriteLock, FutureTask). Основан на FIFO очереди waiting threads + volatile int state.

// Схема (упрощённо)
// Подкласс определяет tryAcquire / tryRelease (exclusive)
// или tryAcquireShared / tryReleaseShared (shared)

class Mutex extends AbstractQueuedSynchronizer {
    protected boolean tryAcquire(int arg) {
        if (compareAndSetState(0, 1)) {   // CAS
            setExclusiveOwnerThread(Thread.currentThread());
            return true;
        }
        return false;
    }
    protected boolean tryRelease(int arg) {
        setState(0);
        return true;
    }
}

• Поток, не получивший доступ, добавляется в очередь и паркуется (LockSupport.park); при освобождении — unpark следующего;
• state используется по-разному: в ReentrantLock — 0/1 + owner, в Semaphore — permits, в CountDownLatch — счётчик, в RWLock — readers count + writer bit;
• CAS для queue operations (enqueue/dequeue, race conditions);
• Использовать напрямую сложно — лучше готовые synchronizers (автор — Doug Lea).