LinkedBlockingQueue 源码学习

2024-08-30 05:58

本文主要是介绍LinkedBlockingQueue 源码学习,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 概况

  • FIFO
  • 初始化时候指定了链表长度,默认为 Integer.MAX_VALUE,而节点是插入时才创建

2. 类定义

继承父类与实现接口与 ArrayBlockingQueue 一样。

public class LinkedBlockingQueue<E> extends AbstractQueue<E>implements BlockingQueue<E>, java.io.Serializable {
}

3. 成员变量

与 ArrayBlockingQueue 不一样的地方:

  • 使用两个 Lock 控制入队和出队;ArrayBlockingQueue 只有一个 LOCK 控制并发访问
  • 使用 AtomicInteger 记录当前链表的元素个数;ArrayBlockingQueue 则是使用一个基本类型的变量。
/** 容量大小,默认为 Integer.MAX_VALUE */
private final int capacity;/** 链表中元素个数 */
private final AtomicInteger count = new AtomicInteger();
/*** 链表的头节点,这个头节点是空节点,即 head.item = null*/
transient Node<E> head;
/*** 链表的尾节点,也是一个空节点,即 last.item = null*/
private transient Node<E> last;/** 出队操作的锁 */
private final ReentrantLock takeLock = new ReentrantLock();/** 条件队列,用于通知出队相关方法,告知队列中有元素了 */
private final Condition notEmpty = takeLock.newCondition();/** 入队操作需要获取的锁 */
private final ReentrantLock putLock = new ReentrantLock();/** 条件队列,用于通知入队相关方法,告知队列现在没满 */
private final Condition notFull = putLock.newCondition();

4. 构造方法

public LinkedBlockingQueue() {this(Integer.MAX_VALUE);
}public LinkedBlockingQueue(int capacity) {if (capacity <= 0) throw new IllegalArgumentException();this.capacity = capacity;last = head = new Node<E>(null); // 初始化头节点和尾节点
}/**
* 将集合中的元素放到链表队列中
*/
public LinkedBlockingQueue(Collection<? extends E> c) {this(Integer.MAX_VALUE);final ReentrantLock putLock = this.putLock;putLock.lock(); // Never contended, but necessary for visibilitytry {int n = 0;for (E e : c) {if (e == null)throw new NullPointerException();if (n == capacity)throw new IllegalStateException("Queue full");enqueue(new Node<E>(e)); // 将元素放到链表尾部++n;}count.set(n);} finally {putLock.unlock();}
}// 相当于 last.next = node; last = last.next
private void enqueue(Node<E> node) {// assert putLock.isHeldByCurrentThread();// assert last.next == null;last = last.next = node;
}

5. 成员方法

5.1 入队方法

5.1.1 put

  • 使用 put 锁控制其它线程进行相关入队操作
  • 局部变量 c 用于唤醒正在等待的出队方法
public void put(E e) throws InterruptedException {if (e == null) throw new NullPointerException();int c = -1; // 用于判断是否添加成功,负数表示没有添加成功Node<E> node = new Node<E>(e);final ReentrantLock putLock = this.putLock;final AtomicInteger count = this.count;putLock.lockInterruptibly();try {// 若容量满了,入队进行等待while (count.get() == capacity) {notFull.await();}// 入队操作enqueue(node);// getAndIncrement 方法的返回是自增的元素,所以 c 被赋值添加元素之前的链表节点个数;并且 count++c = count.getAndIncrement();// 添加一个元素还没有满,通知等待队列,还可以进行入队操作if (c + 1 < capacity)notFull.signal();} finally {putLock.unlock();}// 若入队前队列size=0,此时队列元素个数为1,那么就唤醒正在等待出队的方法if (c == 0)signalNotEmpty(); 
}

5.1.2 offer

  • 与 put 方法类似,都是对 putLock 进行加锁控制
  • 带超时时间的 offer 方法增加了阻塞等待的功能
public boolean offer(E e) {if (e == null) throw new NullPointerException();final AtomicInteger count = this.count;if (count.get() == capacity) // 容量满,添加失败return false;int c = -1;Node<E> node = new Node<E>(e);final ReentrantLock putLock = this.putLock;putLock.lock();try {if (count.get() < capacity) {enqueue(node);c = count.getAndIncrement();if (c + 1 < capacity)notFull.signal();}} finally {putLock.unlock();}if (c == 0)signalNotEmpty();return c >= 0;
}public boolean offer(E e, long timeout, TimeUnit unit)throws InterruptedException {if (e == null) throw new NullPointerException();long nanos = unit.toNanos(timeout);int c = -1;final ReentrantLock putLock = this.putLock;final AtomicInteger count = this.count;putLock.lockInterruptibly();try {while (count.get() == capacity) {if (nanos <= 0)return false;nanos = notFull.awaitNanos(nanos);}enqueue(new Node<E>(e));c = count.getAndIncrement();if (c + 1 < capacity)notFull.signal();} finally {putLock.unlock();}if (c == 0)signalNotEmpty();return true;
}

5.2 出队方法

5.2.1 poll

public E poll() {final AtomicInteger count = this.count;if (count.get() == 0)return null;E x = null;int c = -1;final ReentrantLock takeLock = this.takeLock;takeLock.lock();try {if (count.get() > 0) {x = dequeue();  // 出队操作并返回头节点c = count.getAndDecrement();  // 先返回再减 1if (c > 1)notEmpty.signal(); // 通知其它正在等待的 出队方法}} finally {takeLock.unlock();}if (c == capacity)  // 出队之前队列是满的,现在已经出队了,那么通知其它正在等待的 入队方法signalNotFull();return x;
}// 仅在同步方法块中调用
private E dequeue() {// assert takeLock.isHeldByCurrentThread();// assert head.item == null;Node<E> h = head;Node<E> first = h.next;h.next = h; // help GChead = first;E x = first.item;first.item = null;return x;
}public E poll(long timeout, TimeUnit unit) throws InterruptedException {E x = null;int c = -1;long nanos = unit.toNanos(timeout);final AtomicInteger count = this.count;final ReentrantLock takeLock = this.takeLock;takeLock.lockInterruptibly();try {while (count.get() == 0) {if (nanos <= 0)return null;nanos = notEmpty.awaitNanos(nanos);}x = dequeue();c = count.getAndDecrement();if (c > 1)notEmpty.signal();} finally {takeLock.unlock();}if (c == capacity)signalNotFull();return x;
}

5.2.2 peek

public E peek() {if (count.get() == 0)return null;final ReentrantLock takeLock = this.takeLock;takeLock.lock();try {Node<E> first = head.next; // 返回头节点的下一个if (first == null)return null;elsereturn first.item;} finally {takeLock.unlock();}
}

5.2.3 take

public E take() throws InterruptedException {E x;int c = -1;final AtomicInteger count = this.count;final ReentrantLock takeLock = this.takeLock;takeLock.lockInterruptibly();try {while (count.get() == 0) { // 队列为空,进行等待notEmpty.await();}x = dequeue(); // 出队c = count.getAndDecrement();if (c > 1)notEmpty.signal();} finally {takeLock.unlock();}if (c == capacity)signalNotFull();  // 通知正在等待 入队的线程,可以放入元素了return x;
}

删除元素

从链表中删除指定元素,删除成功返回 true

public boolean remove(Object o) {if (o == null) return false;fullyLock();  // 两把锁都获取到再删除try {for (Node<E> trail = head, p = trail.next;p != null;trail = p, p = p.next) {if (o.equals(p.item)) {unlink(p, trail);return true;}}return false;} finally {fullyUnlock();}
}// 将节点 P 从链表中移除,trail 是 p 节点的前一个节点
void unlink(Node<E> p, Node<E> trail) {// assert isFullyLocked();// p.next is not changed, to allow iterators that are// traversing p to maintain their weak-consistency guarantee.p.item = null;trail.next = p.next;if (last == p)last = trail; // 将 last 节点置为 p 的前置节点if (count.getAndDecrement() == capacity)notFull.signal();
}

6. 内部类

7. 思考

  1. LinkedBlockingQueue 为什么使用两个锁,而 ArrayBlockingQueue 只用一个锁?

首先,使用两个锁的吞吐量肯定比一个锁的大,因为入队和出队并不影响;ArrayBlockingQueue 之所以用一个锁,只能推测了,就是 数组实现出队,入队比较简单,再去用锁控制显得多余?

  1. 入队操作的时候,如果还没满,方法内容调用的是 notFull 条件队列,通知线程还可以添加;而 ArrayBlockingQueue 添加元素之后调用的是 notEmpty 条件队列,这里为何不一样?

因为 ArrayBlockingQueue 只有一个锁,如果添加元素之后再 notFull 通知正在等待的入队线程,消费线程可能很久以后才会拿到锁。

  1. 入队方法结尾,c 为什么不用加锁通知? 为什么是 等于 0 或者 等于 captive 而不是 大于 0

c == 0 时,表明入队方法前队列为空,此时很有可能有消费线程在等待,所以得使用 signalNotEmpty 通知正在等待的消费线程

c > 0 时,队列是有数据的,此时消费线程可能都在消费中,此时通知的意义并不大。

这篇关于LinkedBlockingQueue 源码学习的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1119984

相关文章

Java汇编源码如何查看环境搭建

《Java汇编源码如何查看环境搭建》:本文主要介绍如何在IntelliJIDEA开发环境中搭建字节码和汇编环境,以便更好地进行代码调优和JVM学习,首先,介绍了如何配置IntelliJIDEA以方... 目录一、简介二、在IDEA开发环境中搭建汇编环境2.1 在IDEA中搭建字节码查看环境2.1.1 搭建步

HarmonyOS学习(七)——UI(五)常用布局总结

自适应布局 1.1、线性布局(LinearLayout) 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列,Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距,达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式,且在各类尺寸屏幕上表现一致,其中交叉轴为垂直时,取值为Vert

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

学习hash总结

2014/1/29/   最近刚开始学hash,名字很陌生,但是hash的思想却很熟悉,以前早就做过此类的题,但是不知道这就是hash思想而已,说白了hash就是一个映射,往往灵活利用数组的下标来实现算法,hash的作用:1、判重;2、统计次数;

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟&nbsp;开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚&nbsp;第一站:海量资源,应有尽有 走进“智听

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

Java ArrayList扩容机制 (源码解读)

结论:初始长度为10,若所需长度小于1.5倍原长度,则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1:数组默认长度         2:这是一个共享的空数组实例,用于明确创建长度为0时的ArrayList ,比如通过 new ArrayList<>(0),ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL