什么是Condition条件队列?
在Java的并发编程中,Condition是Java的java.util.concurrent.locks包中的一个接口,它提供了线程间的通信机制,允许线程在特定的条件下等待,并在条件满足时被唤醒。Condition对象必须与一个Lock对象关联,通常使用ReentrantLock来创建。
在Condition的内部实现中,有一个或多个条件队列(Condition Queue)。这些条件队列用于管理那些在特定条件下等待的线程。条件队列中的线程处于等待状态,直到被其他线程通过signal()或signalAll()方法唤醒
Condition条件队列的工作机制
以下是Condition条件队列的工作机制:
等待和释放锁:当一个线程调用Condition的await()方法时,它会释放当前持有的锁并进入条件队列中等待。这意味着该线程将不再继续执行,直到它被唤醒。
唤醒线程:另一个线程在某个条件满足时,可以通过调用Condition的signal()或signalAll()方法来唤醒一个或所有等待在该条件队列中的线程。唤醒的线程将尝试重新获取关联的锁,并在成功获取锁后从await()方法返回,继续执行后续代码。
重新获取锁:当被唤醒的线程继续执行时,它必须首先重新获取关联的锁。如果锁已经被其他线程持有,那么它需要等待锁被释放
代码示例
为了更好地理解Condition和条件队列的工作机制,我们来看一个生产者-消费者问题的例子。在这个例子中,Condition用于管理生产者和消费者之间的同步
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
public class ConditionExample {
private static final int BUFFER_SIZE = 10;
private final int[] buffer = new int[BUFFER_SIZE];
private int count = 0;
private int putIndex = 0;
private int takeIndex = 0;
private final Lock lock = new ReentrantLock();
private final Condition notFull = lock.newCondition();
private final Condition notEmpty = lock.newCondition();
public void put(int value) throws InterruptedException {
lock.lock();
try {
while (count == BUFFER_SIZE) {
notFull.await(); // 如果缓冲区已满,等待
}
buffer[putIndex] = value;
putIndex = (putIndex + 1) % BUFFER_SIZE;
count++;
notEmpty.signal(); // 唤醒等待缓冲区不为空的消费者线程
} finally {
lock.unlock();
}
}
public int take() throws InterruptedException {
lock.lock();
try {
while (count == 0) {
notEmpty.await(); // 如果缓冲区为空,等待
}
int value = buffer[takeIndex];
takeIndex = (takeIndex + 1) % BUFFER_SIZE;
count--;
notFull.signal(); // 唤醒等待缓冲区不满的生产者线程
return value;
} finally {
lock.unlock();
}
}
public static void main(String[] args) {
ConditionExample example = new ConditionExample();
// 生产者线程
Thread producer = new Thread(() -> {
try {
for (int i = 0; i < 20; i++) {
example.put(i);
System.out.println("Produced: " + i);
}
} catch (InterruptedException e) {
Thread.currentThread().interrupt();
}
});
// 消费者线程
Thread consumer = new Thread(() -> {
try {
for (int i = 0; i < 20; i++) {
int value = example.take();
System.out.println("Consumed: " + value);
}
} catch (InterruptedException e) {
Thread.currentThread().interrupt();
}
});
producer.start();
consumer.start();
}
}
解释:
生产者线程:生产者线程向缓冲区(buffer)中放置数据。如果缓冲区满了,生产者线程会调用notFull.await(),进入条件队列并等待,直到有空间可用。
消费者线程:消费者线程从缓冲区中取走数据。如果缓冲区为空,消费者线程会调用notEmpty.await(),进入条件队列并等待,直到有数据可用。
信号机制:当生产者放置数据后,它会调用notEmpty.signal(),唤醒等待数据的消费者线程。同样,当消费者取走数据后,它会调用notFull.signal(),唤醒等待空间的生产者线程。
理解Condition条件队列的核心点
条件队列管理着等待在特定条件上的线程:当线程调用await()时,它会进入条件队列并释放当前锁。
线程被唤醒时需要重新获取锁:当条件被满足时,线程会从条件队列中唤醒,但它必须重新获取与Condition关联的锁才能继续执行。
与Lock配合使用:Condition总是与Lock对象关联使用,通常用ReentrantLock来创建。Lock控制对共享资源的访问,而Condition控制线程何时应该等待以及何时应该被唤醒