问题
（1）ConcurrentLinkedQueue 是阻塞队列吗？
（2）ConcurrentLinkedQueue 如何保证并发安全？
（3）ConcurrentLinkedQueue 能用于线程池吗？
简介
ConcurrentLinkedQueue 只实现了 Queue 接口，并没有实现 BlockingQueue 接口，所以它不是阻塞队列，也不能用于线程池中，但是它是线程安全的，可用于多线程环境中。
那么，它的线程安全又是如何实现的呢？让我们一起来瞧一瞧。
源码分析
主要属性
// 链表头节点
private transient volatile Node<E> head;
// 链表尾节点
private transient volatile Node<E> tail;就这两个主要属性，一个头节点，一个尾节点。
主要内部类
private static class Node<E> {
volatile E item;
volatile Node<E> next;
}典型的单链表结构，非常纯粹。
主要构造方法
public ConcurrentLinkedQueue() {
// 初始化头尾节点
head = tail = new Node<E>(null);
}
public ConcurrentLinkedQueue(Collection<? extends E> c) {
Node<E> h = null, t = null;
// 遍历 c，并把它元素全部添加到单链表中
for (E e : c) {checkNotNull(e);
Node<E> newNode = new Node<E>(e);
if (h == null)
h = t = newNode;
else {t.lazySetNext(newNode);
t = newNode;
}
}
if (h == null)
h = t = new Node<E>(null);
head = h;
tail = t;
}这两个构造方法也很简单，可以看到这是一个无界的单链表实现的队列。
入队
因为它不是阻塞队列，所以只有两个入队的方法，add(e) 和 offer(e)。
因为是无界队列，所以 add(e) 方法也不用抛出异常了【本篇文章由公众号“彤哥读源码”原创】。
public boolean add(E e) {return offer(e);
}
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;
// 如果没有 next，说明到链表尾部了，就入队
if (q == null) {
// CAS 更新 p 的 next 为新节点
// 如果成功了，就返回 true
// 如果不成功就重新取 next 重新尝试
if (p.casNext(null, newNode)) {
// 如果 p 不等于 t，说明有其它线程先一步更新 tail
// 也就不会走到 q ==null 这个分支了
// p 取到的可能是 t 后面的值
// 把 tail 原子更新为新节点
if (p != t) // hop two nodes at a time
casTail(t, newNode); // Failure is OK.
// 返回入队成功
return true;
}
}
else if (p == q)
// 如果 p 的 next 等于 p，说明 p 已经被删除了（已经出队了）// 重新设置 p 的值
p = (t != (t = tail)) ? t : head;
else
// t 后面还有值，重新设置 p 的值
p = (p != t && t != (t = tail)) ? t : q;
}
}入队整个流程还是比较清晰的，这里有个前提是出队时会把出队的那个节点的 next 设置为节点本身。
（1）定位到链表尾部，尝试把新节点放到后面；
（2）如果尾部变化了，则重新获取尾部，再重试；
出队
因为它不是阻塞队列，所以只有两个出队的方法，remove() 和 poll()。
public E remove() {E x = poll();
if (x != null)
return x;
else
throw new NoSuchElementException();}
public E poll() {
restartFromHead:
for (;;) {
// 尝试弹出链表的头节点
for (Node<E> h = head, p = h, q;;) {
E item = p.item;
// 如果节点的值不为空，并且将其更新为 null 成功了
if (item != null && p.casItem(item, null)) {
// 如果头节点变了，则不会走到这个分支
// 会先走下面的分支拿到新的头节点
// 这时候 p 就不等于 h 了，就更新头节点
// 在 updateHead() 中会把 head 更新为新节点
// 并让 head 的 next 指向其自己
if (p != h) // hop two nodes at a time
updateHead(h, ((q = p.next) != null) ? q : p);
// 上面的 casItem() 成功，就可以返回出队的元素了
return item;
}
// 下面三个分支说明头节点变了
// 且 p 的 item 肯定为 null【本篇文章由公众号“彤哥读源码”原创】else if ((q = p.next) == null) {
// 如果 p 的 next 为空，说明队列中没有元素了
// 更新 h 为 p，也就是空元素的节点
updateHead(h, p);
// 返回 null
return null;
}
else if (p == q)
// 如果 p 等于 p 的 next，说明 p 已经出队了，重试
continue restartFromHead;
else
// 将 p 设置为 p 的 next
p = q;
}
}
}
// 更新头节点的方法
final void updateHead(Node<E> h, Node<E> p) {
// 原子更新 h 为 p 成功后，延迟更新 h 的 next 为它自己
// 这里用延迟更新是安全的，因为 head 节点已经变了
// 只要入队出队的时候检查 head 有没有变化就行了，跟它的 next 关系不大
if (h != p && casHead(h, p))
h.lazySetNext(h);
}出队的整个逻辑也是比较清晰的：
（1）定位到头节点，尝试更新其值为 null；
（2）如果成功了，就成功出队；
（3）如果失败或者头节点变化了，就重新寻找头节点，并重试；
（4）整个出队过程没有一点阻塞相关的代码，所以出队的时候不会阻塞线程，没找到元素就返回 null；
总结
（1）ConcurrentLinkedQueue 不是阻塞队列；
（2）ConcurrentLinkedQueue 不能用在线程池中；
（3）ConcurrentLinkedQueue 使用（CAS+ 自旋）更新头尾节点控制出队入队操作；
彩蛋
ConcurrentLinkedQueue 与 LinkedBlockingQueue 对比？
（1）两者都是线程安全的队列；
（2）两者都可以实现取元素时队列为空直接返回 null，后者的 poll() 方法可以实现此功能；
（3）前者全程无锁，后者全部都是使用重入锁控制的；
（4）前者效率较高，后者效率较低；
（5）前者无法实现如果队列为空等待元素到来的操作；
（6）前者是非阻塞队列，后者是阻塞队列；
（7）前者无法用在线程池中，后者可以；
欢迎关注我的公众号“彤哥读源码”，查看更多源码系列文章, 与彤哥一起畅游源码的海洋。