問題描述

這段代碼是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是什么意思呢，這是否存在邏輯問題？

問題解答

TZ可能對compareAndSetTail的理解有誤。

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

在AbstractQueuedSynchronizer的tailOffset位置比較pred的值和期望的node值，如果相同則更新tailOffset位置的值。

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

compareAndSetTail(pred, node) 這句代碼執行完成之后,被修改只是對象AbstractQueuedSynchronizer的tailOffset的值，也就是成員變量tail的值，對于pred的值沒有任何影響。至于雙向鏈表，尾部插入，邏輯上沒有問題。

這個設計是一個雙向鏈表.B.prev == AA.next == B

compareAndSetTail 設置成功只是將 tail 更新為當前node. pred.next 是將上一個尾部節點的next設置為當前node這邏輯不存在問題.