摘要:在队尾插入指定元素,如果队列已满,则阻塞线程加锁队列已满。这里必须用,防止虚假唤醒在队列上等待之所以这样做,是防止线程被意外唤醒,不经再次判断就直接调用方法。
本文首发于一世流云专栏:https://segmentfault.com/blog...一、ArrayBlockingQueue简介
ArrayBlockingQueue是在JDK1.5时,随着J.U.C包引入的一种阻塞队列,它实现了BlockingQueue接口,底层基于数组实现:
ArrayBlockingQueue是一种有界阻塞队列,在初始构造的时候需要指定队列的容量。具有如下特点:
队列的容量一旦在构造时指定,后续不能改变;
插入元素时,在队尾进行;删除元素时,在队首进行;
队列满时,调用特定方法插入元素会阻塞线程;队列空时,删除元素也会阻塞线程;
支持公平/非公平策略,默认为非公平策略。
这里的公平策略,是指当线程从阻塞到唤醒后,以最初请求的顺序(FIFO)来添加或删除元素;非公平策略指线程被唤醒后,谁先抢占到锁,谁就能往队列中添加/删除顺序,是随机的。二、ArrayBlockingQueue原理 构造
ArrayBlockingQueue提供了三种构造器:
/** * 指定队列初始容量的构造器. */ 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); // 利用独占锁的策略 notEmpty = lock.newCondition(); notFull = lock.newCondition(); }
/** * 根据已有集合构造队列 */ public ArrayBlockingQueue(int capacity, boolean fair, Collection extends E> c) { this(capacity, fair); final ReentrantLock lock = this.lock; lock.lock(); // 这里加锁是用于保证items数组的可见性 try { int i = 0; try { for (E e : c) { checkNotNull(e); // 不能有null元素 items[i++] = e; } } catch (ArrayIndexOutOfBoundsException ex) { throw new IllegalArgumentException(); } count = i; putIndex = (i == capacity) ? 0 : i; // 如果队列已满,则重置puIndex索引为0 } finally { lock.unlock(); } }
核心就是第二种构造器,从构造器也可以看出,ArrayBlockingQueue在构造时就指定了内部数组的大小,并通过ReentrantLock来保证并发环境下的线程安全。
ArrayBlockingQueue的公平/非公平策略其实就是内部ReentrantLock对象的策略,此外构造时还创建了两个Condition对象。在队列满时,插入线程需要在notFull上等待;当队列空时,删除线程会在notEmpty上等待:
public class ArrayBlockingQueue核心方法extends AbstractQueue implements BlockingQueue , java.io.Serializable { /** * 内部数组 */ final Object[] items; /** * 下一个待删除位置的索引: take, poll, peek, remove方法使用 */ int takeIndex; /** * 下一个待插入位置的索引: put, offer, add方法使用 */ int putIndex; /** * 队列中的元素个数 */ int count; /** * 全局锁 */ final ReentrantLock lock; /** * 非空条件队列:当队列空时,线程在该队列等待获取 */ private final Condition notEmpty; /** * 非满条件队列:当队列满时,线程在该队列等待插入 */ private final Condition notFull; //... }
ArrayBlockingQueue会阻塞线程的方法一共4个:put(E e)、offer(e, time, unit)和take()、poll(time, unit),我们先来看插入元素的方法。
插入元素——put(E e)
插入元素的逻辑很简单,用ReentrantLock来保证线程安全,当队列满时,则调用线程会在notFull条件队列上等待,否则就调用enqueue方法入队。
/** * 在队尾插入指定元素,如果队列已满,则阻塞线程. */ public void put(E e) throws InterruptedException { checkNotNull(e); final ReentrantLock lock = this.lock; lock.lockInterruptibly(); // 加锁 try { while (count == items.length) // 队列已满。这里必须用while,防止虚假唤醒 notFull.await(); // 在notFull队列上等待 enqueue(e); // 队列未满, 直接入队 } finally { lock.unlock(); } }
这里需要注意一点,队列已满的时候,是通过while循环判断的,这其实是多线程设计模式中的Guarded Suspension模式:
while (count == items.length) // 队列已满。这里必须用while,防止虚假唤醒 notFull.await(); // 在notFull队列上等待
之所以这样做,是防止线程被意外唤醒,不经再次判断就直接调用enqueue方法。
enqueue方法:
private void enqueue(E x) { final Object[] items = this.items; items[putIndex] = x; if (++putIndex == items.length) // 队列已满,则重置索引为0 putIndex = 0; count++; // 元素个数+1 notEmpty.signal(); // 唤醒一个notEmpty上的等待线程(可以来队列取元素了) }
删除元素——take()
删除元素的逻辑和插入元素类似,区别就是:删除元素时,如果队列空了,则线程需要在notEmpty条件队列上等待。
/** * 从队首删除一个元素, 如果队列为空, 则阻塞线程 */ public E take() throws InterruptedException { final ReentrantLock lock = this.lock; lock.lockInterruptibly(); try { while (count == 0) // 队列为空, 则线程在notEmpty条件队列等待 notEmpty.await(); return dequeue(); // 队列非空,则出队一个元素 } finally { lock.unlock(); } }
队列非空时,调用dequeue方法出队一个元素:
private E dequeue() { final Object[] items = this.items; E x = (E) items[takeIndex]; items[takeIndex] = null; if (++takeIndex == items.length) // 如果队列已空 takeIndex = 0; count--; if (itrs != null) itrs.elementDequeued(); notFull.signal(); // 唤醒一个notFull上的等待线程(可以插入元素到队列了) return x; }环形队列
从上面的入队/出队操作,可以看出,ArrayBlockingQueue的内部数组其实是一种环形结构。
假设ArrayBlockingQueue的容量大小为6,我们来看下整个入队过程:
①初始时
②插入元素“9”
③插入元素“2”、“10”、“25”、“93”
④插入元素“90”
注意,此时再插入一个元素“90”,则putIndex变成6,等于队列容量6,由于是循环队列,所以会将tableIndex重置为0:
这是队列已经满了(count==6),如果再有线程尝试插入元素,并不会覆盖原有值,而是被阻塞。
我们再来看下出队过程:
①出队元素“9”
②出队元素“2”、“10”、“25”、“93”
③出队元素“90”
注意,此时再出队一个元素“90”,则tabeIndex变成6,等于队列容量6,由于是循环队列,所以会将tableIndex重置为0:
这是队列已经空了(count==0),如果再有线程尝试出队元素,则会被阻塞。
三、总结ArrayBlockingQueue利用了ReentrantLock来保证线程的安全性,针对队列的修改都需要加全局锁。在一般的应用场景下已经足够。对于超高并发的环境,由于生产者-消息者共用一把锁,可能出现性能瓶颈。
另外,由于ArrayBlockingQueue是有界的,且在初始时指定队列大小,所以如果初始时需要限定消息队列的大小,则ArrayBlockingQueue 比较合适。后续,我们会介绍另一种基于单链表实现的阻塞队列——LinkedBlockingQueue,该队列的最大特点是使用了“两把锁”,以提升吞吐量。
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/77023.html
摘要:整个包,按照功能可以大致划分如下锁框架原子类框架同步器框架集合框架执行器框架本系列将按上述顺序分析,分析所基于的源码为。后,根据一系列常见的多线程设计模式,设计了并发包,其中包下提供了一系列基础的锁工具,用以对等进行补充增强。 showImg(https://segmentfault.com/img/remote/1460000016012623); 本文首发于一世流云专栏:https...
摘要:我们来看下的类继承图可以看到,实现了接口,在多线程进阶二五之框架中,我们提到过实现了接口,以提供和排序相关的功能,维持元素的有序性,所以就是一种为并发环境设计的有序工具类。唯一的区别是针对的仅仅是键值,针对键值对进行操作。 showImg(https://segmentfault.com/img/bVbggic?w=960&h=600); 本文首发于一世流云专栏:https://seg...
摘要:仅仅当有多个线程同时进行写操作时,才会进行同步。可以看到,上述方法返回一个迭代器对象,的迭代是在旧数组上进行的,当创建迭代器的那一刻就确定了,所以迭代过程中不会抛出并发修改异常。另外,迭代器对象也不支持修改方法,全部会抛出异常。 showImg(https://segmentfault.com/img/bVbggij?w=960&h=600); 本文首发于一世流云专栏:https://...
摘要:我们之前已经介绍过了,底层基于跳表实现,其操作平均时间复杂度均为。事实上,内部引用了一个对象,以组合方式,委托对象实现了所有功能。线程安全内存的使用较多迭代是对快照进行的,不会抛出,且迭代过程中不支持修改操作。 showImg(https://segmentfault.com/img/bVbggjf?w=600&h=377); 本文首发于一世流云专栏:https://segmentfa...
摘要:接口截止目前为止,我们介绍的阻塞队列都是实现了接口。该类在构造时一般需要指定容量,如果不指定,则最大容量为。另外,由于内部通过来保证线程安全,所以的整体实现时比较简单的。另外,双端队列相比普通队列,主要是多了队尾出队元素队首入队元素的功能。 showImg(https://segmentfault.com/img/bVbgZ7j?w=770&h=514); 本文首发于一世流云专栏:ht...
阅读 3275·2021-11-24 09:39
阅读 2784·2021-10-12 10:20
阅读 1859·2019-08-30 15:53
阅读 3056·2019-08-30 14:14
阅读 2580·2019-08-29 15:36
阅读 1091·2019-08-29 14:11
阅读 1923·2019-08-26 13:51
阅读 3386·2019-08-26 13:23