問(wèn)題描述

這段代碼是AQS框架中將當(dāng)前節(jié)點(diǎn)入隊(duì)的操作。

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

上面代碼中pred被賦值為尾節(jié)點(diǎn)，node為當(dāng)前節(jié)點(diǎn)。我理解的將新節(jié)點(diǎn)插入鏈表尾處的邏輯應(yīng)當(dāng)如下：node.prev = pred; node節(jié)點(diǎn)的前驅(qū)指向尾節(jié)點(diǎn)pred.next = node; 將尾節(jié)點(diǎn)的后繼設(shè)置為當(dāng)前節(jié)點(diǎn)tail = node; 將node節(jié)點(diǎn)設(shè)置為尾節(jié)點(diǎn)對(duì)于上面代碼我的疑問(wèn)如下：如果尾節(jié)點(diǎn)不為空，node節(jié)點(diǎn)的前驅(qū)會(huì)指向尾節(jié)點(diǎn)，然后調(diào)用CAS交換pred和node的值。此時(shí)pred（即tail）的值應(yīng)該已經(jīng)是當(dāng)前節(jié)點(diǎn)node的值了，再執(zhí)行pred.next=node是什么意思呢，這是否存在邏輯問(wèn)題？

問(wèn)題解答

TZ可能對(duì)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) 這句代碼執(zhí)行完成之后,被修改只是對(duì)象AbstractQueuedSynchronizer的tailOffset的值，也就是成員變量tail的值，對(duì)于pred的值沒(méi)有任何影響。至于雙向鏈表，尾部插入，邏輯上沒(méi)有問(wèn)題。

這個(gè)設(shè)計(jì)是一個(gè)雙向鏈表.B.prev == AA.next == B

compareAndSetTail 設(shè)置成功只是將 tail 更新為當(dāng)前node. pred.next 是將上一個(gè)尾部節(jié)點(diǎn)的next設(shè)置為當(dāng)前node這邏輯不存在問(wèn)題.