操作系统复习笔记(二)

1.问答题:有一个文件F,有A,B两组进程共享这个文件，同组的进程可以同时读文件F,但当有A组(或B组)的进程在读文件F时就不允许B组(或A组）的进程读,

解:定义两个计数器C1,C2,分别记录A组和B组中读文件的进程数,三个信号量S1,S2,SAB,其中S1用于通知A组进程已经有B组进程在读文件F了,S2用于通知B进程已经有A进程在读文件F了,SAB用于实现对共享变量C1和C2以及临界区的互斥访问.

begin
            var S1,S2,SAB:semaphore  =   1 , 1 , 1 ;
                 C1,C2:integer  =   0 , 0 ;

                   process A - i(i = 1 , 2 )
                    begin
                       repeat
             P(SAB);
                   C1  =  C1 + 1 ;
              if (C1 = 1 ) then P(S2);
             V(SAB);
              读文件F;
             P(SAB)
             C1  =  C1 - 1 ;
              if (C1 == 0 )V(S2)
             V(SAB)  
                until  false
                    end      
    

                   process B - i(i = 1 , 2 )
                    begin
                       repeat
             P(SAB);
                   C2  =  C2 + 1 ;
              if (C2 = 1 ) then P(S1);
             V(SAB);
              读文件F;
             P(SAB)
             C2  =  C2 - 1 ;
              if (C2 == 0 )V(S1)
             V(SAB)  
                until  false
                    end        
  end 

2,应用题:get进程读数据到buffer1里，然后进程copy从buffer1里的数据复制到buffer2里，再由put进程取出buffer2里的数据去进行打印.

分析:这是两个阶段的生产-消费问题.第一阶段的生产者和消费者是get和copy,第二阶段的生产者和消费者是copy和put.为简单计,假设buffer1,buffer2 都是单缓冲区,因此只要设4个信号量empty1,full1,empty2,full2,就可以了.

 begin 
              buffer:integer
              empty1,empty2,full1,full2,:semaphore = 1 , 1 ,