监视器模式(Monitor Pattern)是一种并发编程模式,旨在确保对共享资源的访问是线程安全的。它结合了互斥锁(Mutex)和条件变量(Condition Variable)的概念,提供了一种机制来协调多个线程对共享资源的访问。
在监视器模式中,一个共享资源(如数据结构、对象或文件)被封装在一个监视器对象中。该监视器对象控制对共享资源的访问,确保同一时间只有一个线程可以访问资源,从而避免竞态条件(Race Condition)和数据一致性问题。
一个简单的示例来说明监视器模式。假设我们有一个银行账户对象,多个线程可能同时进行存款(deposit)和取款(withdraw)操作,我们希望确保对账户余额的访问是线程安全的。
简单例子
class BankAccount {
private int balance;
public synchronized void deposit(int amount) {
balance += amount;
}
public synchronized void withdraw(int amount) {
if (balance >= amount) {
balance -= amount;
}
}
}
在上面的代码中,我们使用了Java中的关键字synchronized
来实现监视器模式。通过将deposit
和withdraw
方法标记为synchronized
,我们确保同一时间只有一个线程可以访问这些方法。这样就避免了多个线程同时对余额进行修改的问题。
当一个线程执行synchronized
方法时,它将获取该对象的锁(互斥锁),其他线程必须等待锁的释放才能执行相应的方法。这样就实现了对共享资源的互斥访问。
总结来说,监视器模式是一种并发编程模式,用于确保对共享资源的访问是线程安全的。通过互斥锁和条件变量,它提供了一种机制来协调多个线程对共享资源的访问。通过合理地使用监视器模式,我们可以避免竞态条件和数据一致性问题,保证线程安全性。
稍微复杂例子
class Buffer {
private int[] buffer;
private int size;
private int count;
public Buffer(int size) {
this.size = size;
this.buffer = new int[size];
this.count = 0;
}
public synchronized void produce(int value) throws InterruptedException {
while (count == size) {
wait();
}
buffer[count] = value;
count++;
System.out.println("Produced: " + value);
notifyAll();
}
public synchronized int consume() throws InterruptedException {
while (count == 0) {
wait();
}
int value = buffer[count - 1];
count--;
System.out.println("Consumed: " + value);
notifyAll();
return value;
}
}
在上面的代码中,Buffer
类表示一个缓冲区,其中的produce
方法用于生产数据,consume
方法用于消费数据。关键的部分是synchronized
关键字和wait()
、notifyAll()
方法的使用。
当缓冲区已满时,生产者线程会调用wait()
方法,使自己进入等待状态,直到有空间可供生产。当缓冲区有空间可供消费时,消费者线程会调用notifyAll()
方法,唤醒等待中的生产者线程。同样地,当缓冲区为空时,消费者线程会调用wait()
方法等待数据的生产。
这个例子展示了如何使用监视器模式实现生产者-消费者问题,通过互斥锁和条件变量来确保生产者和消费者线程之间的同步和互斥访问。