信号量及PV操作实例详解

2019独角兽企业重金招聘Python工程师标准>>>

1.引言

在操作系统中，进程之间经常会存在互斥(都需要共享独占性资源时)和同步（完成异步的两个进程的协作）两种关系。为了有效的处理这两种情况，提出了信号量和PV操作。

（1）信号量：是一种特殊的变量，表现形式是一个整形S和一个队列。

（2）P操作：S=S-1,若S<0，进程暂停执行，进入等待队列。

（3）V操作：S=S+1,若S<=0,唤醒等待队列中的一个进程。

2.概念

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

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

3.详解

为了更好的说明同步，我们接下来还继续看一下一张同步的图：

这张图也特别的形象具体，我们具体来看看这张图，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）的进程，那么售票员就进程 开车门、上下客的操作。

那么这个进程就完成了。

 

转载于:https://my.oschina.net/jimilee/blog/852007