condition_variable与mutex模拟管程实现哲学家问题【课设】

管程解决哲学家问题

首先 管程定义

系统中的各种硬件资源和软件资源均可用数据结构抽象地描述其资源特性，即用少量信息和对该资源所执行的操作来表征该资源，而忽略它们的内部结构和实现细节。因此，可以利用共享数据结构抽象地表示系统中的共享资源，并且将对该共享数据结构实施的特定操作定义为一组过程。进程对共享资源的申请、释放和其它操作必须通过这组过程，间接地对共享数据结构实现操作。对于请求访问共享资源的诸多并发进程，可以根据资源的情况接受或阻塞，确保每次仅有一个进程进入管程， 执行这组过程，使用共享资源，达到对共享资源所有访问的统一管理， 有效地实现进程互斥。
代表共享资源的数据结构以及由对该共享数据结构实施操作的一组过程所组成的资源管理程序共同构成了一个操作系统的资源管理模块，我们称之为管程。

然后 哲学家进餐问题

若五位哲学家同时饥饿而各自拿起了左边的筷子，这使五个信号量 chopstick 均为 0，当他们试图去拿起右边的筷子时，都将因无筷子而无限期地等待下去，即可能会引起死锁。若五位哲学家同时饥饿而各自拿起了左边的筷子，这使五个信号量 chopstick 均为 0，当他们试图去拿起右边的筷子时，都将因无筷子而无限期地等待下去，即可能会引起死锁。

哲学家进餐问题的死锁现象有多种解决办法,这里选用的是左右筷子资源同时满足时哲学家才申请筷子资源,否则阻塞.

好废话不多说,上代码
(更加详细的代码请查看我的上一篇博客)
【操作系统】C++信号量解决生产者消费者问题及管程解决哲学家问题（课设）

#include<iostream>
#include<thread>
#include<windows.h>
#include<condition_variable>
#include<mutex>
#include<iomanip>
using namespace std;
typedef int chopsticks;//筷子类型，1表示可用、0表示不可用
mutex m;
#define N 2
void Print(int i,int flag);
//定义管程
class Monitor {
   
private:
	chopsticks c[5];//int的型数组，1代表可用，0代表已被占用
	condition_variable con;//仅设一个阻塞队列，把五只筷子看作一个资源，此方法导致资源浪费（被唤醒的进程不一定满足执行条件，可能被再次阻塞）
	mutex mtx;//互斥锁，用于互斥访问管程
public:
	Monitor() {
   
		for (int i = 0; i < 5; i++) {
   
			c[i] = 1;
		}//初始筷子资源状况
	}
	void resource_application(int i) {
   	
		unique_lock<mutex>lck(mtx