// 注意:不同的颜色,表示不同的逻辑,前面的数字,是他们各自的逻辑顺序,
//这个方法没有任何的锁操作,线程安全完全是由cas操作和队列的算法来保证的,整个方法的核心是for循环,这个循环没有出口,知道尝试成功
public boolean offer(E e) {
checkNotNull(e);
final Node<E> newNode = new Node<E>(e);
for (Node<E> t = tail, p = t;;) {
Node<E> q = p.next;
if (q == null) {
//1、如果第一次进来,次条件成立
// 1、程序再次进入,此时,t和p还在head位置上,(由于第一次插入了数据)q!=null
// 3、p取到了下一个节点(“直到”最后的节点)q==null
if (p.casNext(null, newNode)) {// p是最后一个节点
//每2次更新一下tail
if (p != t)
// 2、如果是第一次进来,那么t==p是成立,所以不会执行下一句话,所以呢,就不会更新t节点,也就是不会更新tail
// 4、经过第二步,p已经不能t了,所以,更新tail节点,由此可以看书,不是每次都更新tail的
casTail(t, newNode); // Failure is OK.
return true;
}
// cas竞争失败,再次尝试,
}
else if (p == q)// 遇到哨兵节点,从head开始遍历(哨兵节点的产生是因为,链表进行了poll()“提取删除”操作)
//但如果tail被修改了,则使用tail(因为可能被修改正确了),
// t!=(t=tail)这个操作在并行中是永false,但是在串行中,由于可能对比的时候,t的值被其他线程修改,所以,此值可能为turl
p = (t != (t = tail)) ? t : head;
else
//2、p取下一个节点或者最后一个节点
p = (p != t && t != (t = tail)) ? t : q;
}
}
转载于:https://www.cnblogs.com/sg9527/p/8005366.html