【多线程】AQS以及线程状态转换

在介绍wait()/notify()之前需要首先了解下AQS中队同步器的实现以及Condition对应的实现。

一 AQS 队列同步器

• 同步队列

同步器依赖内部的一个FIFO双向队列来管理同步状态，当前线程获取同步状态失败时，同步器会将当前线程以及等待状态等信息构成一个Node节点加入到同步队列中。同时阻塞当前线程，当同步状态释放时，会将那首节点中的线程唤起，使其再次尝试获取同步状态。
同步队列中的节点（node)用来保存获取同步状态失败的线程的引用、等待状态、前驱节点以及后继节点。

当一个线程成功获取到同步状态，其他线程由于无法获取到同步状态，转而会被插入到同步队列中，同步器会使用CAS的方式将Node节点插入到队列的尾部。
首节点是成功获取同步状的节点，当首节点释放同步状态时，将会唤起其后继节点，而后继节点在成功获取到成功状态时会将自己设置为首节点。同时由于是获取成功状态后的线程来设置首节点，因此并不需要使用CAS即可保证线程安全。

• Condition接口
  每个Condition对象都包含一个等待队列，该队列是Condition对象实现等待通知功能的关键。
  一个Condition拥有首节点（fistWaiter)和尾结点（lastWaiter)。当线程调用Condition.await()方法时，将会以当前线程构成节点，并将节点从尾部加入等待队列。该过程由于调用await()方法时一定是获取该对象锁的线程，所以无需CAS来保证，该过程必定线程安全。