Java底层类和源码分析系列-ArrayBlockingQueue底层架构和源码分析

2024-02-01 03:48

本文主要是介绍Java底层类和源码分析系列-ArrayBlockingQueue底层架构和源码分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

ArrayBlockingQueue是一个基于数组实现的有界的阻塞队列。

几个要点

  • ArrayBlockingQueue是一个用数组实现的队列,所以在效率上比链表结构的LinkedBlockingQueue要快一些,但是队列长度固定,不能扩展,入列和出列使用同一把锁。LinkedBlockingQueue是入列出列两把锁,读写分离。
  • 先进先出,FIFO,队列的头部 是在队列中存在时间最长的元素。队列的尾部 是在队列中存在时间最短的元素
  • 新元素插入到队列的尾部,队列检索操作则是从队列头部开始获得元素
  • 利用重入锁来保证并发安全
  • 初始化时必须传入容量,也就是数组的大小,不需要扩容,因为是初始化时指定容量,并循环利用数组,使用之前一定要慎重考虑好容量
  • put(e)(put(e)时如果队列满了则使用notFull阻塞等待)、take()阻塞
  • add(e)时如果队列满了则抛出异常
  • remove()时如果队列为空则抛出异常
  • offer(e)时如果队列满了则返回false
  • poll()时如果队列为空则返回null
  • poll(timeout, unit)时如果队列为空则阻塞等待一段时间后如果还为空就返回null
  • 只使用了一个锁来控制入队出队,效率较低

定义

public class ArrayBlockingQueue<E> extends AbstractQueue<E>implements BlockingQueue<E>, java.io.Serializable 

成员属性

//底层存储元素的数组。为final说明一旦初始化,容量不可变,所以是有界的。
final Object[] items;//下一个take, poll, peek or remove操作的index位置
int takeIndex;//下一个put, offer, or add操作的index位置
int putIndex;// 元素数量
int count;/**
* 用于并发控制:使用经典的双Condition算法
*/
final ReentrantLock lock;
/** 获取操作等待条件 */
private final Condition notEmpty;
/** 插入操作等待条件 */
private final Condition notFull;

构造方法

//传入参数为队列的容量,传入后队列容量固定,不能扩容public ArrayBlockingQueue(int capacity) {this(capacity, false);}//传入队列容量和是否为公平锁
public ArrayBlockingQueue(int capacity, boolean fair) {//容量非空判断if (capacity <= 0)throw new IllegalArgumentException();//初始化存放队列元素的数组this.items = new Object[capacity];//初始化锁lock = new ReentrantLock(fair);//初始化用于阻塞的ConditionnotEmpty = lock.newCondition();notFull =  lock.newCondition();}

offer(E e)

往队列中添加一条元素,如果添加成功,返回true,添加失败则返回false.
在LinkedBlockingQueue中入列之后有一个自我唤醒的方法,而这里却没有,是因为LinkedBlockingQueue的入列和出列是分别不同的两把锁,读写分离。而这里读写用的是同一把锁,所以在读和写在同一时间内只能执行一个方法,就不会存在线程假死状态,但效率较慢。

public boolean offer(E e) {//元素校验
        checkNotNull(e);//引用锁final ReentrantLock lock = this.lock;//上锁
        lock.lock();try {//当队列塞满后,不能再继续往队列中添加元素,返回falseif (count == items.length)return false;else {//队列还未塞满,执行入列方法,入列成功返回true
                enqueue(e);return true;}} finally {//释放锁
            lock.unlock();}}public boolean offer(E e, long timeout, TimeUnit unit)throws InterruptedException {checkNotNull(e);//入列时间转化成纳秒long nanos = unit.toNanos(timeout);final ReentrantLock lock = this.lock;//上锁,如果线程在阻塞中中断,则抛出异常
        lock.lockInterruptibly();try {//当队列塞满的时候,进行超时等待while (count == items.length) {if (nanos <= 0)return false;nanos = notFull.awaitNanos(nanos);}//入列
            enqueue(e);return true;} finally {//锁释放
            lock.unlock();}}

put(E e) 阻塞

往队列中添加一条元素,如果队列塞满了,则线程无限期等待。直到有出列方法执行后队列还有剩余空间,在出列方法中唤醒当前正在阻塞的入列线程,继续执行入列操作。

public void put(E e) throws InterruptedException {checkNotNull(e);final ReentrantLock lock = this.lock;lock.lockInterruptibly();try {//队列塞满了while (count == items.length)//线程进行无限期等待
                notFull.await();//执行入列方法
            enqueue(e);} finally {lock.unlock();}}private void enqueue(E x) {final Object[] items = this.items;//入列:往数组中存入元素items[putIndex] = x;/**判断元素是否存到了数组的最后一个位置上,如果是,就把下一个元素入列的索引置为1,防止索引越界,*/if (++putIndex == items.length)putIndex = 0;//入列成功,当前队列元素数量自增count++;/**通知还在等待的出列方法,队列中已有元素,可以进行出列了*/notEmpty.signal();}

add(E e) 失败则抛异常

//调用父类的add方法
public boolean add(E e) {return super.add(e);
}//调用入列方法offer,offer入列失败,抛出异常,成功则返回true
public boolean add(E e) {if (offer(e))return true;elsethrow new IllegalStateException("Queue full");
}

poll()

从队列中取出一条元素,并删除,如果取出成功,返回被取出的元素,如果取出失败,则返回null

public E poll() {final ReentrantLock lock = this.lock;//上锁
        lock.lock();try {//队列为空,返回null,否则执行出列方法return (count == 0) ? null : dequeue();} finally {//释放锁
            lock.unlock();}}
public E poll(long timeout, TimeUnit unit) throws InterruptedException {//超时时间转换成纳秒long nanos = unit.toNanos(timeout);final ReentrantLock lock = this.lock;//上锁,超时等待过程如果线程中断,则抛出异常
        lock.lockInterruptibly();try {//队列为空,超时等待,等待超时,返回nullwhile (count == 0) {if (nanos <= 0)return null;nanos = notEmpty.awaitNanos(nanos);}//执行出列方法return dequeue();} finally {//释放锁
            lock.unlock();}}

E peek()

从队列中取出第一条元素,但不移除

public E peek() {final ReentrantLock lock = this.lock;lock.lock();try {return itemAt(takeIndex); // null when queue is empty} finally {lock.unlock();}}

take()

从队列中取出一条元素,如果队列为空,则线程进行无限期等待,直到有执行入列操作的线程入列成功,队列中有元素后,在入列方法中环信当前正在等待出列的线程进行出列操作。

   public E take() throws InterruptedException {final ReentrantLock lock = this.lock;lock.lockInterruptibly();try {while (count == 0)notEmpty.await();return dequeue();} finally {lock.unlock();}}private E dequeue() {// 引用队列存放的数组final Object[] items = this.items;@SuppressWarnings("unchecked")//获取要出列的元素E x = (E) items[takeIndex];//移除出列后的元素items[takeIndex] = null;/**标记下次出列的元素的索引,并判断当前出列元素是否是数组中最后一条元素,如果是则,标记下次出列元素索引为0,从数组头部开始出列*/if (++takeIndex == items.length)takeIndex = 0;//出列成功,队列长度-1count--;if (itrs != null)itrs.elementDequeued();notFull.signal();return x;}

remove()

public E remove() {E x = poll();if (x != null)return x;elsethrow new NoSuchElementException();}
  • 抛异常:add、remove
  • 返回特定值:offer(e)——boolean、poll()——null、peek()——null
  • 阻塞:take、put

这篇关于Java底层类和源码分析系列-ArrayBlockingQueue底层架构和源码分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

mybatis的整体架构

mybatis的整体架构分为三层: 1.基础支持层 该层包括:数据源模块、事务管理模块、缓存模块、Binding模块、反射模块、类型转换模块、日志模块、资源加载模块、解析器模块 2.核心处理层 该层包括:配置解析、参数映射、SQL解析、SQL执行、结果集映射、插件 3.接口层 该层包括:SqlSession 基础支持层 该层保护mybatis的基础模块,它们为核心处理层提供了良好的支撑。

百度/小米/滴滴/京东,中台架构比较

小米中台建设实践 01 小米的三大中台建设:业务+数据+技术 业务中台--从业务说起 在中台建设中,需要规范化的服务接口、一致整合化的数据、容器化的技术组件以及弹性的基础设施。并结合业务情况,判定是否真的需要中台。 小米参考了业界优秀的案例包括移动中台、数据中台、业务中台、技术中台等,再结合其业务发展历程及业务现状,整理了中台架构的核心方法论,一是企业如何共享服务,二是如何为业务提供便利。

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory