AQS中的判断p==head作用

final boolean acquireQueued(final Node node, int arg) {
        boolean failed = true;
        try {
            boolean interrupted = false;
            for (;;) {
                final Node p = node.predecessor();
	           很多人不明白这里的判断是怎么回事,简单说一下
              (1if (p == head && tryAcquire(arg)) {2setHead(node);
                    p.next = null; // help GC
                    failed = false;
                    return interrupted;
                }
                if (shouldParkAfterFailedAcquire(p, node) &&
                    parkAndCheckInterrupt())
                    interrupted = true;
            }
        } finally {
            if (failed)
                cancelAcquire(node);
        }
    }

        当p!=头节点的时候,此时进入下面的判断shouldParkAfterFailedAcquire(p, node) &&parkAndCheckInterrupt(),会把当前线程阻塞掉,
这里的自旋会被阻塞,直到当前线程被唤醒,当被唤醒时继续走了一遍自旋到这里,这里的p==head就是保证当前线程节点的前一个节点是头节点,也就是当前线程是被头节点唤醒的,保证了clh队列公平性。
        又有人说了,那会不会有p刚刚当这个头节点还没有运行呢,当前线程被其他线程唤醒了怎么办。仔细看这里的代码,如果p节点刚刚当上头节点,那么必定已经运行了(1)处代码然后运行(2)才会变成头节点,此时P线程已经拿道了锁,当前线程也不会运行,因为锁已经被P占用了。如果P此时未拿到锁,那么P此时就不会是头节点,当前线程也不会运行。

1if (p == head && tryAcquire(arg)) {2setHead(node);
  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值