aqs实现阻塞队列原理

AQS（AbstractQueuedSynchronizer）是Java中实现同步器的框架，它提供了一种基于FIFO队列的阻塞和唤醒机制。AQS的阻塞队列原理是通过CLH（Craig, Landin, and Hagersten）队列来实现的。

CLH队列是一种虚拟的双向链表，它仅存在节点之间的关联关系，而不存在队列的实例。每个请求共享资源的线程都会被封装成一个CLH队列的节点（Node）。当线程请求共享资源时，它会被添加到CLH队列的尾部，并进入阻塞状态。

当共享资源被占用时，其他线程请求该资源的线程会被放入CLH队列的末尾，即排队等待。这种排队等待的方式可以保证请求资源的线程按照FIFO的顺序获得资源，避免了饥饿现象。当资源释放后，AQS会自动唤醒队列中的下一个线程，使其获得资源并继续执行。

需要注意的是，AQS的同步队列（Sync queue）是一个双向链表，包括头节点（head）和尾节点（tail），用于后续的调度。而条件队列（Condition queue）是一个单向链表，只有在使用Condition时才会存在，并且可能会有多个条件队列。

总结一下，AQS实现阻塞队列的原理是通过CLH队列来实现的，当共享资源被占用时，请求资源的线程会被添加到CLH队列中排队等待。当资源释放后，AQS会自动唤醒队列中的下一个线程，使其获得资源并继续执行。同步队列用于后续的调度，而条件队列只在使用Condition时才会存在。