第2章进程管理-3概要.ppt

互斥与同步解决方法之三：信号量方法;实例;整型信号量;记录型信号量的基本原理;记录型信号量的定义;相应地，wait(S)和signal(S)操作可描述为： procedure wait(S) 　　　　　var S：semaphore； 　　　　　begin 　　　　　　S.value:=S.value-1； 　　　　　　if S.value0 then block(S.L)； 　　　　　end procedure signal(S) 　　　　　var S: semaphore； 　　　　　begin 　　　　　　S.value:=S.value+1； 　　　　　　if S.value=0 then wakeup(S.L)； 　　　　　end ;wait和signal的应用;信号量类型;信号量类型的物理意义;S.value的取值范围;AND型信号量;AND型信号量;AND型信号量;Swait(S1，S2，…，Sn) 　　if Si=1 and … and Sn=1 then 　　　for i:=1 to n do 　　　Si:=Si-1； 　　　endfor 　　else 　　place the process in the waiting queue associated with the first Si found with Si1，and set the program count of this process to the beginning of Swait operation 　　endif Ssignal(S1，S2，…，Sn) for i:=1 to n do 　　Si:=Si+1； Remove all the process waiting in the queue associated with Si into the ready queue. endfor； ;信号量集;Swait(S1，t1，d1，…，Sn，tn，dn) 　　if Si=t1 and … and Sn=dn then 　　　for i:=1 to n do 　　　Si:=Si-di； 　　　endfor 　　else 　　place the process in the waiting queue associated with the first Si found with Siti，and set the program count of this process to the beginning of Swait operation 　　endif Ssignal(S1，d1，…，Sn，dn) for i:=1 to n do 　　Si:=Si+di； Remove all the process waiting in the queue associated with Si into the ready queue. endfor； ;信号量集几种特殊的情况;使用信号量解决问题的关键;利用信号量实现进程互斥;利用信号量实现进程的同步;利用信号量实现进程的同步(扩展1);利用信号量实现进程的同步(扩展2);利用信号量实现进程的同步(扩展3);利用信号量实现进程的同步(练习);思考;为了使三个进程并发工作以大大加快执行速度，又保证打印结果和输入结果一致，三个进程之间必须协调工作。 ★ 设四个信号量S1、S2、S3、S4，令： S1：初值为1，表示缓冲区Buffer1空闲的单元数； S2：初值为0，表示缓冲区Buffer1数据的个数； S3：初值为1，表示缓冲区Buffer2空闲的单元数； S4：初值为0，表示缓冲区Buffer2中数据个数。 ;;信号量的应用 -实现前趋关系;信号量的应用 -实现前趋关系;要点;Var a,b,c,d,e,f,g：semaphore: =0,0,0,0,0,0,0； 　　begin 　　　parbegin 　　　　begin S1； signal(a)； signal(b)； end； 　　　　begin wait(a)； S2； signal(c)； signal(d)； end； 　　　　begin wait(b)； S3； signal(e)； end； 　　　　begin wait(c)； S4； signal(f)； end； 　　　　begin wait(d)； S5； signal(g)； end； 　　　　begin wait(e)； wait(f)； wait(g)； S6； end； 　　　parend 　　end ;信号量的使用要点;2.4 经典进程的同步问题;生产者-消费者问题; 假设缓冲区的大小为n(