zoukankan      html  css  js  c++  java
  • PV操作(深入显出)

    原文出处:http://blog.csdn.net/yi_zz/article/details/7492585

    之前写过操作系统的文章,然后最近发现少了点什么,仔细检查发现,没写PV操作,那么我们接下来就单独为PV操作写一篇博客,让大家不再惧怕PV操作, 我们深入浅出的分析,让大家轻松学习PV操作。

    学习PV操作之前,我们首先来了解两个很基础的概念:

    同步、互斥:

    同步:其实说同步还不如说”协作“,就是我们的目标只有一个,我们奔着同一个目标去的,都是在大家的努力下共同完成这么一件事情。还是比较容易理解的吧。不见得太难。

    互斥:借用别人的一句话“千军万马过独木桥”,很通俗的一句话,就把咱们这个概念表达的淋漓尽致,就好比有一个大部队来到独木桥这,但是必须排好队,一个一个来;其实现实生活中,还有一个很好的例子可以说明这个互斥的概念,比如打印机,打印机这个工具就非常好的体现了互斥的概念,打印机一旦被别人占用了,那么无论你有多着急,都只能等着,对吧。

    其实借用别人的话或者资料或者工具来让咱们的学习更加轻松,为咱们的学习加把油,何乐而不为呢?这就是我要说的“站在巨人的肩膀上”来看问题,许多问题就变得轻松起来;这是一种思想,旨在为咱们的学习加把油~这是题外话,但是更重要的是一种思想,很值得学习。

    我们接下来还继续看一下一张同步的图:

    这张图也特别的形象具体,我们具体来看看这张图,A仓库有货物,然后我们需要把货物搬运到B仓库,由搬运工甲和搬运工乙来完成这个过程;那么他们的目标就只有一个,就是把货物从A搬到B去,共同奔着这个方向去发展,所以我们说这是一个同步的问题。

    临界资源:就是咱们刚刚说的互斥,诸进程间需要互斥方式对其进行共享资源,如打印机、光驱等。

    临界区:就是进程访问临界资源的那段代码。

    讲了那么久,我们才引入了PV操作,看来这个PV操作还是挺有意思的。

    PV操作:解决互斥和同步的问题。PV操作是分开来看的:

    P操作:使S=S-1,若S>=0,则该进程继续执行,否则该进程排入等待队列。

    V操作:使S=S+1,若S>0,唤醒等待队列中的一个进程。

    这样理解不太好理解,咱们还是来看例子吧:

    接下来,我们来看一个与咱们生活很贴切的问题:生产者——消费者问题:

    我们还是一样,通过图片来分析问题:

    这是一个著名的同步问题,虽然生产者进程和消费者进程都是异步方式运行的,但它们之间必须保持同步,即不允许消费者进程到一个空缓冲区去取产品,也不允许生产者进程向一个已装满产品且尚未被取走的缓冲区中投放产品。这是一个单缓冲区情况。那么这个单缓冲区的PV操作,应该是怎样的呢?我们来看看:

    我们分析分析,很容易的发现这个流程,前提是S1初值为1,S2初值为0。我们需要记住P操作减1,V操作加1,然后这个分析就变得易如反掌了,我们先对初值进行一下说明:

    a、我们把S1的初值设为1:是说明缓冲区还有一个空间可以使用,对于生产者而言,每一个缓冲区的一个空间就是一个资源,也就是说,一开始运行的时候,就允许生产者投放一个产品到缓冲区,

    b、然后投放到缓冲区之后,我们来看消费者进程,P(S2):首先我们要进程一个判断,判断缓冲区中是否有产品,对消费者而言,缓冲区中有产品,就代表有一个资源可以使用,但是最初状态那个缓冲区中是没有资源的,所以S2的初值应该是为0的。

    我们刚才都提到了资源的问题,就是信号量的一个值应该是表示资源的数量,但是就消费者和生产者而言,对于他们的资源是不同的,概念是不同的,生产者:缓冲区有多少个空格,就有多少个资源;而对消费者来说,缓冲区有多少个满的格,就有多少个资源,是刚好是相反,所以说,就是这么相反,所以当消费者从缓冲区取出一个产品之后,对于生产者而已,就多了一个资源。

    其实这个过程就是这样的。

    1、生产者:P(S1),那么P(S1),S1=S1-1,得到P(S1=0)这个进程还能进行,那么生产者把一个产品投放到缓冲区。

    2、V(S2),S2=S2+1,S2初值为0,所以S2=S2+1>0,那么就激活了P(S2),那么消费者就能取出一个产品。

    4、消费产品:消费产品之后,还有一个V(S1),就激活了P(S1),让生产者继续投放产品到缓冲区。

    特别简单吧,这是单缓冲区分析。


    我们接下来看一个相对来说,有点复杂一点点的,多缓冲区的,其实也一样一样的,继续:

    我们还是分析一样的问题,生产者、消费者问题:

    对应的PV操作应该是这样的:

    有一点区别,就是要引用互斥的概念,因为缓冲区是一个临界资源,它始终只能有一个进程对其进行操作,所以我们就可以用一个互斥信号量来完成这一点,所以当某一个进程要使用到缓冲区之前,我们就进行以下判断,判断这个缓冲区现在是不是空闲呢?是不是有生产者或者消费者的进程在使用这个这个缓冲区呢?如果有,mute的初值为1,当有人使用这个缓冲区的时候,这个mute的值就由1变为0,这时,第二个进程向再来操作这个缓冲区,就不可能了,就会被阻塞,当第一个进程使用完缓冲区

    公交车司机与售票员的问题:

    我们来分析这个过程,我们把S1和S2的初值都设为0。我们来分析分析:

    1、P(S1):S1=S1-1=-1,那么司机进程就被暂停,等会售票员进程,售票员关车门。

    2、V(S1):S1=S1+1=0,激活了司机进程,那么司机就开始启动车辆、正常行驶、到站停车,当然售票员也有可能同时在售票。

    3、P(S2):S2=S2-1,售票员在售票之后的进程就被暂停,等待司机进程。这样就避免了售票员售票之后就开车门了。因为这是不允许的。

    4、V(S2):S2=S2+1,司机到站停车之后,就激活了售票员P(S2)的进程,那么售票员就进程 开车门、上下客的操作。

    那么这个进程就完成了。

    其实这些例子都是我们生活中实实在在的例子,所以这样讲起来大家就比较容易接受。学习本来就是一个很轻松的事情。

  • 相关阅读:
    spring和mybatis的结合
    SpringMVC
    springdata
    springboot的总结
    SpringAop代理模式笔记
    springcloud
    完全二叉树和满二叉树
    C# 读取EXCEL文件的三种经典方法
    C#加密app.config中连接字符串的代码
    c#winform 程序 App.config文件加密(SDK命令)
  • 原文地址:https://www.cnblogs.com/zhangxiaosong/p/3313857.html
Copyright © 2011-2022 走看看