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 == A
A.next == B

compareAndSetTail设置成功只是将tail更新为当前node.pred.next是将上一个尾部节点的next设置为当前node这逻辑不存在问题.