OS第二章.pptVIP

1、整形信号量机制 用整型信号量S来标识一个临界资源的使用情况，当一个进程占用临界资源后，执行S-1操作（P操作），当S《=0时，说明资源已经被占用，其他进程不能使用临界资源；当进程使用完临界资源后，就释放临界资源，此时执行S+1操作（V操作），让其他进程有机会继续使用该临界资源。实现了进程之间访问临界资源的互斥。 进程的同步 1、整形信号量机制 Wait(s): while(s=0) do check s=s-1; // P操作 // signal(s): s=s+1 // v操作 // S是表示资源当前的使用情况，当S=0时，表示临界资源已经被占用，需要访问的进程只有等待，同时不停的检测S值的情况。P、V都是原子操作，要么做，要么不做，不能中断。 进程的同步 2、记录型信号量机制P操作（避免整型信号量机制“忙等”） int value; Wait ( s) { s.value=s.value-1; if s.value0 then bolck(S.L) } 进程的同步 记录型信号量机制V操作（避免整型信号量机制“忙等”） int value; signal( s) { s.value=s.value+1; if s.value=0 then wakeup (S.L) } 进程的同步 s.value=0,则说明资源已经被占用完了，那么调用阻塞原语block()将自身进程阻塞起来。放到阻塞队列L中，|S.value|表示了被阻塞的进程的数量。 s.value=s.value+1,即V操作，每执行一次，释放一个资源，释放一个资源就可以唤醒一个进程，那么，|s.value|表示的是阻塞队列L中还有多少个进程需要激活，其实就是还有多少进程被阻塞着，含义一样。 3、AND型信号量机制 Wait ( s [ i ] ) { if s [ i ]=1 then { for (j=1,j=i;j++) s[i]=s[i]-1; } } / / 将一批信号量全部分配一个进程后才让该进程运行 ,i为资源总数// 进程的同步 信号量的应用 1、利用信号量机制解决前趋图的问题 S1 S2 S4 S5 S3 S6 a b c d e f g Main() { Int a,b,c,d,e,f,g; S1(); S2(); S3(); S4(); s5(); S6; } a,b,c,d,e,f,g表示各节点所拥有的资源 S1 S2 S4 S5 S3 S6 a b c d e f g s1() { Do v(a); v(b); } s2() { P(a); do v(c); v(d); } s3() { p(b); do; v(g); } s4() { p(c); do; v(e); } s5() { p(d); do; v(f); } s6() { p(e); p(f); p(g); do } 同时，要学会利用程序，还原出前趋图！ 课堂讨论 已知公式（a^2+3b) / (b+5a)试画 出该公式求值过程的前趋图 1、利用记录型信号量解决生产者消费者问题 问题描述：有一个生产者和一个消费者。分别负责生产和消费。他们公用一个缓冲池，生产者负责产出产品，然后放到缓冲池；消费者负责从缓冲池中取产品。如何利用记录型信号量机制实现他们之间的产、消同步。 注意：缓冲池有多个缓冲区，每个缓冲区有2种状态，分别是空和满。那么就需要2个信号量来表示3个状态。分别表示空的有多少个缓冲区empty，满的有多少个缓冲区full,以及互斥变量s。 信号量机制的应用 Main() { Int full,empty,s; Producer(); Consumer(); } producer() { Do; p(b.empty); p(s); …… v(s); v(b.full); } Consumer() { Do; p(b.full); p(s); …… v(s); v(b.empty); } 仔细考虑为什么要设置3个信号量？ 用AND型代替记录型实产消同步现 Producer() { 生产一个产品； AND-P(b.empty,S); 依次存放 AND-V(S,b.full); } Consumer() { AND-P(