【操作系统】进程互斥的信号量机制

一、前言

在处理进程互斥的方法都无法解决：“让权等待问题”，（单标志法、双标志先检查法、双标志后检查法、peterson算法都不能检查和上锁一气呵成）。

1965年，荷兰学者Dijkstra提出了一种卓有成效的实现进程互斥、同步的方法一一信号量机制。

信号量机制：

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互
斥、进程同步
信号量其实就是一个变量（可以是一个整数，也可以是更复杂的记录型变量），可以用一个信号量
来表示系统中某种资源的数量，比如：系统中只有一台打印机，就可以设置一个初值为1的信号量。
原语是一种特殊的程序段，其执行只能一气呵成，不可被中断。
一对原语：wait(S) 原语和signal(S) 原语，可以把原语理解为我们自己写的函数，函数名分别为 wait和signal，括号里的信号量S其实就是函数调用时传入的一个参数。
wait、signal 原语常简称为 P、v操作（来自荷兰语 proberen 和 verhogen）。因此，做题的时候常把wait(S)、signall(S)两个操作分别写为 P(S)、V(S)。