什么是阻塞队列？
阻塞队列是一种特殊的队列，它在数据结构的基础上附加了两个额外的操作特性：
- 阻塞插入：当队列已满时，尝试向队列中插入元素的线程会被阻塞，直到队列中有空闲位置。
- 阻塞移除：当队列为空时，尝试从队列中获取元素的线程会被阻塞，直到队列中有新的元素被加入。
简单来说，阻塞队列是一个线程安全的、支持阻塞等待的生产者-消费者模型的核心容器。
阻塞队列的实现原理
阻塞队列的实现原理主要依赖于 锁（Lock） 和 条件变量（Condition）。在Java中，这通常通过 ReentrantLock 和 Condition 来实现。
我们以一个简单的有界数组阻塞队列为例，剖析其核心原理：
核心组件
- 一个队列：通常用数组或链表实现，用于存储元素。
- 一把锁：一个
ReentrantLock，用于保证所有操作的线程安全性。 - 两个条件变量：
notEmpty：一个与锁绑定的条件，用于表示“队列非空”。当消费者因队列为空而等待时，会挂在这个条件上。当生产者放入一个新元素后，会唤醒挂在这个条件上的线程。notFull：一个与锁绑定的条件，用于表示“队列未满”。当生产者因队列已满而等待时，会挂在这个条件上。当消费者取走一个元素后，会唤醒挂在这个条件上的线程。
核心方法原理
put(E e) 方法（阻塞插入）
- 获取锁。
- while (队列已满)：
- 调用
notFull.await()释放锁并进入等待状态。 - 当被其他线程唤醒并重新获得锁后，再次检查队列是否已满（防止虚假唤醒）。
- 将元素
e入队。 - 调用
notEmpty.signal()或notEmpty.signalAll()，唤醒一个或所有正在notEmpty上等待的消费者线程。 - 释放锁。
take() 方法（阻塞移除）
- 获取锁。
- while (队列为空)：
- 调用
notEmpty.await()释放锁并进入等待状态。 - 当被其他线程唤醒并重新获得锁后，再次检查队列是否为空。
- 将队首元素出队。
- 调用
notFull.signal()或notFull.signalAll()，唤醒一个或所有正在notFull上等待的生产者线程。 - 释放锁。
关键点总结：
- 线程安全：所有对队列结构的修改都在锁的保护下进行。
- 高效等待/通知：使用
Condition的await()和signal()代替传统的Object.wait()和Object.notify()，可以更精确地控制等待和唤醒的线程类型（生产者或消费者），避免了“惊群效应”。 - 循环检查条件：在从
await()返回后，必须重新检查条件（队列是否满/空），这是应对“虚假唤醒”的标准做法。
如何使用阻塞队列实现生产者-消费者模型
生产者-消费者模型是一种经典的多线程协作模式，它通过一个共享的缓冲区（即阻塞队列） 来解耦生产者和消费者，使他们不必直接通信，而是各自以不同的速率对缓冲区进行操作。
阻塞队列天生就是为这个模型设计的，使用它来实现非常简单优雅。
实现步骤
- 创建阻塞队列：选择一个合适的阻塞队列实现，例如
ArrayBlockingQueue。 - 创建生产者线程：生产者线程循环生产数据，并调用
queue.put(data)将数据放入队列。如果队列满，put方法会自动阻塞，直到有空间。 - 创建消费者线程：消费者线程循环调用
queue.take()从队列中获取数据。如果队列空，take方法会自动阻塞，直到有数据可用。 - 启动线程：启动生产者和消费者线程，它们会自动协作。
代码示例
import java.util.concurrent.ArrayBlockingQueue; import java.util.concurrent.BlockingQueue; public class ProducerConsumerExample { public static void main(String[] args) { // 1. 创建一个容量为10的阻塞队列 BlockingQueue<Integer> queue = new ArrayBlockingQueue<>(10); // 2. 创建生产者线程 Thread producerThread = new Thread(() -> { try { int value = 0; while (true) { // 生产数据 queue.put(value); System.out.println("Produced: " + value); value++; // 模拟生产耗时 Thread.sleep(1000); } } catch (InterruptedException e) { Thread.currentThread().interrupt(); } }); // 3. 创建消费者线程 Thread consumerThread = new Thread(() -> { try { while (true) { // 消费数据 Integer value = queue.take(); System.out.println("Consumed: " + value); // 模拟消费耗时 Thread.sleep(2000); } } catch (InterruptedException e) { Thread.currentThread().interrupt(); } }); // 4. 启动线程 producerThread.start(); consumerThread.start(); } }
代码分析
- 生产者：每秒生产一个数字（0, 1, 2...），并放入队列。如果队列已满（本例中容量为10），生产者会在
put方法处阻塞，等待消费者消费。 - 消费者：每两秒从队列中取出一个数字。如果队列为空，消费者会在
take方法处阻塞，等待生产者生产。 - 运行结果：你会看到生产者生产的速度快于消费者，但由于队列的存在，生产者不会丢失数据。当队列满后，生产者会停下来等待。整个系统平稳运行，生产者和消费者速率不匹配的问题被阻塞队列完美解决。
Java 中的阻塞队列实现
Java 的 java.util.concurrent 包提供了多种现成的阻塞队列实现，可以直接使用：
ArrayBlockingQueue：基于数组的有界阻塞队列。LinkedBlockingQueue：基于链表的阻塞队列，可选有界或无界。PriorityBlockingQueue：一个支持优先级排序的无界阻塞队列。SynchronousQueue：一个不存储元素的阻塞队列，每个插入操作必须等待另一个线程的移除操作，反之亦然。它实现了数据的直接传递。DelayQueue：一个使用优先级队列实现的无界阻塞队列，只有在延迟期满时才能从中提取元素。
总结
- 阻塞队列是一个线程安全的、支持阻塞插入和移除的队列，是生产者-消费者模型的理想载体。
- 实现原理核心是锁+条件变量，通过精确的等待/通知机制来协调生产者和消费者的步调。
- 使用方式极其简单，生产者调用
put，消费者调用take，无需开发者手动处理线程同步和通信问题，大大简化了并发编程的难度。
