第2章进程管理.ppt.ppt

2.3 进程同步 2.3.2 信号量机制（5） AND型信号量：一次性分配进程运行过程所需的所有资源，待进程使用完后一起释放 改进的Ssignal原语： 计算机工程学院 伍俊明 2.3 进程同步 2.3.2 信号量机制（6） 信号量集：一次分配多个资源，当资源数量低于下限时不分配 改进的Swait原语：si为信号量，增设di为需求值，ti下限值 Swait(S1，t1，d1，…，Sn，tn，dn) 　　if S1=t1 and … and Sn=tn then 　　　　for i:=1 to n do 　　 　　　Si:=Si-di； 　　　　endfor 　　else 　　　Place the executing process in the waiting queue of the first Si with Siti and set its program counter to the beginning of the Swait Operation. endif 计算机工程学院 伍俊明 2.3 进程同步 2.3.2 信号量机制（7） 信号量集：一次性分配进程运行过程所需的所有资源，待进程使用完后一起释放 改进的Ssignal原语： 计算机工程学院 伍俊明 2.3 进程同步 2.3.2 信号量机制（8） 信号量集：几种特殊情况 Swait(S, d, d):信号集中只有一个信号量，允许每次申请d个资源，当现有资源少于d时，不予分配。 Swait(S, 1, 1): 蜕化为一般的记录型信号量（S1时）或互斥信号量（S=1时）。 Swait(S, 1, 0): 特殊且很有用的信号量操作。当S≥1时允许多个进程进入某个特定区；当S变为0时将阻止任何进程进入特定区。 2.3 进程同步 2.3.3 信号量的应用（1） 利用信号量实现互斥 进程互斥，设置互斥信号量mutex，初值为1。各进程访问临界资源的临界区置于wait(mutex)和signal(mutex)操作之间即可。 Var mutex: semaphore:=1； 　　begin 　　parbegin 　　　　process 1: begin process 2: begin 　　　　　　repeat repeat 　　　　　　 　wait(mutex)； wait(mutex)； 　　　　　　 　critical section critical section 　　　　　　 　signal(mutex)； signal(mutex)； 　　　　　　 　remainder seetion remainder seetion 　　　　　　until false； until false； 　　　　end end parend 2.3 进程同步 2.3.3 信号量的应用（2） 利用信号量实现前趋关系 P1进程语句S1先于P2进程S2语句执行，设公用信号量S，初值为0。 P1: S1; signal(S); P2: wait(S); S2 复杂前趋图的实现 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.3 进程同步 2.3.4 管程机制（1） 信号量可实现进程同步，但可造成死锁，可使用管程同步。 管程：代表共享资源的数据结构，以及由对该共享数据结构实施操作的一组过程所组成的资源管理程序，共同构成了操作系统的资源管理模块。管程被请求和释放资源的进程所调用 组成：管