操作系统 第二章进程控制与描述知识点总结（3）

信号量机制
1965年，Dijkstra提出信号量（Semaphores）机制，它成为一种有效的进程同步工具，信号量代表可用资源实体的数量
经过发展形成如下几种：
整型信号量
记录型信号量
AND信号量
信号量集
信号量机制已广泛应用于单处理机、多处理机以及计算机网络中，信号量是OS提供的管理公有资源的有效手段
信号量机制——整型信号量
P、V分别是荷兰语的test(proberen)和increment(verhogen)
整型信号量
是一个用于表示资源数目的整型量S，它与一般整型量不同，除初始化外，仅能通过两个标准的原子操作wait(S)和signal(S)来访问，被称为P、V操作。
wait(S) {
while(S≤0); //do no-op
S–;
}
signal(S) {
S++;}
wait(S)和signal(S)都是原子操作，在wait操作中，对S的测试和做S–操作时都不可中断，信号量只能通过原语操作来访问，不能被进程调度所打断
整型信号量示例
int s=1;
void printer() {
while (1)
{
wait(s);
print the document on the paper;
signal(s);
}
}
缺点：信号量S ≤0时“忙等”，未遵循“让权等待”
让权等待：不能进入临界区的进程应该立即释放CPU，以免忙等
信号量机制——记录型信号量
采取了“让权等待”的策略，不存在