java - AbstractQueuedSynchronizer中CAS的疑惑

Question

这段代码是AQS框架中将当前节点入队的操作。

Node pred = tail;
if (pred != null) {
    node.prev = pred;
    if (compareAndSetTail(pred, node)) {
        pred.next = node;
        return node;
    }
}

上面代码中pred被赋值为尾节点，node为当前节点。我理解的将新节点插入链表尾处的逻辑应当如下：
node.prev = pred; node节点的前驱指向尾节点
pred.next = node; 将尾节点的后继设置为当前节点
tail = node; 将node节点设置为尾节点
对于上面代码我的疑问如下：
如果尾节点不为空，node节点的前驱会指向尾节点，然后调用CAS交换pred和node的值。
此时pred（即tail）的值应该已经是当前节点node的值了，再执行pred.next=node是什么意思呢，这是否存在逻辑问题？

Answer 1

TZ mungkin mempunyai pemahaman yang salah tentang compareAndSetTail.

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

Bandingkan nilai pred dengan nilai nod yang dijangkakan pada kedudukan tailOffset AbstractQueuedSynchronizer Jika ia adalah sama, kemas kini nilai pada kedudukan tailOffset.

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

compareAndSetTail(pred, nod) Selepas kod ini dilaksanakan, hanya nilai tailOffset objek AbstractQueuedSynchronizer diubah suai, iaitu nilai ekor pembolehubah ahli, dan tidak mempunyai kesan ke atas nilai pred. Bagi senarai pautan berganda, tidak ada masalah logik dengan sisipan ekor.

Answer 2

Reka bentuk ini ialah 双向链表.
B.prev == A
A.next == B

compareAndSetTail Jika tetapan berjaya, ia hanya mengemas kini tail kepada semasa node menetapkan pred.next nod ekor sebelumnya kepada semasa next Tiada masalah dengan logiknya node