2.信号量的基本应用
实现进程互斥
实现进程间的前趋关系(有序)
3.整型信号量
把整型信号量定义为一个表示资源数目的整型量S,除初始化外,仅能通过两个标准的原子操作wait(S)和signal(S)来访问。
wait(S)和signal(S)操作可以描述为:
wait(S): while S <= 0 do no-op;
S:=S-1;
signal(S): S:=S+1;123
wait(S)和signal(S)是两个原子操作,它们在执行时是不可中断的。当一个进程在修改某信号量时,没有其他进程能同时对该信号量进行修改。
在整型信号量机制中的wait操作中,只要是信号量S<=0,就会不断地测试。因此该机制没有遵循“让权等待”准则,而是使进程处于“忙等”的状态。
4.记录型信号量
记录型信号量机制采取了“让权等待”策略,是一种不存在“忙等”现象的进程同步机制。它所包含的数据项描述为:
typedef struct{
int value;
struct process_control_block *list;
}semaphore;
wait(S)和signal(S)操作可描述如下:
**
wait(semaphore *S){
S->values--;
if(S->value<0)block(S->list);
}
signal(semaphore *S){
S->value++;
if(S->value<=0) wakeup(S->list);
}
**