ConcurrentLinkedQueue
高效的并发队列,用链表实现,是一个线程安全的LinkedList。
#offer方法
图解
源码
public boolean offer(E e) {
// 检查是否是null,如果是null ,抛出NullPointerException
checkNotNull(e);
// 创建一个node 对象,使用 CAS 创建对象
final Node<E> newNode = new Node<E>(e);
// 轮询链表节点,知道找到节点的 next 为null,才会进行赋值
for (Node<E> t = tail, p = t;;) {
Node<E> q = p.next;
if (q == null) {
// 找到null值之后将刚刚创建的值通过CAS放入
if (p.casNext(null, newNode)) {
// 因为 p 遍历在轮询后会变化,因此需要判断,如果不相等,则使用CAS将新节点作为尾部节点。
if (p != t)
casTail(t, newNode); // Failure is OK.
// 放入成功后返回 ture
return true;
}
}
// 轮询后 p 有可能等于 q,此时,就需要对 p 重新赋值。
else if (p == q)
// 这里需要注意一下:判断t != t,是因为并发下可能 tail 被改了,如果被改了,则使用新的 t,否则从链表头重新轮询。
p = (t != (t = tail)) ? t : head;
else
// 同样,当 t 不等于 p 时,说明 p 在上面被重新赋值了,并且 tail 也被别的线程改了,则使用新的 tail,否则循环检查p的下个节点
p = (p != t && t != (t = tail)) ? t : q;
}
}
入队主要做两件事情,第一是将入队节点设置成当前队列尾节点的下一个节点。第二是更新tail节点,如果tail节点的next节点不为空,则将入队节点设置成tail节点,如果tail节点的next节点为空,则将入队节点设置成tail的next节点,所以tail节点不总是尾节点
tail节点设计原因
让tail节点永远作为队列的尾节点,这样实现代码量非常少,而且逻辑非常清楚和易懂。但是这么做有个缺点就是每次都需要使用循环CAS更新tail节点。如果能减少CAS更新tail节点的次数,就能提高入队的效率,所以doug lea使用hops变量来控制并减少tail节点的更新频率,并不是每次节点入队后都将 tail节点更新成尾节点,而是当 tail节点和尾节点的距离大于等于常量HOPS的值(默认等于1)时才更新tail节点,tail和尾节点的距离越长使用CAS更新tail节点的次数就会越少,但是距离越长带来的负面效果就是每次入队时定位尾节点的时间就越长,因为循环体需要多循环一次来定位出尾节点,但是这样仍然能提高入队的效率,因为从本质上来看它通过增加对volatile变量的读操作来减少了对volatile变量的写操作,而对volatile变量的写操作开销要远远大于读操作,所以入队效率会有所提升。
poll方法
图解
源码
public E poll() {
// 循环跳出标记,类似goto
restartFromHead:
// 死循环
for (;;) {
// 死循环,从 head 开始遍历
for (Node<E> h = head, p = h, q;;) {
E item = p.item;
// 如果 head 不是null 且 将 head 的 item 属性设置为null成功,则返回并更新头节点
if (item != null && p.casItem(item, null)) {
// 如果 p != h 说明在 p 轮询时被修改了
if (p != h)
// 如果p 的next 属性不是null ,将 p 作为头节点,而 q 将会消失
updateHead(h, ((q = p.next) != null) ? q : p);
return item;
}
// 如果 p(head) 的 next 节点 q 也是null,则表示没有数据了,返回null,则将 head 设置为null
// 注意: updateHead 方法最后还会将原有的 head 作为自己 next 节点,方便offer 连接。
else if ((q = p.next) == null) {
updateHead(h, p);
return null;
}
// 如果 p == q,说明别的线程取出了 head,并将 head 更新了。就需要重新开始
else if (p == q)
// 从头开始重新循环
continue restartFromHead;
// 如果都不是,则将 h 的 next 赋给 h,并重新循环。
else
p = q;
}
}
}
参考链接