一些AQS相关的知识

小灰灰 2023-10-04 09:26 7阅读 0赞

状态变量state被volatile修饰，对其操作的方法包括tryAcquire、tryRelease等，都是通过CAS。

申请公平锁的线程，会先判断当前队列没有前驱节点在等待（也就是没有线程在等待）时才会CAS修改同步状态变量。而申请非公平锁的线程，则会无视队列，直接CAS抢锁，如果不成功，再进入到队列等待唤醒。1  
上述判断有无线程在等待的方法如下，可见为从队列尾部往前遍历：

public final boolean hasQueuedPredecessors() {
        
        Node h, s;
        if ((h = head) != null) {
        
            if ((s = h.next) == null || s.waitStatus > 0) {
        
                s = null; // traverse in case of concurrent cancellation
                for (Node p = tail; p != h && p != null; p = p.prev) {
        
                    if (p.waitStatus <= 0)
                        s = p;
                }
            }
            if (s != null && s.thread != Thread.currentThread())
                return true;
        }
        return false;
    }

而对于队列中线程的唤醒机制，研究[AQS的非公平锁与同步队列的FIFO冲突吗？][AQS_FIFO]，[AQS之线程的阻塞和唤醒分析][AQS] 等文章 和 JDK的`unparkSuccessor(Node node)`方法（据我观察，入参node均为head），大致有以下结论：

当head的同步状态被释放后，需要唤醒后继节点。具体为从tail往head遍历，找到最前的一个阻塞节点。

## 条件队列 ##

Lock的Condition会有这个。具体可查阅[本博----朋熙面试（部分）][----]二面中关于Monitor和AQS的部分

--------------------

1.  [理解ReentrantLock的公平锁和非公平锁][ReentrantLock] ↩︎

[AQS_FIFO]: https://blog.csdn.net/Mutou_ren/article/details/103883011
[AQS]: https://zhuanlan.zhihu.com/p/137624149
[----]: https://blog.csdn.net/qq_23204557/article/details/131196279?csdn_share_tail=%7B%22type%22:%22blog%22,%22rType%22:%22article%22,%22rId%22:%22131196279%22,%22source%22:%22qq_23204557%22%7D
[ReentrantLock]: https://zhuanlan.zhihu.com/p/45305463