操作系统理论原理第二章进程管理.ppt

00:56 操作系统|进程管理 var a,b,c,d,e,f,g,h:semaphore := 0,0,0,0,0,0,0,0; begin parbegin begin S1;signal(a); signal(b); signal(c); end begin wait(a); S2; 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); S6 ; signal( h); end begin wait(g); wait(h); S7; end parend end 2.6 信号量机制及其应用 00:56 操作系统|进程管理 信号量集机制 AND型信号量集机制 问题引入 进程A、B访问共享数据D和E 信号量Dmutex=1，Emutex=1 process A : wait(Dmutex) ; wait(Emutex) ; ?process B : wait(Emutex) ; wait(Dmutex) ; 2.6 信号量机制及其应用 00:56 操作系统|进程管理 A、 B交替执行： process A : wait(Dmutex) ; 则Dmutex = 0 process B : wait(Emutex) ; 则Emutex = 0 process A : wait(Emutex) ; 则Emutex = -1，阻塞 process B : wait(Dmutex) ; 则Dmutex = -1，阻塞 发生死锁。 2.6 信号量机制及其应用 00:56 操作系统|进程管理 AND同步机制的思想 Swait(S1,S2,…,Sn) { if (S1=1 S2=1 … Sn=1) for (i=1;i= n;i++) Si --; else { 将进程插入第i（Si1）个等待队列; 设置该进程的程序计数器到Swait操作的开始; } } 2.6 信号量机制及其应用 00:56 操作系统|进程管理 Ssignal(S1,S2,…,Sn) { for (i=1;i=n;i++) { Si ++; 将所有等待Si资源的进程移到就绪队列。 } } 2.6 信号量机制及其应用 00:56 操作系统|进程管理 一般“信号量”机制 Swait(S1,t1,d1;…;Sn,tn,dn) { if ( S1=t1 S2=t2 … Sn=tn) for (i=1;i=n;i++) Si – = di; else { 将执行进程插入第i（Siti）个等待队列; 设置该进程的程序计数器到Swait操作的开始; } } 2.6 信号量机制及其应用 00:56 操作系统|进程管理 Ssignal(S1,d1,…;Sn,dn) { for (i=1;i= n;i++) { Si += di; 将所有等待Si资源的进程移到就绪队列; } } 2.6 信号量机制及其应用 00:56 操作系统|进程管理 特例： Swait(S,d,d)：一个信号量，可每次申请d个资源； Swait(S,1,1)：记录型信号量（S1）或互斥信号量（S=1）； Swait(S,1,0)：当S=1，允许多个进程进入某临界区；当S=0后，阻止任何进程进入临界区。 2.6 信号量机制及其应用 00:56 操作系统|进程管理 例2： 打印进程与计算进程的同步问题 设：SA — 打印进程的私有信号量，初值为0， 当SA =1 时表示可以打印。 SB — 计算进程的私有信号量，初值为0， 当SB = 0 时表示可以放入计算结果。 缓冲区 计算 打印机 缓冲区 打印进程 计算进程 SA SB 缓冲区 缓冲区 缓冲区 同步的概念 2.7?????? 经典进程同步问题 00:56 操作系统|进程管理 ? ? ? 计算结果放入缓冲区； T2: signal(SA)； L1: wait（SB）； ? ? ? 显然，进程CP与进程IOP相互制约： ① 只有CP执行到 T2，IOP才能执行T1。（T2