ArrayBlockingQueue与LinkedBlockingQueue底层原理

2024-03-16 02:28
文章标签 原理 底层 linkedblockingqueue arrayblockingqueue

本文主要是介绍ArrayBlockingQueue与LinkedBlockingQueue底层原理，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

ArrayBlockingQueue与LinkedBlockingQueue底层原理

在线程池中，等待队列采用ArrayBlockingQueue或者LinkedBlockingDeque，那他们是怎么实现存放线程、阻塞、取出的呢？

一、ArrayBlockingQueue底层原理

1.1 简介

ArrayBlockingQueue是一个阻塞的队列，继承了AbstractBlockingQueue，间接的实现了Queue接口和Collection接口。 底层以数组的形式保存数据，所以它是基于数组的阻塞队列。ArrayBlockingQueue是有边界值的，在创建ArrayBlockingQueue时就要确定好该队列的大小，一旦创建，该队列大小不可更改。
内部的全局锁是使用的ReentrantLock。

1.2 关系图谱

在这里插入图片描述

1.3 父类BlockingQueue的方法梳理
public interface BlockingQueue<E> extends Queue<E> {//将对象塞入队列，如果塞入成功返回true, 否则返回false。boolean add(E e);//将对象塞入到队列中，如果设置成功返回true, 否则返回falseboolean offer(E e);//将元素塞入到队列中，如果队列中已经满了，//则该方法会一直阻塞，直到队列中有多余的空间。void put(E e) throws InterruptedException;//将对象塞入队列并设置时间//如果塞入成功返回 true, 否则返回 false.boolean offer(E e, long timeout, TimeUnit unit)throws InterruptedException;//从队列中取对象，如果队列中没有对象，//线程会一直阻塞，直到队列中有对象，并且该方法取得了该对象。E take() throws InterruptedException;//在给定的时间里，从队列中获取对象，//时间到了直接调用普通的poll方法，为null则直接返回null。E poll(long timeout, TimeUnit unit)throws InterruptedException;//获取队列中剩余长度。int remainingCapacity();//从队列中移除指定的值。boolean remove(Object o);//判断队列中包含该对象。public boolean contains(Object o);//将队列中对象，全部移除，并加到传入集合中。int drainTo(Collection<? super E> c);//指定最多数量限制将队列中对，全部移除，并家到传入的集合中。int drainTo(Collection<? super E> c, int maxElements);
}
1.4 ArrayBlockingQueue源码解析
1.4.1 参数解释
	/** 队列中存放的值 */final Object[] items;/** 值的索引，这是取出位置的索引*/int takeIndex;/** 值的索引，这是插入位置的索引*/int putIndex;/** 队列中有多少个元素 */int count;/** Main lock guarding all access */final ReentrantLock lock;/** Condition for waiting takes 取出时枷锁 */private final Condition notEmpty;/** Condition for waiting puts 存入时枷锁*/private final Condition notFull;
1.4.2 构造方法
	/*** capacity 表示数组中最大容量，默认使用非公平锁*/public ArrayBlockingQueue(int capacity) {this(capacity, false);}/*** capacity 表示数组中最大容量* fair 为 false 时使用非公平锁，true 时使用公平锁*/public ArrayBlockingQueue(int capacity, boolean fair) {if (capacity <= 0)throw new IllegalArgumentException();this.items = new Object[capacity];lock = new ReentrantLock(fair);notEmpty = lock.newCondition();notFull =  lock.newCondition();}/*** capacity 表示数组中最大容量* fair 为 false 时使用非公平锁，true 时使用公平锁* c 初始化时，可以加入将我们有的集合加入该队列中*/public ArrayBlockingQueue(int capacity, boolean fair,Collection<? extends E> c) {this(capacity, fair);final ReentrantLock lock = this.lock;lock.lock(); // Lock only for visibility, not mutual exclusiontry {int i = 0;try {for (E e : c) {checkNotNull(e); //判空items[i++] = e;}} catch (ArrayIndexOutOfBoundsException ex) {throw new IllegalArgumentException();}count = i;putIndex = (i == capacity) ? 0 : i;} finally {lock.unlock();}}
1.4.3 存入数据的put方法
public void put(E e) throws InterruptedException {//判空checkNotNull(e);//显示锁final ReentrantLock lock = this.lock;//可中断锁lock.lockInterruptibly();try {//判断队列元素是否以及满了，满了就阻塞，如果队列满了await 是阻塞队列while (count == items.length)notFull.await();//队列未满，入队方法enqueue(e);} finally {//释放锁lock.unlock();}
}

数据入队方法

   private void enqueue(E x) {// assert lock.getHoldCount() == 1;// assert items[putIndex] == null;final Object[] items = this.items;items[putIndex] = x;//判断队列是否以及满了if (++putIndex == items.length)//满了就将下一个入队索引设置为 0 putIndex = 0;count++;//唤醒 其他阻塞的出队操作notEmpty.signal();}
1.4.4 取出数据的take方法
  public E take() throws InterruptedException {final ReentrantLock lock = this.lock;//可中断锁lock.lockInterruptibly();try {while (count == 0)//如果队列数量为0，则阻塞取数据的锁notEmpty.await();//队列长度不为0，开始取数据return dequeue();} finally {lock.unlock();}}

从队列取出数据

 private E dequeue() {//取得当前items对象final Object[] items = this.items;//获取数组最后一个数据@SuppressWarnings("unchecked")E x = (E) items[takeIndex];//取走后置空数组最后一个元素items[takeIndex] = null;if (++takeIndex == items.length)takeIndex = 0;count--;if (itrs != null)itrs.elementDequeued();//唤醒 存入数据的锁notFull.signal();return x;}

二、LinkedBlockingQueue底层原理

2.1 主要参数 解释
//队列中元素个数
private final AtomicInteger count = new AtomicInteger();
//头节点
transient Node<E> head;
//尾节点
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();
2.2 存入元素put
public void put(E e) throws InterruptedException {if (e == null) throw new NullPointerException();int c = -1;Node<E> node = new Node<E>(e);//利用ReentrantLock独占锁来加锁，保证同时只有一个线程来putfinal ReentrantLock putLock = this.putLock;//利用AtomicInteger来表示queue中的元素个数final AtomicInteger count = this.count;//可打断的加锁putLock.lockInterruptibly();try {// private final Condition notFull = putLock.newCondition();//如果队列满了，就调用notFull。await()。notFull是putLock的条件变量，当调用notFull.await()会将putLock释放，阻塞在等待队列notFull上while (count.get() == capacity) {notFull.await();}//入队,不用获得takeLock，因为与出队操作不涉及共享变量//从入队代码可以看出head是一个哨兵节点，不存放任何实际数据//last = last.next = node;enqueue(node);//count++c = count.getAndIncrement();//如果队列未满，唤醒被阻塞的入队线程if (c + 1 < capacity)notFull.signal();} finally {putLock.unlock();}//如果c == 0，说明入队之前队列为空，唤醒出队的等待线程if (c == 0)signalNotEmpty();
}private void signalNotEmpty() {final ReentrantLock takeLock = this.takeLock;//获取出队锁takeLock.lock();try {//唤醒出队等待线程notEmpty.signal();} finally {takeLock.unlock();}
}

取出元素take

public E take() throws InterruptedException {E x;int c = -1;final AtomicInteger count = this.count;final ReentrantLock takeLock = this.takeLock;takeLock.lockInterruptibly();try {//如果队列为空，放弃takeLock，阻塞在等待队列notEmpty上while (count.get() == 0) {notEmpty.await();}//出队x = dequeue();//count--;c = count.getAndDecrement();//如果队列不为空，唤醒出队等待线程if (c > 1)notEmpty.signal();} finally {takeLock.unlock();}//如果队列不为空，唤醒入队等待线程if (c == capacity)signalNotFull();return x;
}private E dequeue() {//head是哨兵节点，不存放数据，实际的头节点是head.nextNode<E> h = head;//head的nextNode<E> first = h.next;h.next = h;//将head踢出head = first;//first的item才是第一个元素，head是哨兵节点E x = first.item;first.item = null;//从dequeue方法可以看出，queue中始终有一个哨兵head节点，不存储任何数据，queue中第一个元素是head.nextreturn x;
}private void signalNotFull() {final ReentrantLock putLock = this.putLock;putLock.lock();try {//唤醒入队等待线程notFull.signal();} finally {putLock.unlock();}
}

三、入队出队总结

3.1 入队
方法做法
put如果队列满了，就阻塞，当队列不满的时候，会再执行入队操作
offer如果队列满了，返回false。未满就返回true
add如果队列满了，抛出异常,未满就返回true
3.2 出队
方法做法
take如果队列为空，就阻塞，当队列不空的时候，会再执行出队操作
poll如果队列空了，返回null
peek返回队列首元素，不会出队

这篇关于ArrayBlockingQueue与LinkedBlockingQueue底层原理的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/813998。

相关文章

从原理到实战深入理解Java 断言assert

从原理到实战深入理解Java 断言assert

《从原理到实战深入理解Java断言assert》本文深入解析Java断言机制,涵盖语法、工作原理、启用方式及与异常的区别,推荐用于开发阶段的条件检查与状态验证,并强调生产环境应使用参数验证工具类替代... 目录深入理解 Java 断言（assert）：从原理到实战引言：为什么需要断言？一、断言基础1.1 语
阅读更多...
MySQL中的表连接原理分析

MySQL中的表连接原理分析

《MySQL中的表连接原理分析》：本文主要介绍MySQL中的表连接原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、背景2、环境3、表连接原理【1】驱动表和被驱动表【2】内连接【3】外连接【4编程】嵌套循环连接【5】join buffer4、总结1、背景
阅读更多...
深度解析Spring AOP @Aspect 原理、实战与最佳实践教程

深度解析Spring AOP @Aspect 原理、实战与最佳实践教程

《深度解析SpringAOP@Aspect原理、实战与最佳实践教程》文章系统讲解了SpringAOP核心概念、实现方式及原理,涵盖横切关注点分离、代理机制（JDK/CGLIB）、切入点类型、性能... 目录1. @ASPect 核心概念1.1 AOP 编程范式1.2 @Aspect 关键特性2. 完整代码实
阅读更多...
Java Stream的distinct去重原理分析

Java Stream的distinct去重原理分析

《JavaStream的distinct去重原理分析》Javastream中的distinct方法用于去除流中的重复元素,它返回一个包含过滤后唯一元素的新流,该方法会根据元素的hashcode和eq... 目录一、distinct 的基础用法与核心特性二、distinct 的底层实现原理1. 顺序流中的去重
阅读更多...
Spring @Scheduled注解及工作原理

Spring @Scheduled注解及工作原理

《Spring@Scheduled注解及工作原理》Spring的@Scheduled注解用于标记定时任务,无需额外库,需配置@EnableScheduling,设置fixedRate、fixedDe... 目录1.@Scheduled注解定义2.配置 @Scheduled2.1 开启定时任务支持2.2 创建
阅读更多...
Spring Boot 实现 IP 限流的原理、实践与利弊解析

Spring Boot 实现 IP 限流的原理、实践与利弊解析

《SpringBoot实现IP限流的原理、实践与利弊解析》在SpringBoot中实现IP限流是一种简单而有效的方式来保障系统的稳定性和可用性,本文给大家介绍SpringBoot实现IP限... 目录一、引言二、IP 限流原理2.1 令牌桶算法2.2 漏桶算法三、使用场景3.1 防止恶意攻击3.2 控制资源
阅读更多...
Python中使用uv创建环境及原理举例详解

Python中使用uv创建环境及原理举例详解

《Python中使用uv创建环境及原理举例详解》uv是Astral团队开发的高性能Python工具,整合包管理、虚拟环境、Python版本控制等功能,：本文主要介绍Python中使用uv创建环境及... 目录一、uv工具简介核心特点：二、安装uv1. 通过pip安装2. 通过脚本安装验证安装：配置镜像源（可
阅读更多...
Mysql的主从同步/复制的原理分析

Mysql的主从同步/复制的原理分析

《Mysql的主从同步/复制的原理分析》：本文主要介绍Mysql的主从同步/复制的原理分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录为什么要主从同步？mysql主从同步架构有哪些？Mysql主从复制的原理/整体流程级联复制架构为什么好？Mysql主从复制注意
阅读更多...
Nacos注册中心和配置中心的底层原理全面解读

Nacos注册中心和配置中心的底层原理全面解读

《Nacos注册中心和配置中心的底层原理全面解读》：本文主要介绍Nacos注册中心和配置中心的底层原理的全面解读,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录临时实例和永久实例为什么 Nacos 要将服务实例分为临时实例和永久实例?1.x 版本和2.x版本的区别
阅读更多...
apache的commons-pool2原理与使用实践记录

apache的commons-pool2原理与使用实践记录

《apache的commons-pool2原理与使用实践记录》ApacheCommonsPool2是一个高效的对象池化框架,通过复用昂贵资源（如数据库连接、线程、网络连接）优化系统性能,这篇文章主... 目录一、核心原理与组件二、使用步骤详解（以数据库连接池为例）三、高级配置与优化四、典型应用场景五、注意事
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2