锁机制的lock其实也是一个整型,取值为0或者1,可以设置一个二进制的信号量,就可以用来模拟这个lock,
信号量的初值还可以是大于0的,称之为通用的计数信号量, 把初值设置大于0,就可以允许多个执行P操作的进程,进入后续的操作,这就体现在前面所说的lock进入临界区只有一个进程去执行,但是如果是信号量的话,可以有多个进程进入临界区,这是他们一个很大的区别。
所以信号量 用在互斥的情况外,还可以用在一些更复杂的情况,可以用在条件同步的情况下,
信号量是个整型,对它操作有两个 一个P 一个V,P操作可能阻塞线程,V操作可能唤起之前P操作阻塞的进程。
上图,线程A等待线程B执行某一条语句之后才能执行操作。这其实是一个同步操作。可以用信号量来完成。
下面是更复杂的情况
更复杂的一些同步互斥的情况,简单的用信号量,可能无法有效的去解决它们,这时候就需要用到条件同步这种机制来完成,当然这里面也是用信号量来实现的。这种是计数信号量来完成这个功能的。
首先对buffer操作需要保证互斥,如下,
生产消费,如下
P、V操作的顺序有影响吗?
如果生产者p操作互换下顺序,其它不变,当buffer满的时候,可能产生死锁。