系列传送门:

ArrayBlockingQueue概述

ArrayBlockingQueue是由数组构成的有界阻塞队列,支持FIFO的次序对元素进行排序。

这是一个典型的有界缓冲结构,可指定大小存储元素,供生产线程插入,供消费线程获取,但注意,容量一旦指定,便不可修改。

队列空时尝试take操作和队列满时尝试put操作都会阻塞执行操作的线程。

该类还支持可供选择的公平性策略ReentrantLock可重入锁实现,默认采用非公平策略,当队列可用时,阻塞的线程都可以争夺访问队列的资格。

阻塞队列通过ReentrantLock + Condition实现并发环境下的等待通知机制:读操作和写操作都需要获取到AQS独占锁才能进行操作,如果队列为空,则读操作线程将会被包装为条件节点扔到读线程等待条件队列中,等待写线程写入新的元素,同时读线程将会被唤醒,反之亦然。

类图结构及重要字段

public class ArrayBlockingQueue<E> extends AbstractQueue<E>
implements BlockingQueue<E>, java.io.Serializable {
// 序列号, 用于序列化
private static final long serialVersionUID = -817911632652898426L;
// 底层存储数据的定长数组
final Object[] items;
// 移除操作的index,可以理解为队头位置
int takeIndex;
// 添加操作的index,可以理解为队尾位置
int putIndex;
// 元素个数
int count;
// 独占重入锁
final ReentrantLock lock;
// 等待takes的条件对象
private final Condition notEmpty;
// 等待puts的条件对象
private final Condition notFull;
// Itrs表示队列和迭代器之间的共享数据,其实用来存储多个迭代器实例的
transient Itrs itrs = null;
}

构造器

使用ArrayBlockingQueue的时候,必须指定一个capacity阻塞队列的容量。可以传入可选的fair值,以采取不同公平性策略,默认使用非公平的策略。另外,可以传入集合对象,直接构造阻塞队列。

    // 必须指定容量, 默认采用非公平策略
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); // 初始化lock
notEmpty = lock.newCondition(); // 初始化条件变量notEmpty
notFull = lock.newCondition(); // 初始化条件变量notFull
}
// 另外,可指定传入集合直接构造
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 exclusion
try {
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();
}
}

出队和入队操作

队列的操作最核心的部分莫过于入队和出队了,后面分析的方法基本上都基于这两个工具方法。

入队enqueue

    private void enqueue(E x) {
// assert lock.getHoldCount() == 1;
// assert items[putIndex] == null;
final Object[] items = this.items;
// 把元素x放入数组
items[putIndex] = x;
// 下一个元素应该存放的下标位置
if (++putIndex == items.length)
putIndex = 0;
count++;
// 激活notEmpty的条件队列因调用take操作而被阻塞的一个线程
notEmpty.signal();
}
  1. 将元素x置入数组中。
  2. 计算下一个元素应该存放的下标位置。
  3. 元素个数器递增,这里count前加了锁,值都是从主内存中获取,不会存在内存不可见问题,并且更新也会直接刷新回主内存中。
  4. 最后激活notEmpty的条件队列因调用take操作而被阻塞的一个线程。

出队dequeue

    private E dequeue() {
// assert lock.getHoldCount() == 1;
// assert items[takeIndex] != null;
final Object[] items = this.items;
@SuppressWarnings("unchecked")
// 获取元素
E x = (E) items[takeIndex];
// 置null
items[takeIndex] = null;
// 重新设置对头下标
if (++takeIndex == items.length)
takeIndex = 0;
// 更新元素计数器
count--;
// 更新迭代器中的元素数据,itrs只用在使用迭代器的时候才实例化哦
if (itrs != null)
itrs.elementDequeued();
// 激活notFull的条件队列因调用put操作而被阻塞的一个线程
notFull.signal();
return x;
}
  1. 获取元素,并将当前位置置null。
  2. 重新设置队头下标。
  3. 元素计数器递减。
  4. 更新迭代器中的元素数据,itrs默认情况下都是为null的,只有使用迭代器的时候才会实例化Itrs。
  5. 激活notFull的条件队列因调用put操作而被阻塞的一个线程。

阻塞式操作

E take() 阻塞式获取

take操作将会获取当前队列头部元素并移除,如果队列为空则阻塞当前线程直到队列不为空,退出阻塞时返回获取的元素。

那,线程阻塞至何时如何知道呢,其实当前线程将会因notEmpty.await()被包装成等待节点置入notEmpty的条件队列中,一旦enqueue操作成功触发,也就是入队成功,将会执行notEmpty.signal()唤醒条件队列中等待的线程,被转移到AQS队列中参与锁的争夺。

如果线程在阻塞时被其他线程设置了中断标志,则抛出InterruptedException异常并返回。

    public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
// 可响应中断式地获取锁
lock.lockInterruptibly();
try {
// 如果队列为空,则将当前线程包装为等待节点置入notEmpty的条件队列中
while (count == 0)
notEmpty.await();
// 非空,则执行入队操作,入队时唤醒notFull的条件队列中的第一个线程
return dequeue();
} finally {
lock.unlock();
}
}

void put(E e) 阻塞式插入

put操作将向队尾插入元素,如果队列未满则插入,如果队列已满,则阻塞当前线程直到队列不满。

如果线程在阻塞时被其他线程设置了中断标志,则抛出InterruptedException异常并返回。

    public void put(E e) throws InterruptedException {
checkNotNull(e);
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
// 如果队列满,则将当前线程包装为等待节点置入notFull的条件队列中
while (count == items.length)
notFull.await();
// 非满,则执行入队操作,入队时唤醒notEmpty的条件队列中的第一个线程
enqueue(e);
} finally {
lock.unlock();
}
}

E poll(timeout, unit) 阻塞式超时获取

在take阻塞式获取方法的基础上额外增加超时功能,传入一个timeout,获取不到而阻塞的时候,如果时间到了,即使还获取不到,也只能立即返回null。

    public E poll(long timeout, TimeUnit unit) throws InterruptedException {
long nanos = unit.toNanos(timeout);
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == 0) {
// 队列仍为空,但是时间到了,必须返回了
if (nanos <= 0)
return null;
// 在条件队列里等着,但是需要更新时间
nanos = notEmpty.awaitNanos(nanos);
}
return dequeue();
} finally {
lock.unlock();
}
}

boolean offer(e, timeout, unit) 阻塞式超时插入

在put阻塞式插入方法的基础上额外增加超时功能,传入一个timeout,获取不到而阻塞的时候,如果时间到了,即使还获取不到,也只能立即返回null。

    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();
}
}

其他常规操作

boolean offer(E e)

offer(E e)是非阻塞的方法,向队尾插入一个元素,如果队列未满,则插入成功并返回true;如果队列已满则丢弃当前元素,并返回false。

    public boolean offer(E e) {
checkNotNull(e); // 如果插入元素为null,则抛出NullPointerException异常
// 获取独占锁
final ReentrantLock lock = this.lock;
lock.lock();
try {
// 如果队列满, 则返回false
if (count == items.length)
return false;
else {
// 否则则入队
enqueue(e);
return true;
}
} finally {
lock.unlock();
}
}

E poll()

从队列头部获取并移除第一个元素,如果队列为空则返回null。

    public E poll() {
final ReentrantLock lock = this.lock;
lock.lock();
try {
// 如果为空,返回null, 否则执行出队操作
return (count == 0) ? null : dequeue();
} finally {
lock.unlock();
}
}

Boolean remove(Object o)

移除队列中与元素o相等【指的是equals方法判定相同】的元素,移除成功返回true,如果队列为空或没有匹配元素,则返回false。

    public boolean remove(Object o) {
if (o == null) return false;
final Object[] items = this.items;
final ReentrantLock lock = this.lock;
lock.lock();
try { if (count > 0) {
// 获取当前队尾位置
final int putIndex = this.putIndex;
// 从队头开始遍历
int i = takeIndex;
do {
// 找到了对应的元素的位置,removeAt删除该位置的元素
if (o.equals(items[i])) {
removeAt(i);
return true;
}
if (++i == items.length)
i = 0;
} while (i != putIndex);
}
return false;
} finally {
lock.unlock();
}
}
// 移除removeIndex位置的元素
void removeAt(final int removeIndex) {
// assert lock.getHoldCount() == 1;
// assert items[removeIndex] != null;
// assert removeIndex >= 0 && removeIndex < items.length;
final Object[] items = this.items;
// 如果要移除元素的位置正好就是 队头位置,和之前出队操作一样
if (removeIndex == takeIndex) {
// removing front item; just advance
items[takeIndex] = null;
if (++takeIndex == items.length)
takeIndex = 0;
count--;
if (itrs != null)
itrs.elementDequeued();
} else {
// an "interior" remove // slide over all others up through putIndex.
final int putIndex = this.putIndex;
// 移除的不是队头,那就要对应将后面的元素补充上来,并更新putIndex的位置
for (int i = removeIndex;;) {
int next = i + 1;
if (next == items.length)
next = 0;
// 移除的不是队尾,后面的元素补充上来
if (next != putIndex) {
items[i] = items[next];
i = next;
} else {
// 移除的是队尾元素
items[i] = null;
this.putIndex = i;
break;
}
}
count--;
if (itrs != null)
itrs.removedAt(removeIndex);
}
notFull.signal();
}

总结

  • ArrayBlockingQueue基于数组的有界阻塞队列,必须指定容量大小,及队列中最多允许的元素个数。

  • 提供了take和put两个阻塞式的操作,还提供了阻塞式+超时机制的操作。

  • 阻塞队列通过ReentrantLock + Condition实现并发环境下的等待通知机制:读操作和写操作都需要获取到AQS独占锁才能进行操作,如果队列为空,则读操作线程将会被包装为条件节点扔到读线程等待条件队列中阻塞,等待写线程写入新的元素,并唤醒等待中的读线程,反之亦然。

本篇重点看了出队入队相关方法,其余部分如迭代器相关不是本文重点,如果想了解学习可以参看:ArrayBlockingQueue 迭代器

参考阅读

  • 《Java并发编程之美》
  • 《Java并发编程的艺术》

Java并发包源码学习系列:阻塞队列实现之ArrayBlockingQueue源码解析的更多相关文章

  1. Java并发包源码学习系列:JDK1.8的ConcurrentHashMap源码解析

    目录 为什么要使用ConcurrentHashMap? ConcurrentHashMap的结构特点 Java8之前 Java8之后 基本常量 重要成员变量 构造方法 tableSizeFor put ...

  2. Java并发包源码学习系列:阻塞队列BlockingQueue及实现原理分析

    目录 本篇要点 什么是阻塞队列 阻塞队列提供的方法 阻塞队列的七种实现 TransferQueue和BlockingQueue的区别 1.ArrayBlockingQueue 2.LinkedBloc ...

  3. Java并发包源码学习系列:阻塞队列实现之LinkedBlockingQueue源码解析

    目录 LinkedBlockingQueue概述 类图结构及重要字段 构造器 出队和入队操作 入队enqueue 出队dequeue 阻塞式操作 E take() 阻塞式获取 void put(E e ...

  4. Java并发包源码学习系列:阻塞队列实现之PriorityBlockingQueue源码解析

    目录 PriorityBlockingQueue概述 类图结构及重要字段 什么是二叉堆 堆的基本操作 向上调整void up(int u) 向下调整void down(int u) 构造器 扩容方法t ...

  5. Java并发包源码学习系列:阻塞队列实现之DelayQueue源码解析

    目录 DelayQueue概述 类图及重要字段 Delayed接口 Delayed元素案例 构造器 put take first = null 有什么用 总结 参考阅读 系列传送门: Java并发包源 ...

  6. Java并发包源码学习系列:阻塞队列实现之SynchronousQueue源码解析

    目录 SynchronousQueue概述 使用案例 类图结构 put与take方法 void put(E e) E take() Transfer 公平模式TransferQueue QNode t ...

  7. Java并发包源码学习系列:阻塞队列实现之LinkedTransferQueue源码解析

    目录 LinkedTransferQueue概述 TransferQueue 类图结构及重要字段 Node节点 前置:xfer方法的定义 队列操作三大类 插入元素put.add.offer 获取元素t ...

  8. Java并发包源码学习系列:阻塞队列实现之LinkedBlockingDeque源码解析

    目录 LinkedBlockingDeque概述 类图结构及重要字段 linkFirst linkLast unlinkFirst unlinkLast unlink 总结 参考阅读 系列传送门: J ...

  9. Java并发包源码学习系列:基于CAS非阻塞并发队列ConcurrentLinkedQueue源码解析

    目录 非阻塞并发队列ConcurrentLinkedQueue概述 结构组成 基本不变式 head的不变式与可变式 tail的不变式与可变式 offer操作 源码解析 图解offer操作 JDK1.6 ...

随机推荐

  1. openstack高可用集群21-生产环境高可用openstack集群部署记录

    第一篇 集群概述 keepalived + haproxy +Rabbitmq集群+MariaDB Galera高可用集群   部署openstack时使用单个控制节点是非常危险的,这样就意味着单个节 ...

  2. 移位运算符<<与>>

    程序设计中,我们有时会看到两种运算符:<<和>>,这两种运算符均为移位运算符,属于位操作运算符中的一种,分别为<<(左移)和>>(右移). 其中,左移运 ...

  3. win7开机登录界面壁纸修改

    1.选择一张自己喜欢的图(一定要是jpg格式,亲测png格式不行),分辨率最好和自己电脑的分辨率差不多. 2.将图片改名为"backgroundDefault.jpg": 3.按下 ...

  4. C#中烦人的Null值判断竟然这样就被消灭了

    作者:依乐祝 首发自:DotNetCore实战 公众号 https://www.cnblogs.com/yilezhu/p/14177595.html Null值检查应该算是开发中最常见且烦人的工作了 ...

  5. Java学习_面向对象编程

    抽象类 一个class定义了方法,但没有具体执行代码,这个方法就是抽象方法,抽象方法用abstract修饰.因为抽象类本身被设计成只能用于被继承,因此,抽象类可以强迫子类实现其定义的抽象方法,否则编译 ...

  6. Mysql Workbench查询成功但是不显示

    先来看看MysqlWorkbench的一个bug: 当执行SQL语句成后显示结果在屏幕下方,但是当你拖动结果拦边框往下移动到与Action Output时两者就会合并,再也拖不上来!!!! 回归正题: ...

  7. break continue学习

    1.break和continue必须使用在循环或者switch语句中 2.当break语句单独存在时.后面不要定义其他语句,因为后面的语句无法执行到 3.break跳出当前所在循环 4.break跳出 ...

  8. golang unsafe.Pointer与uintptr

    原文地址:https://blog.fanscore.cn/p/33/ 先说结论 uintptr 是一个地址数值,它不是指针,与地址上的对象没有引用关系,垃圾回收器不会因为有一个uintptr类型的值 ...

  9. jpa 主键重复导致查询list的数据总是重复第一条数据

    背境: JPA 读取 Oracle 中的视图,同一条sql, 在数据库 IDE (PLSql)读出 878 条记录并正常显示,代码依然保存了 878 条记录,但所有记录均一样,即数据库中第一条记录. ...

  10. 10. C++对象模型和 this 指针

    1. 成员变量和成员函数分开存储 在C++中,类内的成员变量和成员函数分开存储,只有非静态成员变量才属于类的对象上 空对象占用内存空间为:1 ----> C++编译器会给每个空对象也分配一个字节 ...