java - AbstractQueuedSynchronizer中CAS的疑惑

Question

这段代码是AQS框架中将当前节点入队的操作。 {代码...} 上面代码中pred被赋值为尾节点，node为当前节点。我理解的将新节点插入链表尾处的逻辑应当如下：node.prev = pred; node节点的前驱指向尾节点pred.next = n...

ringa_lee · Answer

TZ may have a wrong understanding of compareAndSetTail.

private final boolean compareAndSetTail(Node expect, Node update) {
        return unsafe.compareAndSwapObject(this, tailOffset, expect, update);
    }

Compare the value of pred with the expected node value at the tailOffset position of AbstractQueuedSynchronizer. If they are the same, update the value of the tailOffset position.

static {
    tailOffset = unsafe.objectFieldOffset
    (AbstractQueuedSynchronizer.class.getDeclaredField("tail"));
    ...
}

compareAndSetTail(pred, node) After the execution of this code is completed, only the value of tailOffset of the object AbstractQueuedSynchronizer is modified, that is, the value of the member variable tail, which has no effect on the value of pred. As for the doubly linked list, there is no logical problem with tail insertion.

PHPz · Answer

This design is a 双向链表.
B.prev == A
A.next == B

compareAndSetTail 设置成功只是将 tail 更新为当前node. pred.next 是将上一个尾部节点的next设置为当前nodeThere is no problem with this logic.