信号量S的物理含义
S>0:表示有S个资源可用;S=0表示无资源可用;S<0绝对值表示等待队列或链表中的进程个数。信号量的初值应大于等于0。
PV原语小结
通过操作信号量来处理进程间的同步与互斥的问题。其核心就是一段不可分割不可中断的程序。
信号量是由操作系统来维护的,用户进程只能通过初始化和两个标准原语(P、V原语)来访问,它们在执行时是不可中断的。初始化可指定一个非负整数,即空闲资源总数。
P原语:P是荷兰语Proberen(测试)的首字母。为阻塞原语,负责把当前进程由运行状态转换为阻塞状态,直到另外一个进程唤醒它。操作为:申请一个空闲资源(把信号量减1),则若成功,则退出;若失败,则该进程被阻塞;
V原语:V是荷兰语Verhogen(增加)的首字母。为唤醒原语,负责把一个被阻塞的进程唤醒,它有一个参数表,存放着等待被唤醒的进程信息。操作为:释放一个被占用的资源(把信号量加1),如果发现有被阻塞的进程,则选择一个唤醒之。
P(S):表示申请一个资源,S减 1;若 减1 后仍S>=0,则该进程继续执行;若 减1 后 S<0,表示已无资源可用,需要将自己阻塞起来。
V(S):表示释放一个资源,S加 1;若 加1 后S>0,则该进程继续执行;若 加1 后 S<=0,表示等待队列上有等待进程,需要将第一个等待的进程唤醒。
PV原语对信号量的操作可以分为三种情况:
.
1. 把信号量视为一个加锁标志位,实现对一个共享变量的互斥访问。
实现过程:
P(mutex); // mutex的初始值为1
访问该共享数据
V(mutex);
非临界区
互斥信号量是根据临界资源的类型设置的。有几种类型的临界资源就设置几个互斥信号量。它代表该类临界资源的数量,或表示是否可用,其初值一般为“1”。
.
2. 把信号量视为是某种类型的共享资源的剩余个数,实现对一类共享资源的访问。
实现过程:
P(resource); // resource的初始值为该资源的个数N
使用该资源;
V(resource);
非临界区
.
3. 把信号量作为进程间的同步工具
实现过程:
<