操作系统P/V操作（V操作中的典型理解偏差）

信号量是操作系统提供的⼀种协调共享资源访问的⽅法。
通常信号量表示资源的数量，对应的变量是⼀个整型（ sem ）变量。
另外，还有两个原⼦操作的系统调⽤函数来控制信号量的，分别是：
P 操作：将 sem 减 1 ，相减后，如果 sem < 0 ，则进程/线程进⼊阻塞等待，否则继续，表明 P操作可能会阻塞；
V 操作：将 sem 加 1 ，相加后，如果 sem <= 0 ，唤醒⼀个等待中的进程/线程，表明 V 操作不会阻塞；
P 操作是⽤在进⼊临界区之前，V 操作是⽤在离开临界区之后，这两个操作是必须成对出现的。

V原语的主要操作是

​ （1）sem加1；
​ （2）若相加结果大于零，则进程继续执行；
​ （3）若相加结果小于或等于零，则唤醒一阻塞在该信号量上的进程，然后再返回原进程继续执行或转进程调度。

典型理解偏差

1. 以V原语的1、2步来做，Sem不就永远大于0，那进程不就一直循环执行成为死循环了？
2. Sem大于0那就表示有临界资源可供使用，为什么不唤醒进程？
3. Sem小于0应该是说没有临界资源可供使用，为什么还要唤醒进程？

解析

1. P操作对sem减1的。P、V原语必须成对使用！从而不会造成死循环。
2. Sem大于0的确表示有临界资源可供使用，而且这个时候没有进程被阻塞在这个资源上，也就是说没有进程因为得不到这类资源而阻塞，所以没有被阻塞的进程，自然不需要唤醒。
3. V原语操作的本质在于：一个进程使用完临界资源后，释放临界资源，使Sem加1，以通知其它的进程，这个时候如果Sem<0，表明有进程阻塞在该类资源上，因此要从阻塞队列里唤醒一个进程来“转手”该类资源。 比如，有2个某类资源，三个进程A、B、C、D要用该类资源，最开始Sem=2，当A进入，Sem=1，当B进入Sem=0,表明该类资源刚好用完， 当C进入时Sem=-1,表明有一个进程被阻塞了，D进入，Sem=-2。当A用完该类资源时，进行V操作，Sem=-1，释放该类资源，而这时Sem<0,表明有进程阻塞在该类资源上，于是唤醒一个。