【操作系统】-PV操作

   

     基本概念

    临界区:我们把并发进程中与共享变量有关的程序段称为临界区。

    进程的同步:指在并发进程之间存在一种制约关系,一个进程的执行依赖另一个进程的消息,当一个进程没有得到另一个进程的消息时应等待,直到消息到达才被唤醒。

    进程的互斥:指当有若干个进程都要使用某一共享资源时,任何时候最多只允许一个进程去使用该资源,其他要使用它的进程必须等待,直到该资源的占用者释放了该资源。

    P操作P(s):将信号量减去1,若结果小于0,则把调用P(s)的进程置成等待信号量S的状态。

    V操作V(s):将信号量S加1,若结果不大于0,则释放一个等待信号量S的进程。

    原语:两种操作是不可分割的整体,即:两种操作要么都执行,要么都不执行。和我们数据库中事务的原子性一个道理。

   P操作原语:

    Procedure P(Var s:Semaphore)

    begin:

       s:=s-1;

       if s<0 then

         wait

    end;

  V操作原语

    Procedure V(var:s Semaphore);

    begin

      s:=s+1;

      if s <=0 then

         Run(s);

      end;


  【经典案例】

  

     案例图:

       

     案例描述:

        此案例是描述的父亲和儿子关于吃苹果的问题,现在在父子之间只有一个盘子的空间,并且此盘子只能存放一个苹果,只有当盘子中没有苹果的时候父亲才能往盘子中放入苹果,否则父亲处于等待状态;只有盘子中有一个苹果的时候,儿子才能从盘子中拿苹果吃,否则也只能处于等待状态;本来这个一个互锁的事情,现在用P/V操作来解决这个问题。


     案例转化:

  设:S1=1,S2=0(即盘子中没有苹果,父亲可以放,儿子处于等待状态)

    父:
      P操作(查看自己是否有能力放苹果)
      S1=S1-1; S1=0;(减1是个假动作,只有当S1-1>=0时,才自动减1,并启动V操作)
      V操作(通知儿子盘子里有苹果,可以来拿)
      S2=S2+1; S2=1;


    子:
     P操作:(查看自己能不能拿苹果)
     S2=S2-1; S2=0;
     V操作:(通知父亲又可以来放苹果)
     S1=S1+1; S1=1;

   案例总结:

      P/V操作的本质其实就是解耦,对于吃苹果的问题本来是一个整体的过程,父亲和儿子都在关注盘子的状态,是一个互锁的状态,但是现在引入P/V操作,使信号量S分成两个信号量S1、S2,使父子都只关注自己的这一部分的信号量的变化,不必考虑对方,这样减少了复杂的联系,解耦合。当然当父亲P操作之后还是要通知儿子的。这就是P/V操作的妙处。


评论 23
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

g-Jack

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值