final boolean acquireQueued(final Node node, int arg) {
boolean failed = true;
try {
boolean interrupted = false;
for (;;) {
final Node p = node.predecessor();
很多人不明白这里的判断是怎么回事,简单说一下
(1)if (p == head && tryAcquire(arg)) {
(2) setHead(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此时就不会是头节点,当前线程也不会运行。
(1)if (p == head && tryAcquire(arg)) {
(2) setHead(node);