(1.6)--前驱图操作系统原理.ppt

《(1.6)--前驱图操作系统原理.ppt》由会员分享，可在线阅读，更多相关《(1.6)--前驱图操作系统原理.ppt（7页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、1前趋图前趋图:可以可以描述进程之间执行的前后关系描述进程之间执行的前后关系P3有向有向无循环无循环图图,记记DAGP1P2P4P5P6P7结点，可表示一语句（结点，可表示一语句（Statement）、程序段（）、程序段（Code）或进程）或进程Progress前趋关系前趋关系初始结点初始结点终止结点终止结点前趋关系前趋关系：P1P2,P2 P5,P5 P7 P1 P3,P3 P5 P1 P4,P4 P6,P6 P7直接前趋直接前趋直接后继直接后继2前趋图前趋图是前趋图是前趋图不是前趋图不是前趋图3例：例：现在有三条语句现在有三条语句 S1，S2，S3，这三条语句在执行时有什么样的前趋，这三条

2、语句在执行时有什么样的前趋关系？关系？S1：ba5；S2：a6；S3：cb1；S2S3S1前趋前趋图图4例：例：并发执行的进程并发执行的进程P1和和P2中，分别有代码段中，分别有代码段C1和和C2，要求，要求C1在在C2开始前完成。前趋图应该怎么画？开始前完成。前趋图应该怎么画？前趋前趋图图C1C2void p1()C1；void p2()C2；5例：例：x x代表某代表某火车火车座位数，座位数，p1p1和和p2p2是两个售票进程，售票是两个售票进程，售票工作是对变量工作是对变量x x减减1.p11.p1和和p2p2之间是什么制约关系？前趋之间是什么制约关系？前趋图如何画？图如何画？前趋前趋图

3、图void p1()while(1)x=x-1；void p2()while(1)x=x-1；6例：例：x x代表某代表某火车火车座位数，座位数，p1p1和和p2p2是两个售票进程，售票是两个售票进程，售票工作是对变量工作是对变量x x减减1.p11.p1和和p2p2之间是什么制约关系？前趋之间是什么制约关系？前趋图如何画？图如何画？前趋前趋图图也可以写成也可以写成void pi()/i=1，2 while(1)x=x-1；p1和和p2都是对一个共享变量减都是对一个共享变量减1，p1在卖票的时候在卖票的时候p2是不能卖的，所以是不能卖的，所以p1和和p2之间是互斥关系。因为他们共之间是互斥关系。因为他们共享了一个临界资源享了一个临界资源x。他们之间并没有执行的先后关系，所他们之间并没有执行的先后关系，所以没法画前趋图以没法画前趋图7例：例：有一有一个计算进程个计算进程p1p1和一个打印进程和一个打印进程p2p2，需要先计，需要先计算完成后才能打印，算完成后才能打印，p1p1和和p2p2之间是什么制约关系？前之间是什么制约关系？前趋图如何画？趋图如何画？前趋前趋图图需要先计算完成后才能需要先计算完成后才能打印，所以打印，所以p1执行完后执行完后p2才能执才能执行，所以行，所以p1和和p2之间之间是合作的关系，也就是是同步关系。是合作的关系，也就是是同步关系。p1p2