学习笔记之ConcurrentLinkedQueue源码分析整理
来源:互联网 发布:手机游戏变速软件 编辑:程序博客网 时间:2024/06/05 18:58
从类名上我们就可以看得出来,Concurrent保证了并发中的线程安全,Linked提示是链表实现,Queue则说明是一个队列。
从类的声明上也验证了这点:
public
class
ConcurrentLinkedQueue<E>
extends
AbstractQueue<E>
implements
Queue<E>, java.io.Serializable
ConcurrentLinkedQueue这个类实现的是一个无界的,保证了先进先出的队列,队列元素中不可以放置null元素(内部实现的特殊节点除外)。
另外,我们需要注意的是ConcurrentLinkedQueue锁保持的只是特定场景下的一个“快照”,不能“精确”地维护队列当前情况下的“真相”。下面详细解释这句说明。
1. add() 和 offer() 源码粗略分析
两者实际上是一回事,因为add()直接调用了offer()方法。源码如下:
public
boolean
offer(E e) {
checkNotNull(e);
final
Node newNode =
new
Node(e);
for
(Node t = tail, p = t;;) {
Node q = p.next;
if
(q ==
null
) {
if
(p.casNext(
null
, newNode)) {
if
(p != t)
casTail(t, newNode);
return
true
;
}
}
else
if
(p == q)
p = (t != (t = tail)) ? t : head;
else
p = (p != t && t != (t = tail)) ? t : q;
}
}
实际上就是在链表的尾部( q == null 的情况)进行插入操作,通过sun.misc.Unsafe的CAS比较并设置的原子方法,对tail属性的的next对象进行修改,如果成功则返回,如果不成功则继续循环。
除了 q == null 的情况外,还有两个条件,这三个条件构成了互斥关系。
我们发现,如果按照单线程来执行,当结尾成功加入新的数据节点时,p还是等于t的,那么最后新加入的结点就不可能成为tail,即tail属性没有被更新,可以看出这个类的实现确实是“不精确的”。
那么只有当第二个来增加结点的线程进入第一个条件并添加结点成功的时候,tail才有机会得到更新。当然由于此时tail.next已经不是null了,会走一遍第三个条件。
至于第二个条件 p == q ,我考虑再三,应该是考虑对链表的其它操作造成的,即导致 p.next == p ,否则仅凭这个方法 p == q 是不可能的。
另外,这其中只有第一个条件的执行会导致方法返回,否则不断循环。在第二个和第三个条件中,也都有对tail(被其它线程)改变的判断并更新tail属性。
2. poll() 和 peek() 源码粗略分析
首先说下,poll()和peek()都是取队列头元素,区别在于前者会删除节点而后者不会。
我们就看下poll()方法:
public
E poll() {
restartFromHead:
for
(;;) {
for
(Node h = head, p = h, q;;) {
E item = p.item;
if
(item !=
null
&& p.casItem(item,
null
)) {
if
(p != h)
updateHead(h, ((q = p.next) !=
null
) ? q : p);
return
item;
}
else
if
((q = p.next) ==
null
) {
updateHead(h, p);
return
null
;
}
else
if
(p == q)
continue
restartFromHead;
else
p = q;
}
}
}
其实,大体逻辑是和offer()方法类似的,在头结点的数据被置为null之后,head并不在当前线程得到及时更新,而是等下一次修改来完成这个任务。
如上两段代码说明,这个类真得是更适合高并发场景,而不适合低并发和非并发场景。但纵观全类的代码实现,并未用到synchronized和Lock,仅仅通过CAS的原子操作保证了并发场景下的线程安全,这也就保证了队列实现的高效性。
到这里为止,以作者我本人目前的情况,很难将实现的细节分析得更透彻更详细,本文所能做的就是让大家知道ConcurrentLinkedQueue这个类的大概实现方案,知道适用场景和需要注意的点。
这个类实现的理论基础是Maged M. Michael 和 Michael L. Scott.的《Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms》。这是一篇描述高效非阻塞并发队列的论文,原文地址如下,需要了解更多细节的朋友可以到这里参考并推敲其巧妙的原理。
- 学习笔记之ConcurrentLinkedQueue源码分析整理
- ConcurrentLinkedQueue源码分析整理
- ConcurrentLinkedQueue源码分析
- Java concurrent Framework并发容器之ConcurrentLinkedQueue(1.6)源码分析 ??
- Java 并发 --- 非阻塞队列之ConcurrentLinkedQueue源码分析
- springMVC学习笔记之源码分析
- JUC源码分析23-队列-ConcurrentLinkedQueue
- ConcurrentLinkedQueue的实现原理和源码分析
- Java并发中的ConcurrentLinkedQueue源码分析
- ConcurrentLinkedQueue的实现原理和源码分析
- Java多线程 -- JUC包源码分析10 -- ConcurrentLinkedQueue源码分析
- 学习笔记之BlockingQueue及其各个实现的分析整理
- [JAVA学习笔记-92]concurrentLinkedQueue的特性
- ConcurrentLinkedQueue源码分析(基于JDK8,目前比较好的分析)
- 小BO学习笔记之ConcurrentLinkedQueue和LinkedBlockingQueue的使用比较
- ConcurrentLinkedQueue学习
- JAVA并发编程学习笔记之AQS源码分析
- Java之BufferedInputStream详解 源码分析学习笔记
- 周易六十四卦—水泽节卦
- JavaScript练习之图片切换
- ActionMode 就记这么一点,不能更多了
- 学习笔记之ByteBuffer使用和实现以及文件内存映射
- 微信小程序的五大特征(一)
- 学习笔记之ConcurrentLinkedQueue源码分析整理
- 学习笔记之BlockingQueue及其各个实现的分析整理
- C语言strtod()函数:将字符串转换为double
- dirop
- Java 多线程设置线程超时时间之 Callable接口和Future接口 线程超时控制
- ajax入门之建立XHR对象 (1)
- 学习笔记之Java线程安全杂谈(中)——Java内存模型、happens-before原则和DCL问题
- 【PAT】1103. Integer Factorization
- Inside the java virtual machine