




已阅读5页,还剩1页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
实验四 车辆行驶死锁问题实验目的(1) 理解死锁产生的原因,掌握预防和预防死锁的方法,以及死锁的检测方法。(2) 通过车辆行驶死锁问题的设计与实现掌握解决死锁的方法。实验内容车辆行驶死锁问题,在Linux下用C语言完成下面模型:设有一个T型路口,其中A,B,C,D各处可容纳一辆车,车型方向如图所示。找出死锁并用有序分配法消除之,要求资源编号合理。ABE:左转W:直行DCS:左转T型路口模拟图根据上述介绍,编写车辆行驶死锁问题的程序,要求如下:(1) 在Linux下用C语言编程,利用信号量操作实现进程同步;(2) 假设3个方向的车辆数目相等,数只有用户输入,并动态显示车辆行驶的状态,每个车辆行驶所用的时间可以预先设定。准备知识(1) 了解进程死锁的原理。(2) 掌握自然有序分配法。实验原理死锁是指在一组进程中的各个进程占有不会释放的资源,但因互相申请被其他进程所占用不会释放的资源而处于一种永久等待的状态。死锁的4个必要条件:(1) 互斥条件。(2) 请求与保持条件。(3) 非剥夺条件。(4) 循环等待条件。死锁预防的基本思想是对进程在申请有关申请资源的时候规定某种策略,如果所有进程都遵守这一策略,则系统就不会进入死锁状态。本实验主要使用资源有序分配策略来预防死锁。实验指导死锁的可能性有两种:(1) E方向两辆车分别位于A和B,S方向一辆车位于C,W方向一辆车位于D。(2) 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);本实验的程序流程图,如图所示。结束动态显示车辆行驶情况创建三个方向上的线程提示输入错误输入是否大于Max开始实验截图附录:参考源代码程序源代码:#include#include#include#include/死锁#define Max 5/车辆最大数目pthread_t EMax;/E方向的线程pthread_t WMax;/W方向的线程pthread_t SMax;/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 Cn,i+1); sleep(2);/方便观察 pthread_mutex_lock(&s2); printf(S %d enter Bn,i+1); sleep(2); pthread_mutex_unlock(&s1);/相当于PV原语中的V操作 pthread_mutex_lock(&s3); printf(S %d enter An,i+1); sleep(2); pthread_mutex_unlock(&s2); printf(S %d leave An,i+1); printf(!S finished onen);/一辆S方向上的车已经通过 sleep(2); pthread_mutex_unlock(&s3);void *e(void *a2)/E方向 pthread_mutex_lock(&s2); printf(E %d enter Bn,i+1); sleep(2); pthread_mutex_lock(&s3); printf(E %d enter An,i+1); sleep(2); pthread_mutex_unlock(&s2); pthread_mutex_lock(&s4); printf(E %d enter Dn,i+1); sleep(2); pthread_mutex_unlock(&s3); printf(E %d leave Dn,i+1); printf(!E finished one n); sleep(2); pthread_mutex_unlock(&s4);void *w(void *a3)/W方向 pthread_mutex_lock(&s1); pthread_mutex_lock(&s4); printf(W %d enter Dn,i+1); sleep(2); printf(W %d enter Cn,i+1); sleep(2); pthread_mutex_unlock(&s4); printf(W %d leave Cn,i+1); printf(!W finished one n); sleep(2); pthread_mutex_unlock(&s1);int main(int argc,char *argv) int c;/记录输入的数值 printf(This program will help you let cars cross this T crossing.n); printf(Suppose that there are same quantity of cars in three derections.n); printf(Please input the integer number,less than 5: ); scanf(%d,&c); if( c Max )/c不能大过MAX printf(You enter the wrong number,try again.n); exit(1); int i1 = pthread_mutex_init(&s1,NULL);/初始化互斥信号量 if(i1 != 0) printf(Create error.); exit(1); int i2 = pthread_mutex_init(&s2,NULL); if(i2 != 0) printf(Create error.); exit(1); int i3 = pthread_mutex_init(&s3,NULL); if(i3 != 0) printf(Create error.); exit(1); int i4 = pthread_mutex_init(&s4,NULL); if(i4 != 0) printf(Create error.); exit(1); for(i = 0;i c; i+)/分别创建c个W方向、E方向、S方向上的线程 pthread_create(&Wi,NULL,(void *)w,(void *)(i + 1); pthread_create(&Ei,NULL,(void *)e,(void *)(i + 1); pt
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 抗组胺药的临床应用试题及答案2025年版
- 抗感染专业临床药师试题及答案2025年版
- 临床sp考试题目及答案2025年版
- 门岗安全培训工作课件
- 门卫消防知识培训内容课件
- 门卫安全教育培训记录课件
- 潮玩市场IP运营策略研究:2025年行业报告与实战指南
- 镀铬件修复专业知识培训课件
- 年产发热管100万件和发热盘100万件新建项目环评报告表
- 重庆水务重庆渝江水务有限公司股东全部权益价值资产评估报告
- 关于医院“十五五”发展规划(2026-2030)
- T/CHTS 10130-2024高韧超薄沥青磨耗层技术指南
- 活动人员分工安排方案
- 米糠油项目可行性分析报告
- DB31T 1235-2020 高层民用建筑消防安全管理要求
- 《汽车构造基础知识》课件
- 《人工智能通识基础(慕课版)》-教学大纲、课程标准
- 前列腺增生科普知识
- 中建八局三亚喜来登主体施工组织设计鲁班奖(157P)
- 2025毕节辅警考试题库
- 5G-Advanced通感融合网络架构研究报告(第二版)
评论
0/150
提交评论