ConcurrentLinkedQueue
ConcurrentLinkedQueue是一个非阻塞的无界队列。非阻塞和阻塞区别。首先了解一下JAVA中多线程的同步机制基本采用三种方式:
- volatile 轻量级的线程同步,不会引起上下文的切换和线程调度,提供内存的可见性,但不保证原子性。
- CAS 轻量级的线程同步,不会引起上下文的切换和线程调度,提供内存的可见性和原子性。
内部锁(synchronized)和显示锁 重量级的线程同步,可能会引起上下文的切换和下城调度,提供内存的可见性和原子性。
非阻塞算法
一个线程的失败和挂起不会引起其他些线程的失败和挂起,这样的算法称为非阻塞算法。非阻塞算法通过使用底层机器级别的原子指令来取代锁,从而保证数据在并发访问下的一致性。ConcurrentLinkedQueue就是采用CAS为基础来实现非阻塞算法。但是非阻塞算法的设计和实现都非常复杂,这里只能够大致学习以及分析一下ConcurrentLinkedQueue的一个实现思路。
我们都知道链表是基于节点实现,所以先学习一下ConcurrentLinkedQueue中的节点:
Node
private static class Node<E> {
volatile E item; //节点的域值
volatile Node<E> next; //当前节点的下一个节点
Node(E item) {
UNSAFE.putObject(this, itemOffset, item); //创建新节点。初始化其域值
}
boolean casItem(E cmp, E val) {
//用 CAS 指令设置 item 域的值
return UNSAFE.compareAndSwapObject(this, itemOffset, cmp, val);
}