信号量

信号量机制

用户进程可以通过操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥、进程同步。

信号量其实就是一个变量(可以是一个整数，也可以是更复杂的记录型变量)，可以用一个信号量来表示系统中某种资源的数量。

原语是一种特殊的程序段，其执行只能一气呵成，不可被中断。原语是由关中断/开中断指令实现的。软件解决方案的主要问题是由"进入区的各种操作无法一气呵成"，因此如果能把进入区退入区的操作都用"原语"实现，使这些操作能"一气呵成"就能避免了并发、异步导致的问题。

一对原语：wait(S)和signal(S)原语，可以把原语理解为我们自己写的函数，函数名分别为wait和signal，括号里的信号量S其实就是函数调用时传入的一个参数。

wait、signal原语常简称为P、V操作(来自荷兰语proberen和verhogen)

整型信号量

用一个整数型的变量作为信号量，用来表示系统中某种资源的数量。

与普通整数变量的区别：对信号量的操作只有三种及初始化、P操作、V操作。

不满足让权等待原则，会发生忙等

记录型信号量

如果剩余资源数不够，使用block原语使进程从运行态进入阻塞态，并把挂到信号量S的等待队列(即阻塞队列)。

释放资源后，若还有别的进程在等待这种资源则使用wakeup原语唤醒等待队列中的一个进程，该进程从阻塞态变为就绪态。

信号量机制实现各种操作

进程互斥

1. 分析并发进程的关键活动划定临界区。
2. 设置互斥信号量mutex，初值为1。
3. 在临界区之前执行P(mutex)
4. 在临界区之后执行V(mutex)

对不同的临界资源需要设置不同的互斥信号量。
P、V操作必须成对出现。缺少P(mutex)就不能保证临界资源的互斥访问，缺少V(mutex)会导致资源永不被释放，等待进程永不被唤醒。

进程同步

要让各并发进程按进程按要求有序进行

1. 分析什么地方需要实现同步关系，即必须保证一前一后执行的两个操作。
2. 设置同步信号量S初始为0。
3. 在前操作之后执行V(S)。
4. 在后操作之前执行P(S)。

前驱关系

每一对前驱关系都是一个进程同步问题。

1. 需为每一对前期关系各设置一个同步变量。
2. 在"前操作"之后对相应的同步变量执行V操作
3. 在"后操作"之前对相应的同步变量执行P操作