BlockingQueue阻塞队列

落日映苍穹つ 2022-08-28 13:49 231阅读 0赞

# BlockingQueue简介 #

阻塞队列，顾名思义，首先它是一个队列, 通过一个共享的队列，可以使得数据由队列的一端输入，从另外一端输出；

当队列是空的，从队列中获取元素的操作将会被阻塞  
当队列是满的，从队列中添加元素的操作将会被阻塞  
试图从空的队列中获取元素的线程将会被阻塞，直到其他线程往空的队列插入新的元素  
试图向已满的队列中添加新元素的线程将会被阻塞，直到其他线程从队列中移除一个或多个元素或者完全清空，使队列变得空闲起来并后续新增

阻塞队列是一个队列，在数据结构中起的作用如下图：

![image-20210918202034347][]

线程1往阻塞队列里添加元素，线程2从阻塞队列里移除元素

常用的队列主要有以下两种：

先进先出（FIFO）：先插入的队列的元素也最先出队列，类似于排队的功能。从某种程度上来说这种队列也体现了一种公平性  
后进先出（LIFO）：后插入队列的元素最先出队列，这种队列优先处理最近发生的事件(栈)

在多线程领域：所谓阻塞，在某些情况下会挂起线程（即阻塞），一旦条件满足，被挂起的线程又会自动被唤起

BlockingQueue的好处是我们不需要关心什么时候需要阻塞线程，什么时候需要唤醒线程，因为这一切BlockingQueue都给你一手包办了。

在concurrent包发布以前，在多线程环境下，我们每个程序员都必须去自己控制这些细节，尤其还要兼顾效率和线程安全，而这会给我们的程序带来不小的复杂度。

在新增的Concurrent包中，BlockingQueue很好的解决了多线程中，如何高效安全“传输”数据的问题。通过这些高效并且线程安全的队列类，为我们快速搭建高质量的多线程程序带来极大的便利。

多线程环境中，通过队列可以很容易实现数据共享，比如经典的“生产者”和“消费者”模型中，通过队列可以很便利地实现两者之间的数据共享。假设我们有若干生产者线程，另外又有若干个消费者线程。如果生产者线程需要把准备好的数据共享给消费者线程，利用队列的方式来传递数据，就可以很方便地解决他们之间的数据共享问题。但如果生产者和消费者在某个时间段内，万一发生数据处理速度不匹配的情况呢？理想情况下，如果生产者产出数据的速度大于消费者消费的速度，并且当生产出来的数据累积到一定程度的时候，那么生产者必须暂停等待一下（阻塞生产者线程），以便等待消费者线程把累积的数据处理完毕，反之亦然。

当队列中没有数据的情况下，消费者端的所有线程都会被自动阻塞（挂起），直到有数据放入队列  
当队列中填满数据的情况下，生产者端的所有线程都会被自动阻塞（挂起），直到队列中有空的位置，线程被自动唤醒

队列就是存放数据的容器

## BlockingQueue核心方法 ##

public interface BlockingQueue<E> extends Queue<E> { 
    
        //将给定元素设置到队列中，如果设置成功返回true, 否则抛出异常。如果是往限定了长度的队列中设置值，推荐使用offer()方法。
        boolean add(E e);
    
        //将给定的元素设置到队列中，如果设置成功返回true, 否则返回false. e的值不能为空，否则抛出空指针异常。（本方法不阻塞当前执行方法的线程）
        boolean offer(E e);
    
        //将元素设置到队列中，如果队列中没有多余的空间，该方法会一直阻塞，直到队列中有多余的空间。
        void put(E e) throws InterruptedException;
    
        //将给定元素在给定的时间内设置到队列中，如果设置成功返回true, 否则返回false.
        boolean offer(E e, long timeout, TimeUnit unit)
            throws InterruptedException;
    
        //从队列中获取值，如果队列中没有值，线程会一直阻塞，直到队列中有值，并且该方法取得了该值。
        E take() throws InterruptedException;
    
        //在给定的时间里，从队列中获取值，如果没有返回null。
        E poll(long timeout, TimeUnit unit)
            throws InterruptedException;
    
        //获取队列中剩余的空间。
        int remainingCapacity();
    
        //从队列中移除指定的值。
        boolean remove(Object o);
    
        //判断队列中是否拥有该值。
        public boolean contains(Object o);
    
        //将队列中值，全部移除，并发设置到给定的集合中。通过该方法，可以提升获取数据效率；不需要多次分批加锁或释放锁。
        int drainTo(Collection<? super E> c);
    
        //指定最多数量限制将队列中值，全部移除，并发设置到给定的集合中。通过该方法，可以提升获取数据效率；不需要多次分批加锁或释放锁。
        int drainTo(Collection<? super E> c, int maxElements);
    }

### 常用方法 ###

<table> 
 <thead> 
  <tr> 
   <th>方法\处理方式</th> 
   <th>抛出异常</th> 
   <th>返回特殊值</th> 
   <th>一直阻塞</th> 
   <th>超时退出</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>插入方法</td> 
   <td>add(e)</td> 
   <td>offer(e)</td> 
   <td>put(e)</td> 
   <td>offer(e,time,unit)</td> 
  </tr> 
  <tr> 
   <td>移除方法</td> 
   <td>remove()</td> 
   <td>poll()</td> 
   <td>take()</td> 
   <td>poll(time,unit)</td> 
  </tr> 
  <tr> 
   <td>检查方法</td> 
   <td>element()</td> 
   <td>peek()</td> 
   <td>不可用</td> 
   <td>不可用</td> 
  </tr> 
 </tbody> 
</table>

### 方法说明： ###

**抛出异常：**

是指当阻塞队列满时候，再往队列里插入元素，会抛出IllegalStateException(“Queue full”)异常。

当阻塞队列为空时，从队列里获取元素时会抛出NoSuchElementException异常 。

**返回特殊值：**

插入方法会返回是否成功，成功返回true失败返回false。

移除方法，则是从队列里拿出一个元素，如果没有则返回null

**一直阻塞：**

当阻塞队列满时，如果生产者线程继续往队列里put元素，队列会一直阻塞生产者线程，直到put拿到数据，或者响应中断退出。

当阻塞队列空时，消费者线程试图从队列里take元素，队列也会阻塞消费者线程，直到队列可用。

**超时退出：**

当阻塞队列满时，队列会阻塞生产者线程一段时间，如果超过一定的时间，生产者线程就会退出。

## 案例 ##

### 抛出异常 ###

add (e)

remove()

element()

@Test
        public void test1() { 
            //创建容量为3阻塞队列
            BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
            //插入
            System.out.println(blockingQueue.add("a"));
            System.out.println(blockingQueue.add("b"));
            System.out.println(blockingQueue.add("c"));
            //检查
            System.out.println(blockingQueue.element());
            System.out.println(blockingQueue);
        }
    }
    运行结果：
    true
    true
    true
    a
    [a, b, c]

@Test
        public void test2() { 
            //创建容量为3阻塞队列
            BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
            //插入
            System.out.println(blockingQueue.add("a"));
            System.out.println(blockingQueue.add("b"));
            System.out.println(blockingQueue.add("c"));
            //检查
            System.out.println(blockingQueue.element());
            System.out.println(blockingQueue);
            //插入第四个元素
            System.out.println(blockingQueue.add("d"));
        }
    运行结果：
    true
    true
    true
    a
    [a, b, c]
    
    java.lang.IllegalStateException: Queue full

@Test
        public void test3() { 
            //创建容量为3阻塞队列
            BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
            //插入
            System.out.println(blockingQueue.add("a"));
            System.out.println(blockingQueue.add("b"));
            System.out.println(blockingQueue.add("c"));
    
            System.out.println(blockingQueue);
    
            System.out.println(blockingQueue.remove());
            System.out.println(blockingQueue.remove());
            System.out.println(blockingQueue.remove());
            System.out.println(blockingQueue.remove());
        }
    运行结果：
    true
    true
    true
    [a, b, c]
    a
    b
    c
    
    java.util.NoSuchElementException

### 返回特殊值 ###

offer(e)

poll()

peek()

@Test
    public void test4() { 
        //创建容量为3阻塞队列
        BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
        //插入
        System.out.println(blockingQueue.offer("a"));
        System.out.println(blockingQueue.offer("b"));
        System.out.println(blockingQueue.offer("c"));
        System.out.println(blockingQueue.offer("d"));
    
        System.out.println(blockingQueue.poll());
        System.out.println(blockingQueue.poll());
        System.out.println(blockingQueue.poll());
        System.out.println(blockingQueue.poll());
    }
    运行结果：
    true
    true
    true
    false
    a
    b
    c
    null

### 阻塞 ###

put(e)

take()

@Test
    public void test5() { 
        //创建容量为3阻塞队列
        BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
        //插入
        try { 
           blockingQueue.put("a");
           blockingQueue.put("b");
           blockingQueue.put("c");
           blockingQueue.put("d");
        } catch (InterruptedException e) { 
            e.printStackTrace();
        }
    }

![image-20210824205613406][]

放入第四个元素放不进去，一直阻塞，等到队列可用。

@Test
    public void test5() { 
        //创建容量为3阻塞队列
        BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
        //插入
        try { 
            blockingQueue.put("a");
            blockingQueue.put("b");
            blockingQueue.put("c");
            blockingQueue.take();
            blockingQueue.take();
            blockingQueue.take();
            blockingQueue.take();
        } catch (InterruptedException e) { 
            e.printStackTrace();
        }
    
    }

![image-20210824205835858][]

取出第四的元素时，队列里已经没有元素了，一直阻塞，等到队列可用

### 超时 ###

offer(e,time,unit）

poll(time,unit)

阻塞3秒后退出

@Test
    public void test6() { 
        //创建容量为3阻塞队列
        BlockingQueue<String> blockingQueue = new ArrayBlockingQueue<>(3);
        //插入
        try { 
            System.out.println(blockingQueue.offer("a"));
            System.out.println(blockingQueue.offer("b"));
            System.out.println(blockingQueue.offer("c"));
            System.out.println(blockingQueue.offer("d", 3, TimeUnit.SECONDS));//最多阻塞3秒后退出
            System.out.println(blockingQueue.poll());
            System.out.println(blockingQueue.poll());
            System.out.println(blockingQueue.poll());
            System.out.println(blockingQueue.poll(3, TimeUnit.SECONDS));
        } catch (InterruptedException e) { 
            e.printStackTrace();
        }
    }
    运行结果：
    true
    true
    true
    false
    a
    b
    c
    null

插入失败阻塞3秒后退出，取出失败3秒后退出，一共阻塞6秒钟

## 常见的BlockingQueue ##

### ArrayBlockingQueue ###

基于数组的阻塞队列实现，此队列按照先进先出（FIFO）的原则对元素进行排序。在ArrayBlockingQueue内部，维护了一个定长数组，以便缓存队列中的数据对象，这是一个常用的阻塞队列，除了一个定长数组外，ArrayBlockingQueue内部还保存着两个整形变量，分别标识着队列的头部和尾部在数组中的位置。  
ArrayBlockingQueue在生产者放入数据和消费者获取数据，都是共用同一个锁对象，由此也意味着两者无法真正并行运行，这点尤其不同于LinkedBlockingQueue；按照实现原理来分析，ArrayBlockingQueue完全可以采用分离锁，从而实现生产者和消费者操作的完全并行运行。Doug Lea之所以没这样去做，也许是因为ArrayBlockingQueue的数据写入和获取操作已经足够轻巧，以至于引入独立的锁机制，除了给代码带来额外的复杂性外，其在性能上完全占不到任何便宜。 ArrayBlockingQueue和LinkedBlockingQueue间还有一个明显的不同之处在于，前者在插入或删除元素时不会产生或销毁任何额外的对象实例，而后者则会生成一个额外的Node对象。这在长时间内需要高效并发地处理大批量数据的系统中，其对于GC的影响还是存在一定的区别。而在创建ArrayBlockingQueue时，我们还可以控制对象的内部锁是否采用公平锁，默认采用非公平锁。

总结: 由数组结构组成的有界阻塞队列（加锁）

### LinkedBlockingQueue ###

基于链表的阻塞队列，同ArrayListBlockingQueue类似，其内部也维持着一个数据缓冲队列（该队列由一个链表构成），当生产者往队列中放入一个数据时，队列会从生产者手中获取数据，并缓存在队列内部，而生产者立即返回；只有当队列缓冲区达到最大值缓存容量时（LinkedBlockingQueue可以通过构造函数指定该值），才会阻塞生产者队列，直到消费者从队列中消费掉一份  
数据，生产者线程会被唤醒，反之对于消费者这端的处理也基于同样的原理。而LinkedBlockingQueue之所以能够高效的处理并发数据，还因为其对于生产者端和消费者端分别采用了独立的锁来控制数据同步，这也意味着在高并发的情况下生产者和消费者可以并行地操作队列中的数据，以此来提高整个队列的并发性能。

ArrayBlockingQueue和LinkedBlockingQueue是两个最普通也是最常用的阻塞队列，一般情况下，在处理多线程间的生产者消费者问题，使用这两个类足以。

总结: 由链表结构组成的有界（但大小默认值为integer.MAX\_VALUE）阻塞队列（加锁）

### DelayQueue ###

DelayQueue中的元素只有当其指定的延迟时间到了，才能够从队列中获取到该元素。DelayQueue是一个没有大小限制的队列，因此往队列中插入数据的操作（生产者）永远不会被阻塞，而只有获取数据的操作（消费者）才会被阻塞。

总结: 使用优先级队列PriorityBlockingQueue实现的延迟无界阻塞队列（加锁）

### PriorityBlockingQueue ###

基于优先级的阻塞队列（优先级的判断通过构造函数传入的Compator对象来决定），默认自然排序，但需要注意的是PriorityBlockingQueue并不会阻塞数据生产者，而只会在没有可消费的数据时，阻塞数据的消费者。  
因此使用的时候要特别注意，生产者生产数据的速度绝对不能快于消费者消费数据的速度，否则时间一长，会最终耗尽所有的可用堆内存空间。  
在实现PriorityBlockingQueue时，内部控制线程同步的锁采用的是公平锁。

总结: 支持线程优先级排序的无界阻塞队列（加锁）

### SynchronousQueue ###

一种无缓冲的等待队列，类似于无中介的直接交易，有点像原始社会中的生产者和消费者，生产者拿着产品去集市销售给产品的最终消费者，而消费者必须亲自去集市找到所要商品的直接生产者，如果一方没有找到合适的目标，那么对不起，大家都在集市等待。相对于有缓冲的BlockingQueue来说，少了一个中间经销商的环节（缓冲区），如果有经销商，生产者直接把产品批发给经销商，而无需在意经销商最终会将这些产品卖给那些消费者，由于经销商可以库存一部分商品，因此相对于直接交易模式，总体来说采用中间经销商的模式会吞吐量高一些（可以批量买卖）；但另一方面，又因为经销商的引入，使得产品从生产者到消费者中间增加了额外的交易环节，单个产品的及时响应性能可能会降低。  
声明一个SynchronousQueue有两种不同的方式，它们之间有着不太一样的行为。

公平模式和非公平模式的区别:  
• 公平模式：SynchronousQueue会采用公平锁，并配合一个FIFO队列来阻塞多余的生产者和消费者，从而体系整体的公平策略；  
• 非公平模式（SynchronousQueue默认）：SynchronousQueue采用非公平锁，同时配合一个LIFO队列来管理多余的生产者和消费者，而后一种模式，如果生产者和消费者的处理速度有差距，则很容易出现饥渴的情况，即可能有某些生产者或者是消费者的数据永远都得不到处理。

总结: 不存储元素的阻塞队列，也即单个元素的队列（加锁）

### LinkedTransferQueue ###

LinkedTransferQueue是一个由链表结构组成的无界阻塞TransferQueue队列。相对于其他阻塞队列，LinkedTransferQueue多了tryTransfer和transfer方法。  
LinkedTransferQueue采用一种预占模式。意思就是消费者线程取元素时，如果队列不为空，则直接取走数据，若队列为空，那就生成一个节点（节点元素为null）入队，然后消费者线程被等待在这个节点上，后面生产者线程入队时发现有一个元素为null的节点，生产者线程就不入队了，直接就将元素填充到  
该节点，并唤醒该节点等待的线程，被唤醒的消费者线程取走元素，从调用的方法返回。

总结: 由链表组成的无界阻塞队列（加锁）

### LinkedBlockingDeque ###

LinkedBlockingDeque是一个由链表结构组成的双向阻塞队列，即可以从队列的两端插入和移除元素。  
对于一些指定的操作，在插入或者获取队列元素时如果队列状态不允许该操作可能会阻塞住该线程直到队列状态变更为允许操作，这里的阻塞一般有两种情况  
• 插入元素时: 如果当前队列已满将会进入阻塞状态，一直等到队列有空的位置时再讲该元素插入，该操作可以通过设置超时参数，超时后返回 false 表示操作失败，也可以不设置超时参数一直阻塞，中断后抛出InterruptedException异常  
• 读取元素时: 如果当前队列为空会阻塞住直到队列不为空然后返回元素，同样可以通过设置超时参数  
总结: 由链表组成的双向（无界）阻塞队列（无锁），多线程并发时，可以将锁的竞争最多降到一半。

# 总结 #

1.  在多线程领域：所谓阻塞，在某些情况下会挂起线程（即阻塞），一旦条件满足，被挂起的线程又会自动被唤起
2.  为什么需要BlockingQueue? 在concurrent包发布以前，在多线程环境下，我们每个程序员都必须去自己控制这些细节，尤其还要兼顾效率和线程安全，而这会给我们的程序带来不小的复杂度。使用后我们不需要关心什么时候需要阻塞线程，什么时候需要唤醒线程，因为这一切BlockingQueue都给你一手包办了

参考：

[Java 阻塞队列–BlockingQueue][Java _BlockingQueue]

[image-20210918202034347]: /images/20220828/26482ba1f8f948529fad8d49bf2c6568.png
[image-20210824205613406]: /images/20220828/366134216ce04da7a23b7381c33468f3.png
[image-20210824205835858]: /images/20220828/d6202d4eeec1441fa0f975c67b73bdcc.png
[Java _BlockingQueue]: https://www.cnblogs.com/bjxq-cs88/p/9759571.html