54.安心技术梳理 - 使用工具类(线程池/集合/线程/队列)

本文链接：https://blog.csdn.net/majunzhu/article/details/103783970

一、ConcurrentLinkedQueue(线程安全的队列)适用于并发编程中。

A.实现线程安全的队列有两种实现方式：一种是使用阻塞算法队列，另一种是使用非阻塞算法队列

阻塞算法队列：可以用一个锁（入队和出队用同一把锁）或两个锁（入队和出队用不同的锁）等方式来实现

非阻塞算法队列：可以使用循环CAS的方式来实现

实例：非阻塞算法队列实现，如：ConcurrentLinkedQueue

ConcurrentLinkedQueue是一个基于链接节点的无界线程安全队列，它采用先进先出的规则对节点进行排序，当我们添加一个元素的时候，它会添加到队列的尾部，当我们获取一个元素时，它会返回队列头部的元素。它采用了“wait－free”算法来实现，该算法在Michael & Scott算法上进行了一些修改。

ConcurrentLinkedQueue由head节点和tail节点组成，每个节点（Node）由节点元素（item）和指向下一个节点的引用(next)组成，节点与节点之间就是通过这个next关联起来，从而组成一张链表结构的队列。

***举例***：ConcurrentLinkedQueue的方法1：add(E e) 入队方法分析

从源代码角度来看整个入队过程主要做两件事情：

1、定位出尾节点：tail节点并不总是尾节点，所以每次入队都必须先通过tail节点来找到尾节点，尾节点可能就是tail节点，也可能是tail节点的next节点

2、使用CAS算法能将入队节点设置成尾节点的next节点，如不成功则重试：p.casNext(null, newNode)方法用于将入队节点设置为当前队列尾节点的next节点，q如果是null表示p是当前队列的尾节点，如果不为null表示有其他线程更新了尾节点，则需要重新获取当前队列的尾节点。

ConcurrentLinkedQueue的add(E e) 出队方法分析

从队列里返回一个节点元素，并清空该节点对元素的引用：首先获取头节点的元素，然后判断头节点元素是否为空，如果为空，表示另外一个线程已经进行了一次出队操作将该节点的元素取走，如果不为空，则使用CAS的方式将头节点的引用设置成null，如果CAS成功，则直接返回头节点的元素，如果不成功，表示另外一个线程已经进行了一次出队操作更新了head节点，导致元素发生了变化，需要重新获取头节点。

ConcurrentLinkedQueue的其他方法：

peek()方法：获取链表的首部元素（只读取而不移除），peek操作会改变head指向，执行peek()方法后head会指向第一个具有非空元素的节点。

size()方法：获取当前队列的元素个数，但在并发环境中，其结果可能不精确，因为整个过程都没有加锁，所以从调用size方法到返回结果期间有可能增删元素，导致统计的元素个数不精确。

remove(Object o)方法：删除的元素不能为null

contains(Object o)方法：遍历队列，若找到匹配节点，则返回true，该方法和size方法类似，有可能返回错误结果，比如调用该方法时，元素还在队列里面，但是遍历过程中，该元素被删除了，那么就会返回false。

线程安全队列技术图：