深入理解阻塞队列（一）——基本结构

BlockingQueue是一个继承自Queue的接口，在Queue的队列基础上增加了阻塞操作。简单来说，就是在在BlockingQueue为空时从队头取数据将会被阻塞，因为此时还没有数据可取，一旦队列中有数据了，取数据的线程就会释放得到了数据；如果BlockingQueue有容量限制且满了，那么插入数据的线程将会阻塞，知道队列中有空闲位置可以插入数据了，才会释放。经过上面一段描述，可以发现这不就是一个生产者-消费者模型吗？

示例

下面是BlockingQueue的注释中的一个例子

 class Producer implements Runnable {
    private final BlockingQueue queue;
    Producer(BlockingQueue q) { queue = q; }
    public void run() {
      try {
        while (true) { queue.put(produce()); }
     } catch (InterruptedException ex) { ... handle ...}
    }
    Object produce() { ... }
  }

  class Consumer implements Runnable {
    private final BlockingQueue queue;
    Consumer(BlockingQueue q) { queue = q; }
    public void run() {
      try {
        while (true) { consume(queue.take()); }
      } catch (InterruptedException ex) { ... handle ...}
    }
    void consume(Object x) { ... }
  }

  class Setup {
    void main() {
      BlockingQueue q = new SomeQueueImplementation();
      Producer p = new Producer(q);
      Consumer c1 = new Consumer(q);
      Consumer c2 = new Consumer(q);
     new Thread(p).start();
      new Thread(c1).start();
      new Thread(c2).start();
    }
  }}

BlockingQueue类结构

BlockingQueue是阻塞队列的顶层接口，其下有很多实现类以及BlockingDeque接口（双端阻塞队列）。关系如下图：

从上图中可以看到整个BlockingQueu的结构都是在Queue的接口上扩展的，下面从Queue开始分析每个类中入队、出队、检索的方法。

Queue接口

入队	出队	检索	区别
add()	remove()	element()	在执行方法失败时不返回值，抛出异常
offer()	poll()	peek()	在执行方法时，给出返回值，比如false、null

可以看到Queue接口的三种操作：入队、出队和检索均有两个实现，区别在于其中一个会在方法执行失败时抛出异常，而另一个会在失败时返回值。下面以入队为例，add()方法在队列已满时将会抛出异常，而offer()在队列已满时会返回false。

BlockingQueue接口

BlockingQueue在Queue接口的基础上对入队和出队两个操作分别又增加了阻塞方法，如下：

阻塞入队	阻塞出队	定时入队	定时出队
put(E e)	E take()	offer(E e,long timeout,TimeUnit unit)	E poll(long timeout,TimeUnit unit)

其中后面关于设置了时间的入队和出队操作，在时间到了之后如果还未执行成功，那么返回false和null。

Deque接口

Deque是一个双端队列，既支持在队头执行入队出队，也支持在队尾执行出队。而Queue只支持在队头出队，在队尾入队。Deque增加的接口如下：

队头入队	队头出队	队尾入队	队尾出队	队头检索	队尾检索	区别
addFirst()	removeFirst()	addLast()	removeLast()	getFirst()	getLast()	在方法执行失败时会抛出异常
offerFirst()	pollFirst()	offerLast()	pollLast()	peekFirst()	peekLast()	在方法执行失败时会返回false或者null

BlockingDeque接口

BlockingDeque在Deque的基础上增加了阻塞的方法，增加的方法如下：

阻塞队头入队	阻塞队头出队	阻塞队尾入队	阻塞队尾出队	区别
putFirst(E e)	E takeFirst()	putLast(E e)	E takeLast()	没有超时设置
offerFirst(E e,long timeout,TimeUnit unit)	E pollFirst(long timeout,TimeUnit unit)	offerLast(E e,long timeout,TimeUnit unit)	E pollLast(long timeout,TimeUnit unit)	在超时之后，返回false或者null

各个实现类

• ArrayBlockingQueue： 一个基于数组实现的有界阻塞队列，必须设置容量
• LinkedBlockingQueue： 基于链表实现的阻塞队列，容量可以选择进行设置，不设置的话，将是一个无边界的阻塞队列
• PriorityBlockingQueue： 一个无界的阻塞队列，使用的排序规则和PriorityQueue类似并提供了阻塞操作
• LinkedBlockingDeque: 一个基于双端链表的双端阻塞队列，容量可以选择进行设置

总结

需要了解Queue、Deque、BlockingQueue、BlockingDeque四个接口中各个操作中各个方法的区别，比如入队，哪个方法在队列已满的情况会抛出异常，哪个方法会返回false，哪个方法又会阻塞等等。 下一篇博客将会介绍ArrayBlockingQueue，希望感兴趣的朋友继续关注。