乐趣区

JDK源码那些事儿之ArrayBlockingQueue

线程在 JDK 中是非常重要的一块内容,所有的应用服务都离不开线程的相关操作,对于大量线程的使用都是推荐使用线程池来进行操作和管理,JDK 本身提供的线程池在服务中经常被使用到,以往经常使用 Executors 来创建,但是阿里规范中也指出了其存在的隐患,从源码来看,内部大量使用了队列相关的类,所以在深入线程部分之前,我们需要了解队列相关的内容,本文就以 ArrayBlockingQueue 开始对 JDK 中的常用的队列进行说明

前言

首先我们需要明白其结构特点:ArrayBlockingQueue 是数组实现的线程安全的有界的阻塞队列

  • 内部是通过数组来实现的,从源码部分也能看出来
  • 线程安全说明的是 ArrayBlockingQueue 内部通过 ReentrantLock 保护竞争资源,实现了多线程对竞争资源的互斥访问
  • 有界,ArrayBlockingQueue 对应的数组是有界限的
  • 阻塞队列,是指多线程访问竞争资源时,当竞争资源已被某线程获取时,其它要获取该资源的线程需要阻塞等待;而且,ArrayBlockingQueue 是按 FIFO(先进先出)原则对元素进行排序,元素都是从尾部插入到队列,从头部开始返回。

从上边的结构特点我们基本上能够理解了其主要的实现,下面来稍微具体描述下其内部实现:

  1. ArrayBlockingQueue 继承于 AbstractQueue,并且它实现了 BlockingQueue 接口
  2. ArrayBlockingQueue 内部是通过 Object[]数组保存数据的,印证上边通过数组实现的特点。ArrayBlockingQueue 的大小,即数组的容量是创建 ArrayBlockingQueue 时需要指定的
  3. ArrayBlockingQueue 中包含一个 ReentrantLock 对象(lock)。ReentrantLock 是可重入的互斥锁,ArrayBlockingQueue 就是根据该互斥锁实现“多线程对竞争资源的互斥访问”。而且,ReentrantLock 分为公平锁和非公平锁,关于具体使用公平锁还是非公平锁,在创建 ArrayBlockingQueue 时可以指定;而且,ArrayBlockingQueue 默认会使用非公平锁。
  4. ArrayBlockingQueue 中包含两个 Condition 对象 (notEmpty 和 notFull)。Condition 又依赖于 ArrayBlockingQueue 而存在,通过 Condition 可以实现对 ArrayBlockingQueue 的更精确的访问。例如,若线程 A 要取数据时,数组正好为空,则该线程会执行 notEmpty.await() 进行等待;当其它某个线程 (线程 B) 向数组中插入了数据之后,会调用 notEmpty.signal()唤醒“notEmpty 上的等待线程”。此时,线程 A 会被唤醒从而得以继续运行。若线程 C 要插入数据时,数组已满,则该线程会它执行 notFull.await()进行等待;当其它某个线程 (线程 D) 取出数据之后,会调用 notFull.signal()唤醒“notFull 上的等待线程”。此时,线程 C 就会被唤醒从而得以继续运行。

ArrayBlockingQueue 中入队出队操作如上例子相对比较简单也比较好理解,复杂部分在于迭代器部分,下面通过源码来一步一步说明

类定义

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

常量 / 变量

    /** The queued items */
    // 队列内部实现使用数组
    final Object[] items;

    /** items index for next take, poll, peek or remove */
    // 下一次从队列中获取的队列元素索引
    int takeIndex;

    /** items index for next put, offer, or add */
    // 下一次插入队列的队列元素索引
    int putIndex;

    /** Number of elements in the queue */
    // 队列长度
    int count;

    /*
     * Concurrency control uses the classic two-condition algorithm
     * found in any textbook.
     */

    /** Main lock guarding all access */
    // 互斥锁
    final ReentrantLock lock;

    /** Condition for waiting takes */
    // 非空信号量
    private final Condition notEmpty;

    /** Condition for waiting puts */
    // 非满信号量
    private final Condition notFull;

    /**
     * Shared state for currently active iterators, or null if there
     * are known not to be any.  Allows queue operations to update
     * iterator state.
     */
    // 迭代器维护列表,每次队列更新操作需要更新迭代器保证正确性
    // 第二部分迭代器部分单独说明,这里先简单理解就好
    transient Itrs itrs = null;

构造方法

默认使用非公平锁,创建一个互斥锁和两个 Condition 来帮助完成整个队列的操作,从构造方法上也可以看到,队列容量是必须要传的

    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;
        // 使用锁操作确保可见性,因为 item 这里本身并不保证可见性,防止并发操作下线程内存中数组不一致的情况出现
        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 置 0,从这里也能看出来这个数组是循环利用的,达到最大值,置成 0,类似环状数组
            putIndex = (i == capacity) ? 0 : i;
        } finally {lock.unlock();
        }
    }

重要方法

enqueue

入队操作,添加元素到队列中,当且仅当持有 lock 的时候。每次添加完毕后通过 notEmpty.signal()唤醒之前通过 notEmpty.await()进入等待状态的线程

    /**
     * Inserts element at current put position, advances, and signals.
     * Call only when holding lock.
     */
    private void enqueue(E x) {// assert lock.getHoldCount() == 1;
        // assert items[putIndex] == null;
        final Object[] items = this.items;
        items[putIndex] = x;
        // 达到数组最大索引时,putIndex 指向数组为 0 的位置
        if (++putIndex == items.length)
            putIndex = 0;
        // 队列长度加 1
        count++;
        notEmpty.signal();}

dequeue

出队操作,获取队列元素,当且仅当持有 lock 的时候。每次获取完毕后通过 notFull.signal()唤醒之前通过 notFull.await()进入等待状态的线程

    /**
     * Extracts element at current take position, advances, and signals.
     * Call only when holding lock.
     */
    private E dequeue() {// assert lock.getHoldCount() == 1;
        // assert items[takeIndex] != null;
        final Object[] items = this.items;
        @SuppressWarnings("unchecked")
        E x = (E) items[takeIndex];
        // 指向置空,删除队列中的这个元素
        items[takeIndex] = null;
        // takeIndex 同 putIndex,达到数组最大索引时,指向数组为 0 的位置
        if (++takeIndex == items.length)
            takeIndex = 0;
        // 队列长度减 1
        count--;
        // 更新迭代器中的元素数据,保证在并发操作中迭代的正确性
        // 后边迭代器说明时可以回来看下
        if (itrs != null)
            itrs.elementDequeued();
        notFull.signal();
        return x;
    }

add/offer/put

入队操作有以下几个方法,同时各个方法有些许不同

    public boolean add(E e) {
        // 调用 offer 获取结果 不成功则抛错
        return super.add(e);
    }
    public boolean add(E e) {if (offer(e))
            return true;
        else
            throw new IllegalStateException("Queue full");
    }
    public boolean offer(E e) {
        // 检查元素是否为空
        checkNotNull(e);
        final ReentrantLock lock = this.lock;
        lock.lock();
        try {
            // 队列已满则返回 false
            if (count == items.length)
                return false;
            else {
                // 入队
                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;
        // lockInterruptibly 方法可被中断
        lock.lockInterruptibly();
        try {while (count == items.length) {if (nanos <= 0)
                    // 超时返回
                    return false;
                // 队列已满则阻塞等待 nanos 纳秒
                nanos = notFull.awaitNanos(nanos);
            }
            // 入队
            enqueue(e);
            return true;
        } finally {lock.unlock();
        }
    }
    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();
        }
    }

向队列中添加元素主要包含上述 3 个方法,不同之处如下:

方法名(含参数) 说明
add(E e) 实际调用 offer,元素入队操作,成功则返回 true, 失败则抛错 IllegalStateException
offer(E e) 元素入队操作,成功返回 true, 失败返回 false
put(E e) 可中断,元素入队操作,队列已满则阻塞等待直到被通知可入队
offer(E e, long timeout, TimeUnit unit) 可中断,元素入队操作,设置阻塞等待超时时间,超时则返回 false, 成功入队则返回 true

以上操作其实已经在 BlockingQueue 接口中定义,需根据接口自行实现

poll/take/peek/remove

出队方法同入队方法,也稍有不同,如下

    public E poll() {
        final ReentrantLock lock = this.lock;
        lock.lock();
        try {
            // 队列无元素返回 null, 有元素则出队列操作
            return (count == 0) ? null : dequeue();} finally {lock.unlock();
        }
    }

    public E take() throws InterruptedException {
        final ReentrantLock lock = this.lock;
        // 可中断
        lock.lockInterruptibly();
        try {while (count == 0)
                // 队列为空则阻塞等待直到被唤醒
                notEmpty.await();
            return 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 {while (count == 0) {if (nanos <= 0)
                    return null;
                // 阻塞等待超时 nanos 纳秒
                nanos = notEmpty.awaitNanos(nanos);
            }
            return dequeue();} finally {lock.unlock();
        }
    }

    public E peek() {
        final ReentrantLock lock = this.lock;
        lock.lock();
        try {
            // 返回队列 takeIndex 索引处的值,不进行出队列操作,元素不会被删除
            return itemAt(takeIndex); // null when queue is empty
        } finally {lock.unlock();
        }
    }
    
    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 {if (o.equals(items[i])) {
                        // 移除 i 处的元素,同时队列进行整理,移除元素后的元素依次向前移动进行填补空缺
                        removeAt(i);
                        return true;
                    }
                    // 循环到数组长度,从 0 继续
                    if (++i == items.length)
                        i = 0;
                } while (i != putIndex);
            }
            return false;
        } finally {lock.unlock();
        }
    }

从队列中获取元素主要包含上述 4 个方法,除 peek 不执行出队操作外,remove 是删除之外,其余均需执行出队操作,不同之处如下:

方法名(含参数) 说明
poll() 出队操作,队列为空返回 null, 不为空则返回对应元素
take() 可中断,出队操作,队列为空则阻塞等待直到被通知获取值返回
poll(long timeout, TimeUnit unit) 可中断,出队操作,设置阻塞等待超时时间,超时则返回 null, 成功则返回对应元素
peek() 仅仅返回队列元素的值,但是不执行出队操作
remove(Object o) 删除队列中的对应元素(可处于队列任何位置),队列需进行整理

removeAt

移除指定位置的队列元素并调整队列

    /**
     * Deletes item at array index removeIndex.
     * Utility for remove(Object) and iterator.remove.
     * Call only when holding lock.
     */
    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;
            // 队列长度减 1
            count--;
            // 如果有迭代器则需要更新,这部分后边说
            if (itrs != null)
                itrs.elementDequeued();} else {
            // 到这里表明删除的元素非队列出队索引,删除元素在队列中间
            // an "interior" remove

            // slide over all others up through putIndex.
            final int putIndex = this.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 {
                    // next = putIndex 说明是 putIndex 前一个元素,则置空更新 putIndex 即可结束
                    items[i] = null;
                    this.putIndex = i;
                    break;
                }
            }
            count--;
            // 同步迭代器操作,后面进行说明
            if (itrs != null)
                itrs.removedAt(removeIndex);
        }
        // 唤醒入队线程
        notFull.signal();}

源码在方法中多次将操作的类成员变量赋予方法内部的局部变量,例如这里的 ReentrantLock lock = this.lock,其实是为了加快程序运行效率,每次都直接引用类成员,比如 this.lock 这样的读取操作相对于在方法内部直接操作方法栈的局部变量效率相对要低一点,涉及到了 JVM 部分,不详细说明,有兴趣可以自行查找相关资料

迭代器说明

以上源码部分为队列操作部分,整体上来看算是很好理解了,下面说明最复杂的迭代器部分

    public Iterator<E> iterator() {return new Itr();
    }

对于外部调用方来说,需要先获取对应的迭代器,源码如上,从这个地方我们能明白一件事,迭代器是调用这个方法那个时间的队列的类似于快照的保存,保存了那个时刻的队列状态,在下面的内部类源码中我们也能看到保存了哪些属性,这里没有保存队列内部具体元素,所以会造成一个比较大的问题,就是在多线程频繁的入队出队操作如何保证迭代器取值的正确性?当然,如果我们把队列元素也保存一份,本身也是不正确的。迭代器的复杂部分就在于此,保证迭代器正确性导致了迭代器源码的复杂性

这里先给出结论:

  1. 创建的迭代器 Itr 会保存当时队列的状态(不保存队列元素值)
  2. 创建的迭代器会放入 Itrs(迭代器维护列表)中进行统一的维护和管理
  3. 在每次 next()操作时会更新迭代器状态查看是都用完或失效,通过 Itrs 的 doSomeSweeping 进行清理无效迭代器
  4. 出队操作时会通过 itrs.elementDequeued()更新迭代器维护列表 Itrs
  5. 首次创建迭代器时会保存下一次调用 next 方法的值,故在调用 hasNext 时为 true,在 next()调用前队列空了,再调用 next()依旧会返回值,算是一种保护
  6. 在创建了迭代器之后,队列中的元素被两次循环替代后,则判定此迭代器无效

迭代器相关内部类

内部类主要在迭代时使用,从 iterator 方法可以看出,每次调用时都会重新创建一个 Itr 对象,那么如何保证增删改时迭代器的正确性?看下内部实现

    private class Itr implements Iterator<E> {
        /** Index to look for new nextItem; NONE at end */
        // 指向下一个迭代元素的游标,结束时为 NONE(-1)private int cursor;

        /** Element to be returned by next call to next(); null if none */
        // 下次调用 next()返回的元素,无则返回 null,这里即对应结论上的 5
        private E nextItem;

        /** Index of nextItem; NONE if none, REMOVED if removed elsewhere */
        // 下一个元素 nextItem 的索引值,空的话返回 NONE(-1),如果被移除了则返回 REMOVED(-2)private int nextIndex;

        /** Last element returned; null if none or not detached. */
        // 上一次调用 next()返回的元素,无则返回 null
        private E lastItem;

        /** Index of lastItem, NONE if none, REMOVED if removed elsewhere */
        // 上一个元素的索引值,空的话返回 NONE,如果被移除了则返回 REMOVED
        private int lastRet;

        /** Previous value of takeIndex, or DETACHED when detached */
        // 上一个 takeIndex 对应的值,当处于无效状态时为 DETACHED(-3),以这个变量标识迭代器 DETACHED 状态
        private int prevTakeIndex;

        /** Previous value of iters.cycles */
        // 上一个 cycles 的值
        private int prevCycles;

        /** Special index value indicating "not available" or "undefined" */
        // 标识不可用值或未定义值
        private static final int NONE = -1;

        /**
         * Special index value indicating "removed elsewhere", that is,
         * removed by some operation other than a call to this.remove().
         */
        // 标识元素被移除
        private static final int REMOVED = -2;

        /** Special value for prevTakeIndex indicating "detached mode" */
        // 标识 prevTakeIndex 为无效状态
        private static final int DETACHED = -3;

        Itr() {// assert lock.getHoldCount() == 0;
            // 构造时上一个元素索引为空
            lastRet = NONE;
            // 使用互斥锁
            final ReentrantLock lock = ArrayBlockingQueue.this.lock;
            lock.lock();
            try {
                // 队列为空,初始化变量
                if (count == 0) {
                    // assert itrs == null;
                    cursor = NONE;
                    nextIndex = NONE;
                    // 无效状态的迭代器
                    prevTakeIndex = DETACHED;
                } else {
                    // 此时队列不为空
                    // 记录出队的 takeIndex
                    final int takeIndex = ArrayBlockingQueue.this.takeIndex;
                    prevTakeIndex = takeIndex;
                    // 下一次使用迭代返回的值,这里就已经保存好了调用 next 的返回值
                    nextItem = itemAt(nextIndex = takeIndex);
                    // 游标指向 takeIndex+1
                    cursor = incCursor(takeIndex);
                    // 使用 Itrs 来维护所有的迭代器
                    if (itrs == null) {
                        // 空则创建
                        itrs = new Itrs(this);
                    } else {
                        // 非空将次迭代器注册
                        itrs.register(this); // in this order
                        // 清理迭代器,每次创建新迭代器时都会进行一次简单的清理操作
                        itrs.doSomeSweeping(false);
                    }
                    // 保存队列循环的次数,cycles 在 itrs 进行解释
                    prevCycles = itrs.cycles;
                    // assert takeIndex >= 0;
                    // assert prevTakeIndex == takeIndex;
                    // assert nextIndex >= 0;
                    // assert nextItem != null;
                }
            } finally {lock.unlock();
            }
        }

        // 判断迭代器是否已经无效,通过 prevTakeIndex 来判断
        boolean isDetached() {// assert lock.getHoldCount() == 1;
            return prevTakeIndex < 0;
        }

        // 游标值 +1
        private int incCursor(int index) {// assert lock.getHoldCount() == 1;
            // 达到最大值从 0 开始
            if (++index == items.length)
                index = 0;
            // 与下一个入队元素位置相同,则表示队列已无元素,置 NONE
            if (index == putIndex)
                index = NONE;
            return index;
        }

        /**
         * Returns true if index is invalidated by the given number of
         * dequeues, starting from prevTakeIndex.
         */
        // 从 prevTakeIndex 开始,队列索引 index 无效则返回 true
        // 在 incorporateDequeues 中使用,比较 index,prevTakeIndex 的距离与实际距离
        private boolean invalidated(int index, int prevTakeIndex,
                                    long dequeues, int length) {
            // 初始化时设置小于 0
            if (index < 0)
                return false;
            // 当前 index 与 prevTakeIndex 的距离
            int distance = index - prevTakeIndex;
            // 发生循环操作,很好理解,加上数组 length,即为正确的距离
            if (distance < 0)
                distance += length;
            // 如果 distance 小于实际距离,则无效返回 true  
            return dequeues > distance;
        }

        /**
         * Adjusts indices to incorporate all dequeues since the last
         * operation on this iterator.  Call only from iterating thread.
         */
        // 迭代操作后元素出队调整索引
        private void incorporateDequeues() {// assert lock.getHoldCount() == 1;
            // assert itrs != null;
            // assert !isDetached();
            // assert count > 0;

            // 获取当前变量
            final int cycles = itrs.cycles;
            final int takeIndex = ArrayBlockingQueue.this.takeIndex;
            final int prevCycles = this.prevCycles;
            final int prevTakeIndex = this.prevTakeIndex;

            // cycles != prevCycles 表示队列已经被循环使用过,相当于循环到 0 重新入队出队
            // takeIndex != prevTakeIndex 表示队列元素有出队,需重新排序
            if (cycles != prevCycles || takeIndex != prevTakeIndex) {
                final int len = items.length;
                // how far takeIndex has advanced since the previous
                // operation of this iterator
                // 队列实际移动的长度
                long dequeues = (cycles - prevCycles) * len
                    + (takeIndex - prevTakeIndex);

                // Check indices for invalidation
                // lastRet 处元素被移除了
                if (invalidated(lastRet, prevTakeIndex, dequeues, len))
                    lastRet = REMOVED;
                // nextIndex 处元素被移除了
                if (invalidated(nextIndex, prevTakeIndex, dequeues, len))
                    nextIndex = REMOVED;
                // 游标索引无效置为当前队列 takeIndex
                if (invalidated(cursor, prevTakeIndex, dequeues, len))
                    cursor = takeIndex;
                
                // 迭代器无效进行清理操作
                if (cursor < 0 && nextIndex < 0 && lastRet < 0)
                    detach();
                else {
                    // 更新索引
                    this.prevCycles = cycles;
                    this.prevTakeIndex = takeIndex;
                }
            }
        }

        /**
         * Called when itrs should stop tracking this iterator, either
         * because there are no more indices to update (cursor < 0 &&
         * nextIndex < 0 && lastRet < 0) or as a special exception, when
         * lastRet >= 0, because hasNext() is about to return false for the
         * first time.  Call only from iterating thread.
         */
        // 
        private void detach() {
            // Switch to detached mode
            // assert lock.getHoldCount() == 1;
            // assert cursor == NONE;
            // assert nextIndex < 0;
            // assert lastRet < 0 || nextItem == null;
            // assert lastRet < 0 ^ lastItem != null;
            if (prevTakeIndex >= 0) {
                // assert itrs != null;
                // 设置迭代器 DETACHED 状态,无效状态
                prevTakeIndex = DETACHED;
                // try to unlink from itrs (but not too hard)
                // 所有的迭代器进行一次清理
                itrs.doSomeSweeping(true);
            }
        }

        /**
         * For performance reasons, we would like not to acquire a lock in
         * hasNext in the common case.  To allow for this, we only access
         * fields (i.e. nextItem) that are not modified by update operations
         * triggered by queue modifications.
         */
        // 出于对性能的考虑,这里不会进行加锁
        public boolean hasNext() {// assert lock.getHoldCount() == 0;
            // 直接判断 nextItem,故首次初始化时后续清空队列这里 nextItem 不为空,会返回第一个队列值
            if (nextItem != null)
                return true;
            // nextItem 为空时才会进入 noNext
            noNext();
            return false;
        }
        // 无元素,清理
        private void noNext() {
            final ReentrantLock lock = ArrayBlockingQueue.this.lock;
            lock.lock();
            try {
                // assert cursor == NONE;
                // assert nextIndex == NONE;
                // prevTakeIndex >= 0,需要进行处理
                if (!isDetached()) {
                    // assert lastRet >= 0;
                    incorporateDequeues(); // might update lastRet
                    if (lastRet >= 0) {
                        // 保存 lastItem 值,remove 方法中需要用到
                        lastItem = itemAt(lastRet);
                        // assert lastItem != null;
                        detach();}
                }
                // assert isDetached();
                // assert lastRet < 0 ^ lastItem != null;
            } finally {lock.unlock();
            }
        }

        public E next() {// assert lock.getHoldCount() == 0;
            // 迭代返回值,每次调用 next 前已经确定了 nextItem 值
            final E x = nextItem;
            if (x == null)
                throw new NoSuchElementException();
            final ReentrantLock lock = ArrayBlockingQueue.this.lock;
            lock.lock();
            try {if (!isDetached())
                    incorporateDequeues();
                // assert nextIndex != NONE;
                // assert lastItem == null;
                // next 调用之后调用 remove 删除元素的时候使用
                lastRet = nextIndex;
                final int cursor = this.cursor;
                if (cursor >= 0) {
                    // 下一次迭代返回值
                    nextItem = itemAt(nextIndex = cursor);
                    // assert nextItem != null;
                    // 游标加 1
                    this.cursor = incCursor(cursor);
                } else {
                    // 无下一个迭代元素
                    nextIndex = NONE;
                    nextItem = null;
                }
            } finally {lock.unlock();
            }
            return x;
        }

        public void remove() {// assert lock.getHoldCount() == 0;
            final ReentrantLock lock = ArrayBlockingQueue.this.lock;
            lock.lock();
            try {if (!isDetached())
                    incorporateDequeues(); // might update lastRet or detach
                final int lastRet = this.lastRet;
                this.lastRet = NONE;
                // 删除时需要用到 lastRet
                if (lastRet >= 0) {if (!isDetached())
                        removeAt(lastRet);
                    else {// 处理在 hasNext()返回 false 之后调用 iterator .remove()的特殊情况
                        final E lastItem = this.lastItem;
                        // assert lastItem != null;
                        this.lastItem = null;
                        // 和预期元素一致才进行删除
                        if (itemAt(lastRet) == lastItem)
                            removeAt(lastRet);
                    }
                } else if (lastRet == NONE)
                    // lastRet 为 NONE 时会抛错
                    throw new IllegalStateException();
                // else lastRet == REMOVED and the last returned element was
                // previously asynchronously removed via an operation other
                // than this.remove(), so nothing to do.

                if (cursor < 0 && nextIndex < 0)
                    detach();} finally {lock.unlock();
                // assert lastRet == NONE;
                // assert lastItem == null;
            }
        }

        /**
         * Called to notify the iterator that the queue is empty, or that it
         * has fallen hopelessly behind, so that it should abandon any
         * further iteration, except possibly to return one more element
         * from next(), as promised by returning true from hasNext().
         */
        // 队列为空或者无效时应清理掉,更新内部变量值
        void shutdown() {// assert lock.getHoldCount() == 1;
            cursor = NONE;
            if (nextIndex >= 0)
                nextIndex = REMOVED;
            if (lastRet >= 0) {
                lastRet = REMOVED;
                lastItem = null;
            }
            prevTakeIndex = DETACHED;
            // nextItem 不置空是因为有可能调用的 next 方法需要用到
            // Don't set nextItem to null because we must continue to be
            // able to return it on next().
            //
            // Caller will unlink from itrs when convenient.
        }
        
        // 计算 index 与 prevTakeIndex 的距离
        private int distance(int index, int prevTakeIndex, int length) {
            int distance = index - prevTakeIndex;
            if (distance < 0)
                distance += length;
            return distance;
        }

        /**
         * Called whenever an interior remove (not at takeIndex) occurred.
         *
         * @return true if this iterator should be unlinked from itrs
         */
        // 队列内部元素被删除时调用,保证迭代器的正确性
        boolean removedAt(int removedIndex) {// assert lock.getHoldCount() == 1;
            // 当前迭代器无效时直接返回 true
            if (isDetached())
                return true;
            
            final int cycles = itrs.cycles;
            final int takeIndex = ArrayBlockingQueue.this.takeIndex;
            final int prevCycles = this.prevCycles;
            final int prevTakeIndex = this.prevTakeIndex;
            final int len = items.length;
            int cycleDiff = cycles - prevCycles;
            // 删除的索引位置小于 takeIndex,循环次数 +1
            if (removedIndex < takeIndex)
                cycleDiff++;
            // 删除元素的实际距离
            final int removedDistance =
                (cycleDiff * len) + (removedIndex - prevTakeIndex);
            // assert removedDistance >= 0;
            int cursor = this.cursor;
            if (cursor >= 0) {int x = distance(cursor, prevTakeIndex, len);
                // 游标指向被删除的元素位置
                if (x == removedDistance) {
                    // 已经没有元素了,置 NONE
                    if (cursor == putIndex)
                        this.cursor = cursor = NONE;
                }
                // 游标已经超过 removedDistance,索引游标需 -1,因为删除元素算在了游标内,// 需减 1 才能保证队列删除元素之后整体元素位置调整之后迭代器这里的正确性
                else if (x > removedDistance) {
                    // assert cursor != prevTakeIndex;
                    this.cursor = cursor = dec(cursor);
                }
            }
            int lastRet = this.lastRet;
            // lastRet 同上
            if (lastRet >= 0) {int x = distance(lastRet, prevTakeIndex, len);
                if (x == removedDistance)
                    this.lastRet = lastRet = REMOVED;
                else if (x > removedDistance)
                    this.lastRet = lastRet = dec(lastRet);
            }
            // nextIndex 同上
            int nextIndex = this.nextIndex;
            if (nextIndex >= 0) {int x = distance(nextIndex, prevTakeIndex, len);
                if (x == removedDistance)
                    this.nextIndex = nextIndex = REMOVED;
                else if (x > removedDistance)
                    this.nextIndex = nextIndex = dec(nextIndex);
            }
            // 迭代器无效状态
            else if (cursor < 0 && nextIndex < 0 && lastRet < 0) {
                this.prevTakeIndex = DETACHED;
                return true;
            }
            return false;
        }

        /**
         * Called whenever takeIndex wraps around to zero.
         *
         * @return true if this iterator should be unlinked from itrs
         */
        //  每当 takeIndex 循环到 0 时调用
        boolean takeIndexWrapped() {// assert lock.getHoldCount() == 1;
            if (isDetached())
                return true;
            if (itrs.cycles - prevCycles > 1) {
                // All the elements that existed at the time of the last
                // operation are gone, so abandon further iteration.
                // 迭代器所有元素都已经在入队出队中不存在了,需置迭代器无效,这里也能看到相差 2 的时候已经无效了
                shutdown();
                return true;
            }
            return false;
        }

    }

提一句,下面的 Itrs 中的 Node 使用了弱引用,这可以在迭代器实例被使用完时(例如将其置为 null)被 GC 及时的回收掉,同样涉及到 JVM,自行查找相关资料吧

    class Itrs {

        /**
         * Node in a linked list of weak iterator references.
         */
        // 继承 WeakReference 实现 Node 的弱引用,这里也能看出来是链表
        private class Node extends WeakReference<Itr> {
            Node next;

            Node(Itr iterator, Node next) {super(iterator);
                this.next = next;
            }
        }

        /** Incremented whenever takeIndex wraps around to 0 */
        // takeIndex 循环到 0 时加 1,记录循环次数
        int cycles = 0;

        /** Linked list of weak iterator references */
        // 头节点
        private Node head;

        /** Used to expunge stale iterators */
        // 记录上次清理到的节点,方便下次使用
        private Node sweeper = null;
        
        // 每次迭代器清理操作时有两种模式,一种查找次数少,一种查找次数多
        private static final int SHORT_SWEEP_PROBES = 4;
        private static final int LONG_SWEEP_PROBES = 16;

        Itrs(Itr initial) {register(initial);
        }

        /**
         * Sweeps itrs, looking for and expunging stale iterators.
         * If at least one was found, tries harder to find more.
         * Called only from iterating thread.
         *
         * @param tryHarder whether to start in try-harder mode, because
         * there is known to be at least one iterator to collect
         */
        // 清理操作,通过 tryHarder 判断使用哪种清理模式
        void doSomeSweeping(boolean tryHarder) {// assert lock.getHoldCount() == 1;
            // assert head != null;
            int probes = tryHarder ? LONG_SWEEP_PROBES : SHORT_SWEEP_PROBES;
            Node o, p;
            final Node sweeper = this.sweeper;
            boolean passedGo;   // to limit search to one full sweep

            if (sweeper == null) {
                // 无上次记录,则从头开始
                o = null;
                p = head;
                passedGo = true;
            } else {
                // 上次记录继续清理
                o = sweeper;
                p = o.next;
                passedGo = false;
            }

            for (; probes > 0; probes--) {if (p == null) {if (passedGo)
                        break;
                    o = null;
                    p = head;
                    passedGo = true;
                }
                final Itr it = p.get();
                final Node next = p.next;
                // 迭代器无效处理
                if (it == null || it.isDetached()) {
                    // found a discarded/exhausted iterator
                    // 发现一个迭代器无效则转换成 try harder 模式
                    probes = LONG_SWEEP_PROBES; // "try harder"
                    // unlink p
                    p.clear();
                    p.next = null;
                    if (o == null) {
                        head = next;
                        if (next == null) {
                            // We've run out of iterators to track; retire
                            itrs = null;
                            return;
                        }
                    }
                    else
                        o.next = next;
                } else {o = p;}
                p = next;
            }
            // 记录下次清理需要使用的节点数据
            this.sweeper = (p == null) ? null : o;
        }

        /**
         * Adds a new iterator to the linked list of tracked iterators.
         */
        // 将迭代器添加到迭代管理列表中,从头部添加
        void register(Itr itr) {// assert lock.getHoldCount() == 1;
            head = new Node(itr, head);
        }

        /**
         * Called whenever takeIndex wraps around to 0.
         *
         * Notifies all iterators, and expunges any that are now stale.
         */
        // 队列 takeIndex 循环到 0 时调用
        void takeIndexWrapped() {// assert lock.getHoldCount() == 1;
            // cycles 加 1 记录循环次数
            cycles++;
            // 调用每个迭代器的 takeIndexWrapped 更新,同时清理无效迭代器
            for (Node o = null, p = head; p != null;) {final Itr it = p.get();
                final Node next = p.next;
                if (it == null || it.takeIndexWrapped()) {
                    // unlink p
                    // assert it == null || it.isDetached();
                    p.clear();
                    p.next = null;
                    if (o == null)
                        head = next;
                    else
                        o.next = next;
                } else {o = p;}
                p = next;
            }
            // 迭代管理列表空,无迭代器了
            if (head == null)   // no more iterators to track
                itrs = null;
        }

        /**
         * Called whenever an interior remove (not at takeIndex) occurred.
         *
         * Notifies all iterators, and expunges any that are now stale.
         */
        // 队列删除元素时调用迭代管理列表的 removedAt
        void removedAt(int removedIndex) {for (Node o = null, p = head; p != null;) {final Itr it = p.get();
                final Node next = p.next;
                // 迭代管理列表 itrs 调用每个迭代器的 removedAt 完成更新
                // 同时进行无效迭代器的清理
                if (it == null || it.removedAt(removedIndex)) {
                    // unlink p
                    // assert it == null || it.isDetached();
                    p.clear();
                    p.next = null;
                    if (o == null)
                        head = next;
                    else
                        o.next = next;
                } else {o = p;}
                p = next;
            }
            if (head == null)   // no more iterators to track
                itrs = null;
        }

        /**
         * Called whenever the queue becomes empty.
         *
         * Notifies all active iterators that the queue is empty,
         * clears all weak refs, and unlinks the itrs datastructure.
         */
        // 队列为空时调用,迭代管理器将清理所有迭代器
        void queueIsEmpty() {// assert lock.getHoldCount() == 1;
            for (Node p = head; p != null; p = p.next) {Itr it = p.get();
                if (it != null) {p.clear();
                    it.shutdown();}
            }
            head = null;
            itrs = null;
        }

        /**
         * Called whenever an element has been dequeued (at takeIndex).
         */
        // 队列出队时调用判断队列是否为空和队列循环次数
        void elementDequeued() {// assert lock.getHoldCount() == 1;
            if (count == 0)
                queueIsEmpty();
            else if (takeIndex == 0)
                takeIndexWrapped();}
    }

上边两个内部类实现了迭代器的相关操作,还是比较复杂的,通过一个中间类 Itrs 来完成对所有的迭代器的管理和更新操作,在队列操作时也要对迭代器的相关变量进行更新来保证迭代的正确性

总结

整体来说,ArrayBlockingQueue 本身在队列操作这块并不是很复杂,基本的阻塞队列操作能理解就已经 ok 了。其中涉及到锁的部分先简单理解为好,毕竟涉及到了 AQS,后续再进行介绍,在迭代器部分还是比较复杂的,不过最终都是为了保证迭代时数据的正确性,这个方面还是比较好理解的

以上的源码分析中,我们也能看出一些问题,ArrayBlockingQueue 内部的大部分操作方法都需要先获取同一个 ReentrantLock 独占锁才能继续执行,这极大的降低了吞吐量,几乎每个操作都会阻塞其它操作,最主要是入队操作和出队操作之间互斥。所以 ArrayBlockingQueue 不适用于需要高吞吐量的高效率数据生成与消费场景。在常用的线程池中也没有用到 ArrayBlockingQueue

以上内容如有问题欢迎指出,笔者验证后将及时修正,谢谢

退出移动版