用户进程可通过操作系统提供的一对原语(P操作和V操作)来对信号量进行操作,从而实现进程互斥、同步。
1、整型信号量
用一个整数型的变量,用来表示系统中某种资源的数量,只能对其进行三种操作:初始化、P操作、V操作。
存在问题:不满足让权等待,导致忙等。
2、记录型信号量
P操作中,先S.value–,再判断S.value是否小于0。若小于0则说明没有相应资源,执行block原语阻塞;若不小于0,则说明该资源足够,顺利进入临界区。
V操作中,先S.value++,再判断S.value是否小于等于0。若小于等于0则说明等待队列中有进程等待该资源,则使用wakeup唤醒该进程。
//记录型信号量的结构体
typedef struct{
int value; //剩余资源数
struct process *L; //等待使用资源的进程队列
}semaphore;
可实现进程的互斥、同步。