【Java并发锁】AbstractQueuedSynchronizer队列实现

前言

本人jdk版本8。

同步器是依赖于内部的同步队列（一个FIFO双向队列）来完成同步状态的管理，当前线程获取同步状态失败时，同步器会将当前线程以及等待等信息构造成为一个节点（Node）并将其加入同步队列，同时会阻塞当前线程，当同步状态释放时，会把首节点中的线程唤醒，使其再次尝试获取同步状态。

队列Node

同步对列中的节点（Node）用来保存获取同步状态失败的线程引用、等待状态以及前驱和后继节点，节点所属模式（独占或共享）：

节点构成同步队列的基础，同步队列拥有首节点（head）和尾节点（tail），没有成功获取同步状态的线程将会成为节点加入该队列的尾部：

在图中，同步器包含了两个节点类型的引用，一个指向头结点，而另一个指向尾节点，试想一下，当一个线程成功地获取了同步状态（或者锁），其他线程将无法获取到同步状态，转而被构造成为节点并加入到同步队列中，而这个加入队列的过程必须要保证线程安全，因此同步器提供了一个基于CAS的设置尾节点的方法：compareAndSetTail(Node expect, Node update)，他需要传递当前线程"认为"的尾节点和当前节点，只有设置成功后，当前节点才正式与之前尾节点建立关联。

同步队列遵循FIFO，首节点是获取同步状态成功的节点，首节点的线程在释放同步状态时，将会唤醒后继节点，而后继节点将在获取同步状态成功时将自己设置为首节点

　　设置首节点是通过获取同步状态成功的线程来完成的，由于只有一个线程能够获取到同步状态，因此设置头节点的方法并不需要使用CAS来保证，他只需要将首节点设置成为原首节点的后继节点并断开原首节点的next引用即可。