操作系统-预习笔记-Chap02-0210

2.4.3 信号量机制

2）记录型信号量
上述的整型信号量机制中的wait操作，可知S<=0,就会不断测试。所以，该机制没有遵循“让权等待”准则，而是使进程处于“忙等”状态。记录型信号量机制则是一种不存在“忙等”现象的进程同步机制。
但在采取了“让权等待”的策略后，又会出现多个进程等待访问同一个临界资源的情况。为此，在信号量机制中，除了需要一个用于代表资源数目的整型变量value外，还应该增加一个进程链表指针L，用于链接上述的所有等待进程。记录型信号量是由于它采用了记录型的数据结构而得名的。

//记录型数据结构：
typedef struct{
   
	int value;
	struct process_control_block * list;
}semaphore;

在正确使用时，信号量>0 ,表示可用资源 的数量；信号量<0 ,代表由于申请信号量代表的资源而阻塞的进程数量
wait() 和 signal() 操作表示为：

wait(semaphore * S){
   
	S -> value --;
	if(S -> value < 0)
		block(S -> list);
}
------