前言
本人jdk版本8。
同步器是依赖于内部的同步队列(一个FIFO双向队列)来完成同步状态的管理,当前线程获取同步状态失败时,同步器会将当前线程以及等待等信息构造成为一个节点(Node)并将其加入同步队列,同时会阻塞当前线程,当同步状态释放时,会把首节点中的线程唤醒,使其再次尝试获取同步状态。
队列Node
同步对列中的节点(Node)用来保存获取同步状态失败的线程引用、等待状态以及前驱和后继节点,节点所属模式(独占或共享):
节点构成同步队列的基础,同步队列拥有首节点(head)和尾节点(tail),没有成功获取同步状态的线程将会成为节点加入该队列的尾部:
在图中,同步器包含了两个节点类型的引用,一个指向头结点,而另一个指向尾节点,试想一下,当一个线程成功地获取了同步状态(或者锁),其他线程将无法获取到同步状态,转而被构造成为节点并加入到同步队列中,而这个加入队列的过程必须要保证线程安全,因此同步器提供了一个基于CAS的设置尾节点的方法:compareAndSetTail(Node expect, Node update),他需要传递当前线程"认为"的尾节点和当前节点,只有设置成功后,当前节点才正式与之前尾节点建立关联。
同步队列遵循FIFO,首节点是获取同步状态成功的节点,首节点的线程在释放同步状态时,将会唤醒后继节点,而后继节点将在获取同步状态成功时将自己设置为首节点
设置首节点是通过获取同步状态成功的线程来完成的,由于只有一个线程能够获取到同步状态,因此设置头节点的方法并不需要使用CAS来保证,他只需要将首节点设置成为原首节点的后继节点并断开原首节点的next引用即可。