(1.24)--第2章1操作系统原理.pptVIP

* * 重点与难点 （2）信号量的物理意义。一个信号量 S通常对应于一类临界资源，在学习时，必须理解S.value的值在物理上有什么特殊的含义，而每次wait和signal操作又分别意味着什么，故必须分别对S.value进行什么操作。 （3）用信号量实现互斥。为了实现进程对临界资源的互斥访问，需为每类临界资源设置一初值为 1的互斥信号量mutex。在学习时，应清楚在进入临界区前或退出临界区后应对mutex分别执行什么操作，为什么对mutex的wait和signal操作必须成对出现，如少了其中的wait操作或signal操作，会对互斥算法产生什么样的影响。 * 重点与难点 （4）用信号量实现前趋关系。为实现前趋关系 Pi→Pj，可为它们设置一个初值为0的信号量S。在学习时，应清楚对S的wait操作和signal操作应分别安排在什么位置，同时必须注意wait(S)操作和signal(S)操作也必须成对出现。 * 信号量含义 信号量P、V操作 解决互斥问题和同步问题的方法（即如何设置信号量以及将P、V放在何处？） * 例: 一售票厅只能容纳300人，当少于300人时，可以进入；否则，需在外等候。若将每一个购票者作为一个进程，请用P、V操作编程，并写出信号量的初值。 解 ： semaphore s=300; void pi( ) { while(1) { P(s)； 进入售票厅； 购票； 退出售票厅； V(s)； } } * 例：实现前趋关系（P57） semaphore a=b=c=d=e=f=g=0; {S1;V(a);V(b); } {P(a);S2;V(c);V(d)} {P(b);S3;V(e);} {P(c);S4;V(f);} {P(d);S5;V(g);} {P(e);P(f);P(g); S6; } S 1 S 2 S 4 S 3 S 5 S 6 S 1 S 2 S 4 S 3 S 5 S 6 a b c d f g e * 相似处：进程的互斥实际上是进程同步的一种特殊 情况； 进程的互斥和同步统称为进程同步。 差别：进程互斥是进程间共享资源的使用权，这种竞争没有固定的必然联系，哪个进程竞争到使用权就归那个进程使用，直到不需要使用时再归还； 而进程同步则是并发进程间有一种必然的联系，当进程必须同步时，尚未得到同步消息的进程也不能执行下去。 进程的互斥或同步 * * process A:　　　　 process B: …… …… wait(Dmutex)；　　 wait(Emutex)； wait(Emutex)； wait(Dmutex)； …… …… 记录型信号量出现问题？ 若进程A和B，它们都要求访问共享数据D和E。共享数据是临界资源，为此，可以为这两个数据分别设置互斥信号量Dmutex和Emutex，令它们初值都为1。 * 若进程A和B按下述次序交替执行wait操作： 　process A: wait(Dmutex)； 于是Dmutex=0 　process B: wait(Emutex)； 于是Emutex=0 　process A: wait(Emutex)； 于是Emutex=-1 A阻塞 　process B: wait(Dmutex)； 于是Dmutex=-1 B阻塞 记录型信号量出现问题？ * 　　进程A和B处于僵持状态。在无外力作用下，两者都将无法从僵持状态中解脱出来。我们称此时的进程A和B已进入死锁状态（P107）。 当进程同时要求的共享资源愈多时，发生进程死锁的可能性也就愈大。 记录型信号量出现问题？ * 信号量机制 AND型信号量的基本思想：将进程在整个运行过程中需要的所有资源，一次性全部分配给进程，待进程使用完后再一起释放。只要尚有一个资源未分配给进程，其它所有可能为之分配的资源也不分配给它。即对资源分配采取“原子操作”。要么全部分配给它，要么一个都不分配。 在wait操作中，增加了一个“AND”条件，故称为AND同步，或称为同时wait操作，即Swait(Simultaneous wait) 缺点：资源利用率不高。 * AND型信号量 进程同时请求若干类资源，每类资源请求一个 swait(semaphore s[n],int n) If s[1]≥1 and … and s[n]≥1 then for i:=1 to n do s[i]:=s[i]-1; //注：与wait的处理不同，这里