java - 为什么在AQS(AbstractQueuedSynchronizer)的await方法中使用 "while"

Question

在await AQS的方法(AbstractQueuedSynchronizer): 我想知道 while (!isOnSyncQueue(node)) {

中 while 的含义

我觉得如果这个节点正常被唤醒(没有被中断)，肯定会在另一个线程执行完signal方法后移到sync队列，然后在另一个线程执行unlock方法唤醒.

所以可能会出现节点正常唤醒，但不在同步队列中的情况？如果那不可能，我认为应该在这里使用 if 而不是 while

public final void await() throws InterruptedException {
    if (Thread.interrupted())
        throw new InterruptedException();
    Node node = addConditionWaiter();
    int savedState = fullyRelease(node);
    int interruptMode = 0;
    while (!isOnSyncQueue(node)) {
        LockSupport.park(this);
        if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
            break;
    }
    if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
        interruptMode = REINTERRUPT;
    if (node.nextWaiter != null) // clean up if cancelled
        unlinkCancelledWaiters();
    if (interruptMode != 0)
        reportInterruptAfterWait(interruptMode);
}

Answer 1

唤醒有两种形式。通常的种类和spurious种类。这段代码:

while (!isOnSyncQueue(node)) {
    ...
}

一直循环直到 isOnSyncQueue(node) 返回 false 并且是 while 而不是 if，因为唤醒可能是虚假的，而不是因为正在等待的条件已经发生。