ArrayBlockingQuque摘要

ArrayBlockingQuque

优势

1. 线程同步，线程安全
2. 对应空或满时，take\put操作将阻塞
3. 内部是一个数组，每个元素不会产生额外的处理对象，如Node

基于什么

• ReentrantLock
• Condition

解析

构造函数

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

• 默认创建一个不公平的锁，有利于吞吐量的提高
• 基于锁创建两个条件，notEmpty\notFull，操作这两个条件的前提必须是已经获取到锁，condition.await()会释放锁进行等待直到被唤醒或中断

非阻塞添加元素 offer(X)

添加元素offer(),offer其实是非阻塞的，添加失败直接放回false

  public boolean offer(E e) {
    checkNotNull(e);
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        if (count == items.length)
            return false;
        else {
            enqueue(e);
            return true;
        }
    } finally {
        lock.unlock();
    }
}

/**
 * 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;
    if (++putIndex == items.length)
        putIndex = 0;
    count++;
    notEmpty.signal();
}

offer方法锁定代码块，因此enqueue的操作是安全的，在enque结束后，调用

notEmpty.signal()

唤醒notEmpty.await()状态中的线程，让它退出阻塞，尝试获取锁

阻塞添加元素put

 /**
 * Inserts the specified element at the tail of this
 *  queue, waiting
 * for space to become available if the queue is full.
 *
 * @throws InterruptedException {@inheritDoc}
 * @throws NullPointerException {@inheritDoc}
 */
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();
    }
}

可以发现，如果count == items.length = true，会一直调用notFull.await()方法，释放锁，且当前线程阻塞等待，直到条件不成立，并且此处await是没有指定超时时间的，意味着它需要被其他线程唤醒

阻塞取走元素take

 public E take() throws InterruptedException {
    final ReentrantLock lock = this.lock;
    lock.lockInterruptibly();
    try {
        while (count == 0)
            notEmpty.await();
        return dequeue();
    } finally {
        lock.unlock();
    }
}

take方法先获取到锁，锁定代码块，可以看见

 while (count == 0)
      notEmpty.await();

它的作用是如果没有可take的元素就await,await时释放锁，当前线程陷入睡眠，当offer方法被调用，notEpty.signal()被调用后，take方法的线程从沉睡中醒来，尝试重新获取锁，此时，count == 0 = false，程序进行dequeue

 /**
 * 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;
    if (++takeIndex == items.length)
        takeIndex = 0;
    count--;
    if (itrs != null)
        itrs.elementDequeued();
    notFull.signal();
    return x;
}

在获取到元素后，调用notFull.signal()，唤醒阻塞与notFull.await的线程，告诉它可以往队列里面放数据了