银行家进餐问题.doc

银行家进餐问题 实验目的： 了解进程同步，信号量，互斥量的有关知识，初步接触windows编程。 实验内容： 经典同步问题中的哲学家进餐问题（材料：哲学家5个，筷子5只。要求：每个哲学家必须取得2只筷子时才能进餐，进餐完放下筷子，不能有哲学家饿死。状态：思考-饿-进餐-发呆-……） 实验设计主要思想： 创建5个线程代表5个哲学家，5个互斥量代表5只筷子，当哲学家可以同时拿起两边的筷子时他才进餐，否则等待。 实验设计的实现总体框架： 源代码详细分析： HANDLE h_Thread[5]; // 线程 struct ThreadInfo { int a; }; ThreadInfo thread_info[5]; // 线程参数 HANDLE Mutex[5]; // 互斥量 int state[5] ; // 记录5个哲学家的状态 int i; void philosopher(ThreadInfo *p) // 线程调用的函数 { int temp; temp=p-a; // 判断哲学家的位置 while(true) // 无限循环 { // 判断哲学家旁边的筷子编号 if(temp==1) {Mutex[0]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex1); // 打开互斥量 Mutex[1]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex2);} if(temp==2) {Mutex[1]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex2); Mutex[2]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex3);} if(temp==3) {Mutex[2]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex3); Mutex[3]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex4);} if(temp==4) {Mutex[3]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex4); Mutex[4]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex5);} if(temp==5) {Mutex[4]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex5); Mutex[0]=OpenMutex(MUTEX_ALL_ACCESS,FALSE,mutex1);} if(state[temp-1]==thinking) // 判断原来状态 {state[temp-1]=hungry; // 状态改变 Label[temp-1]-Caption=我饿了 ; randomize(); i=(rand()%2000); // 随机生成时间 Sleep(2000+i); // 状态保持时间 } else if(state[temp-1]==eating) {state[temp-1]=thinking; Label[temp-1]-Caption=我在发呆 ; i=(rand()%2000); Sleep(2000+i); } else{WaitForSingleObject(Mutex[temp-1],-1); // ＝待互斥量 if(temp==5) WaitForSingleObject(Mutex[0],-1); else WaitFor