博客
关于我
强烈建议你试试无所不能的chatGPT，快点击我
操作系统复习笔记(二)
阅读量：5789 次
发布时间：2019-06-18

本文共 3297 字，大约阅读时间需要 10 分钟。

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,0,0;
              cobegin
                        process Get
                            begin
                               repeat
                  读数据
                                p(empty1);
                                把数据放到buffer1里
                                 v(full1);
                                 until false
                            end
                        process Copy
                            begin
                  repeat
                                p(full1)
                                从buffer1里读出数据
                                v(empty1);
                  p(empty2)
                                把数据放到buffer2里
                  v(full2)
                                 until false
                           end
         process Put
                            begin
                  repeat
                                p(empty2)
                                从buffer2里读出数据
                                v(full2);         
                                打印数据
                                 until false
                           end
              coend
  end
3.输入进程输入数据到缓冲区buffer1中，计算进程从buffer1中读出数据进行计算,并把结果送入buffer2,然后打印进程从buffer2中读出结果进行打印.假设缓冲区大小分别为n1和n2.
 begin 
              buffer:integer
              empty1,empty2,full1,full2,mutex1,mutex2:semaphore=n1,n2,0,0,1,1;
              cobegin
                        process Input
                            begin
                               repeat
                  输入数据
                                p(empty1);
                  p(mutex1);
                                把数据放到buffer1里
                  v(mutex1);
                                 v(full1);
                                 until false
                            end
                        process Compute
                            begin
                  repeat
                                p(full1)
                  p(mutex1);
                                从buffer1里读出数据
                                v(mutex1);
                                v(empty1);
                  p(empty2)
                  p(mutex2);
                                把数据放到buffer2里
                   v(mutex2);
                  v(full2);
                                 until false
                           end
         process Print
                            begin
                  repeat
                                p(empty2)
                   p(mutex2);
                                从buffer2里读出数据
                  v(full2);
                                v(full2);         
                                打印数据
                                 until false
                           end
              coend
  end
4.过桥问题.
(1)桥每次只能有一辆车通过,
(2)不允许两车交会,但允许同方向的多辆车依次通过
解:(1)
    begin   
                     mutex:semaphore=1;
                     cobegin
                        process Scar//南边来的车
                            begin
                                come;
                                p(mutex);
                                过桥;
                                 v(mutex);
                                go;
                            end
                        process Ncar//北边来的车
                            begin
                 come;
                                p(mutex);
                                过桥;
                                 v(mutex);
                                go;
                           end
                coend
     end
(2)
 begi
         var Smutex=1,Nmutex=1,mutex=1:semaphore;
    SCarCount=0,NCarCount=0:integer;
                cobegin
                    process Scari(i=1,2)
                    begin
                        p(Smutex); 
                         if(SCarCount=0) then p(mutex);
           SCarCount = SCarCount +1;
                        v(Smutex); 
          过桥；
           p(Smutex); 
           SCarCount = SCarCount -1;
            if(SCarCount=0) then v(mutex);
                        v(Smutex); 
                    end
                process Ncarj(j=1,2)
                    begin
                        p(Nmutex); 
                         if(NCarCount=0) then p(mutex);
          NCarCount = NCarCount +1;
                        v(Nmutex); 
          过桥；
           p(Nmutex); 
          NCarCount = NCarCount -1;
            if(NCarCount=0) then v(mutex);
                        v(Nmutex); 
                    end
                coend
end
5.在管道通信机制中，用信号量描述读进程和写进程访问管道文件的过程，假设管道文件大小为10KB.
分析:在UNIX系统中，利用一个打开的共享文件来连接两个相互通信的进程，这个共享文件叫管道．作为管道输入的发送进程，以字符流的形式将信息送入管道，而作为管道输出的接收进程，从管道中获取信息．管道通信机制要提供三方面的协调能力：(1)互斥．当一个进程对管道进行读／写操作时，另一个进程必须等待．(2) 同步．当写进程把数据写入管道后便去睡眠等待，直到输出进程取走数据后唤醒它．若一次写入的数据超过缓冲区剩余空间的大小，当缓冲区满时，写进程必须阻塞，并唤醒读进程。(3)对方是否存在．只有确定对方存在时，才能够进行通信．
本题只需要考虑互斥，同步问题。由于只有一对进程访问管道，因此不需要设置互斥信号量，只要设置两个同步信号量empty,full．分别表示管道可写和可读．
 begin 
                  pipe:array[09] of kilobytes;
     ts=10,length,in=0,out=0:integer;
                   empty,full:semaphore=1,0;
                    cobegin
                        process PipeWriter
                            begin
                               repeat
        产生数据；
                                p(empty);
                        length = data length;
         while(length>0 and ts>0)
        begin
             pipe[in] = data of 1KB;
             in = (in+1) mod n;
             ts = ts-1;
             length = length - 1;
        end
                                 v(full);
                            end
                        process Consumer
                            begin
                  repeat;
                                p(full);
                                从缓冲区取出一件物品;
        out = (out+1) mod n;
        ts = ts +1;
                                v(empty);
                           end
               coend
    end
本文转自Phinecos(洞庭散人)博客园博客，原文链接：http://www.cnblogs.com/phinecos/archive/2006/08/25/486603.html，如需转载请自行联系原作者
你可能感兴趣的文章
响应式网站对百度友好关键
查看>>
洛谷P2179 骑行川藏
查看>>
（十八）js控制台方法
查看>>
VB关键字总结
查看>>
android代码生成jar包并混淆
查看>>
一个不错的vue项目
查看>>
屏蔽指定IP访问网站
查看>>
python学习 第一天
查看>>
根据毫秒数计算出当前的“年/月/日/时/分/秒/星期”并不是件容易的事
查看>>
python的图形模块PIL小记
查看>>
shell变量子串
查看>>
iOS的主要框架介绍 (转载)
查看>>
react报错this.setState is not a function
查看>>
poj 1183
查看>>
从根本解决跨域(nginx部署解决方案)
查看>>
javascript实现的一个信息提示的小功能/
查看>>
Centos7.x：开机启动服务的配置和管理
查看>>
HTML5 浏览器返回按钮/手机返回按钮事件监听
查看>>
xss
查看>>
iOS：百度长语音识别具体的封装：识别、播放、进度刷新
查看>>
喝酒易醉，品茶养心，人生如梦，品茶悟道，何以解忧？唯有杜康！-- 愿君每日到此一游！
当前时间: 2024-12-21 16:57:31   当前IP: 3.145.104.120   联系邮箱:javaeecc@qq.com     Copyright © 2020 - 2022 baihongyu.com 京ICP备2021015314号-2
强烈建议你试试无所不能的CHAT-GPT，快点击我
强烈建议你试试无所不能的CHAT-GPT，快点击我