PV原语

beyes

PV原语通过操作信号量来处理进程间的同步与互斥的问题。

P原语：为阻塞原语，负责把当前进程由运行状态转换为阻塞状态，直到另外一个进程唤醒它。操作为：申请一个空闲资源（把信号量减1），若成功，则退出；若失败，则该进程被阻塞；

V原语：为唤醒原语，负责把一个被阻塞的进程唤醒，它有一个参数表，存放着等待被唤醒的进程信息。操作为：释放一个被占用的资源（把信号量加1），如果发现有被阻塞的进程，则选择一个唤醒之。

具体PV原语对信号量的操作可以分为三种情况：

1）把信号量视为一个加锁标志位，实现对一个共享变量的互斥访问。
实现过程：
P(mutex);           // mutex的初始值为1
访问该共享数据;
V(mutex);
非临界区

2）把信号量视为是某种类型的共享资源的剩余个数，实现对一类共享资源的访问。
实现过程：
P(resource);          // resource的初始值为该资源的个数N
使用该资源；
V(resource);
非临界区

3）把信号量作为进程间的同步工具
实现过程：
临界区C1；    P(S);
V(S);           临界区C2；