《java并发编程之美》ConcurrentLinkedQueue笔记

 《java并发编程之美》中对于ConcurrentLinkedQueue的讲解中说offer操作只要保证tail节点的可见性和原子性即可。我认为即使通过volatile和CAS保证可见性和原子性，插入元素也存在线程安全问题。

 下面分析为什么会存在问题，offer方法添加节点可以简化为下面3个步骤

1. 找到最后一个节点p
2. 通过cas设置p的后继节点
3. 将p设置为tail

 在步骤1和步骤2之间如果p通过poll或者remove出队，这时，pre的next为null，p的next也为null。步骤2仍然可以cas成功，因为p的next域仍然是null，新添加的几点不在链上，而是在已经被移除的节点p后面。

 实际上ConcurrentLinkedQueue中对最后一个节点还有一个保证，即链表最后一个节点不会出队，只会将item设置为null（item为null就是一个节点出队的标记）。

 通过源码查看poll方法如何保证不将最后一个节点移出队列。

if (item != null && p.casItem(item, null)) {
    if (p != h) // hop two nodes at a time
        updateHead(h, ((q = p.next) != null) ? q : p);
    return item;
}

 通过cas将p的item设置为null后，如果p的next节点为空（即p为最后一个节点），则将头结点设置为p，p仍然留在队列中，只是item为null。

 通过源码查看remove方法如何保证不将最后一个节点移出队列。

if (item != null &&
    o.equals(item) &&
    p.casItem(item, null)) {
    Node<E> next = succ(p);
    if (pred != null && next != null)
        pred.casNext(p, next);
    return true;
}

 通过cas将p的item设置为null后，如果p的next为空，则直接返回，不会将p移出队列。