操作系统-预习笔记-Chap02-0211

2.4.4 信号量的应用

1、利用信号量实现进程互斥
为使多个进程互斥访问某临界资源，须为该资源设置一互斥信号量mutex，并设其初始值为1，然后将各进程访问资源的临界区CS置于wait(mutex) 和 signal(mutex)之间即可。

semaphore  mutex =1;
        begin
        parbegin
            process 1: begin
                           repeat
                               wait(mutex);
                               critical section //对资源的操作语句 例如：利用打印机打印
                               signal(mutex);
                               remainder section
                            until false;
                        end
            process 2: begin
                            repeat
                               wait(mutex);
                               critical section
                               signal(mutex);
                               remainder section
                            until false; 
                        end
        parend       

wait 和 signal 操作 也就是 PV操作必须成对出现：所谓P操作就是申请一个单位的资源，进程进入。简言之就是信号量减一；所谓V操作就是释放一个单位资源，进程出来。简言之就是信号量加一。我们知道信号量的数据结构中，其值是指可用资源的数量。所以，成对出现就是要保证资源供给的平衡。

2、利用信号量实现前驱关系
设有两个并发执行的进程P1和P2，P1中有语句S1，P2中有语句S2，希望在S1执行之后再执行S2。
使进程P1和P2共享一个公共信号量S，并设其初始值为0.则

//进程P1
	S1；          //此时S大于等于零，进程继续执行
	signal(S);	  //此时S小于零，进程阻塞，释放资源，进入阻塞队列
//进程P2
	wait(S);      //此时S ++ ,大于零，申请资源使得进程2继续执行S2
	S2;

给出图

用信号量表示前驱关系

semaphore  a, b, c, d, e, f, g = 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

3、利用记录型信号量实现同步
有下述情况，P1和P2两个进程因为合作完成一项任务而公用一个变量x。进程P2要将处理结果送入X；进程P1将X的结果打印。要如何用信号量机制实现进程同步。

semaphore empty=1;  //变量x可赋值使用，即P1的print(x)已完成
semaphore full=0;   //变量x已赋值，即P1可 print(x)
        begin
        parbegin
            p1: begin
                       repeat
                          … …
                          wait(full);
                          print(x)；
                          signal(empty);
                          … …
                      until false;
                 end
              p2: begin
			           repeat
			               … …
			               wait(empty);
			               x:=处理结果；
			               signal(full);
			               … …
			           until false; 
			      end
        parend