实验四 车辆行驶死锁问题.docVIP

实验四 车辆行驶死锁问题 实验目的 理解死锁产生的原因，掌握预防和预防死锁的方法，以及死锁的检测方法。 通过车辆行驶死锁问题的设计与实现掌握解决死锁的方法。 实验内容 车辆行驶死锁问题，在Linux下用C语言完成下面模型：设有一个T型路口，其中A，B，C，D各处可容纳一辆车，车型方向如图所示。找出死锁并用有序分配法消除之，要求资源编号合理。 A B E:左转 W：直行 D C S：左转 T型路口模拟图 根据上述介绍，编写车辆行驶死锁问题的程序，要求如下： 在Linux下用C语言编程，利用信号量操作实现进程同步； 假设3个方向的车辆数目相等，数只有用户输入，并动态显示车辆行驶的状态，每个车辆行驶所用的时间可以预先设定。 准备知识 了解进程死锁的原理。 掌握自然有序分配法。 实验原理 死锁是指在一组进程中的各个进程占有不会释放的资源，但因互相申请被其他进程所占用不会释放的资源而处于一种永久等待的状态。 死锁的4个必要条件： 互斥条件。 请求与保持条件。 非剥夺条件。 循环等待条件。 死锁预防的基本思想是对进程在申请有关申请资源的时候规定某种策略，如果所有进程都遵守这一策略，则系统就不会进入死锁状态。 本实验主要使用资源有序分配策略来预防死锁。 实验指导 死锁的可能性有两种： E方向两辆车分别位于A和B，S方向一辆车位于C,W方向一辆车位于D。 S方向两辆车分别位于B和C，E方向一辆车位于A,W方向一辆车位于D。 位置资源编号：f(C)=1, f(B)= 2,f(A)=3, f(D)=4. 管理C，B，A，D四个位置的信号量分别为s1，s2，s3，s4，初始值均为1。控制的PV 源于，如表所示。 利用PV源于解决死锁算法 Semaphore s1=1,s2=1,s3=1,s4=1; Void S(){ P(s1); 驶入C; P(s2); 驶入B; V(s1); P(s3); 驶入A; V(s2); 驶出A; V(s3); } Void E(){ P(s2); 驶入B; P(s3); 驶入A; V(s2); P(s4); 驶入D; V(s3); 驶出D; V(s4); } Void W(){ P(s1); //按序申请 P(s4)； 驶入D; 驶入C; V(s4); 驶出C; V(s1); } 本实验的程序流程图，如图所示。 实验截图 附录：参考源代码 程序源代码： #includestdio.h #includestdlib.h #includeunistd.h #includesemaphore.h //死锁 #define Max 5 //车辆最大数目 pthread_t E[Max]; //E方向的线程 pthread_t W[Max]; //W方向的线程 pthread_t S[Max]; //S方向的线程 pthread_mutex_t s1; //C处的互斥信号 pthread_mutex_t s2; //B处的互斥信号 pthread_mutex_t s3; //A处的互斥信号 pthread_mutex_t s4; //D处的互斥信号 int i; //用于方便动态显示行驶信息的 void *s(void *a1) //S方向 { pthread_mutex_lock(s1); //相当于PV原语中的P操作 printf(S %d enter C\n,i+1); sleep(2); //方便观察 pthread_mutex_lock(s2); printf(S %d enter B\n,i+1); sleep(2); pthread_mutex_unlock(s1); //相当于PV原语中的V操作 pthread_mutex_lock(s3); printf(S %d enter A\n,i+1); sleep(2); pthread_mutex_unlock(s2); printf(S %d leave A\n,i+1); printf(!!!S finished one\n); //一辆S方向上的车已经通过 sleep(2); pthread_mutex_unlock(s3); } void *e(void *a2) //E方向 { pthread_mutex_lock(s2); printf(E %d enter B\n,i+1); sleep(2); pthread_mutex_lock(s3); printf