秒杀哲学家问题的万能思路

如果有什么不对的也可以指出共同学习

其实核心的问题就是：如何使得同一类进程占用多种资源运行不发生问题
一劳永逸的方法就是每一位哲学家再执行前先上锁（为了一气呵成的完成全过程），获取足量的资源，吃完饭后再解锁

例子

1. 分析阶段（确定资源、进程的情况）
   n个哲学家——同类进程、m个碗、n个筷子
   注意：这里的筷子并不属于同一类资源，因为一名哲学家只能拿自己左右两边的筷子
   纠正：m个碗，n类筷子（一类一个）

2. 代码阶段

   1. 定义一个锁
   2. 定义资源数

Semophore lock =1 // 互斥信号量
int kzi[n] = {1,1,1,...,1} // n类筷子
int wan = m // m个碗
1
2
3

3. 执行功能

pi() {
	while(1){
		P(lock); // 要执行操作，先上锁，保证操作一气呵成
		if(wan > 0 && kzi[i] == 1 && kzi[i -1] == 1) { // 是否有足够的资源执行操作
			kzi[i] --; // 取左边的筷子
			kzi[i - 1] --; // 取右边的筷子
			wan--; // 拿一个碗
			
			哲学家开始吃饭
			
			V(lock); // 吃完饭解锁
			break; // 跳出循环
		}
		V(lock); // 没有足够的资源就直接解锁
	}
	// 释放资源也需要一气呵成，避免出现脏数据
	P(lock);

	归还资源 // 三种资源++，我这里没写

	V(lock);
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

4. 总体的思想就是
   1. 要取资源先上锁
   2. 判断资源够不够（不够就解锁）
   3. 执行完任务就解锁
   4. 释放资源要上锁

拓展想象

无论哲学家问题如何变型，始终是这个模型，有一类进程，需要不同的资源
比如该例题多加一个需要拿勺子，那么也只需要添加勺子这个资源，取资源时判断是否够，够就拿,不够就解锁

参考答案