ArrayBlockingQueue与LinkedBlockingQueue底层原理

2024-03-16 02:28

本文主要是介绍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

相关文章

ShardingProxy读写分离之原理、配置与实践过程

《ShardingProxy读写分离之原理、配置与实践过程》ShardingProxy是ApacheShardingSphere的数据库中间件,通过三层架构实现读写分离,解决高并发场景下数据库性能瓶... 目录一、ShardingProxy技术定位与读写分离核心价值1.1 技术定位1.2 读写分离核心价值二

深度解析Python中递归下降解析器的原理与实现

《深度解析Python中递归下降解析器的原理与实现》在编译器设计、配置文件处理和数据转换领域,递归下降解析器是最常用且最直观的解析技术,本文将详细介绍递归下降解析器的原理与实现,感兴趣的小伙伴可以跟随... 目录引言:解析器的核心价值一、递归下降解析器基础1.1 核心概念解析1.2 基本架构二、简单算术表达

深入浅出Spring中的@Autowired自动注入的工作原理及实践应用

《深入浅出Spring中的@Autowired自动注入的工作原理及实践应用》在Spring框架的学习旅程中,@Autowired无疑是一个高频出现却又让初学者头疼的注解,它看似简单,却蕴含着Sprin... 目录深入浅出Spring中的@Autowired:自动注入的奥秘什么是依赖注入?@Autowired

从原理到实战解析Java Stream 的并行流性能优化

《从原理到实战解析JavaStream的并行流性能优化》本文给大家介绍JavaStream的并行流性能优化:从原理到实战的全攻略,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的... 目录一、并行流的核心原理与适用场景二、性能优化的核心策略1. 合理设置并行度:打破默认阈值2. 避免装箱

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数

Python中的filter() 函数的工作原理及应用技巧

《Python中的filter()函数的工作原理及应用技巧》Python的filter()函数用于筛选序列元素,返回迭代器,适合函数式编程,相比列表推导式,内存更优,尤其适用于大数据集,结合lamb... 目录前言一、基本概念基本语法二、使用方式1. 使用 lambda 函数2. 使用普通函数3. 使用 N

MyBatis-Plus 与 Spring Boot 集成原理实战示例

《MyBatis-Plus与SpringBoot集成原理实战示例》MyBatis-Plus通过自动配置与核心组件集成SpringBoot实现零配置,提供分页、逻辑删除等插件化功能,增强MyBa... 目录 一、MyBATis-Plus 简介 二、集成方式(Spring Boot)1. 引入依赖 三、核心机制

Redis分布式锁中Redission底层实现方式

《Redis分布式锁中Redission底层实现方式》Redission基于Redis原子操作和Lua脚本实现分布式锁,通过SETNX命令、看门狗续期、可重入机制及异常处理,确保锁的可靠性和一致性,是... 目录Redis分布式锁中Redission底层实现一、Redission分布式锁的基本使用二、Red

redis和redission分布式锁原理及区别说明

《redis和redission分布式锁原理及区别说明》文章对比了synchronized、乐观锁、Redis分布式锁及Redission锁的原理与区别,指出在集群环境下synchronized失效,... 目录Redis和redission分布式锁原理及区别1、有的同伴想到了synchronized关键字

Linux中的HTTPS协议原理分析

《Linux中的HTTPS协议原理分析》文章解释了HTTPS的必要性:HTTP明文传输易被篡改和劫持,HTTPS通过非对称加密协商对称密钥、CA证书认证和混合加密机制,有效防范中间人攻击,保障通信安全... 目录一、什么是加密和解密?二、为什么需要加密?三、常见的加密方式3.1 对称加密3.2非对称加密四、