《现代操作系统》读书笔记——生产者消费者问题、哲学家就餐、银行家算法

绕远的偶人

于 2018-04-23 12:39:14 发布

阅读量1k

点赞数

分类专栏：操作系统

本文链接：https://blog.youkuaiyun.com/weixin_39420024/article/details/80044562

版权

本文是《现代操作系统》读书笔记，重点探讨了并发问题的解决方案：通过Semaphore、synchronized、wait/notifyAll、lock/condition以及BlockingQueue实现生产者消费者问题；介绍了哲学家就餐问题的不同策略，如随机回退、编号取筷；并阐述了银行家算法在预防死锁中的应用，包括资源分配表、进程等待表的维护，以确定安全的操作序列。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、生产者——消费者问题

（1）Semaphore实现

public class ProducerConsumer {
	int count = 0;// 缓冲区的产品数量
	Semaphore mutex = new Semaphore(1);
	Semaphore empty = new Semaphore(N);
	Semaphore full = new Semaphore(0);

	class Producer implements Runnable {
		public void run() {
			while (true) {
				Item item = produce();
				empty.acquire();
				mutex.acquire();
				insert(item);// 向缓冲区添加产品
				count++;
				mutex.release();
				full.release();
			}
		}

		public Item produce() {...}
	}

	class Consumer implements Runnable {
		public void run() {
			while (true) {
				full.acquire();
				mutex.acquire();
				Item item = remove();// 从缓冲区取出数据
				count--;
				mutex.release();
				empty.release();
				consume(item);
			}
		}
		
		public void consume(Item item) {...}
	}
}

（2）synchronized和wait()/notifyAll()实现

class Resource {
	// 当前资源数量
	private int

最低0.47元/天解锁文章