2.13 信号量机制
可以用来解决进程互斥和进程同步的问题
用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作,从而很方便的实现了进程互斥、进程同步。
信号量其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量) ,可以用一个信号量来表示系统中某种资源的数量,比如:系统中只有一台打印机,就可以设置一个初值为 1 的信号量
一对原语:wait(S) 原语和 signal(S) 原语,可以把原语理解为我们自己写的函数,函数名分别为 wait 和 signal,括号里的信号量S 其实就是函数调用时传入的一个参数。
wait、signal 原语常简称为P、V操作(来自荷兰语 proberen 和 verhogen)。因此,做题的时候常把 wait(S)、signal(S) 两个操作分别写为 P(S)、V(S)
整形信号量
用一个整数型的变量作为信号量,用来表示系统中某种资源的数量(与普通整数变量的区别: 对信号量的操作只有三种, 即 初始化、P操作、V操作)
记录型信号量
用记录型的数据结构表示信号量
2.14 信号量机制实现进程的同步互斥和前驱关系、
一个信号量对应一种资源
信号量的值 = 这种资源的剩余数量(信号量的值如果小于0,说明此时有进程在等待这种资源)
P( S ) —— 申请一个资源S,如果资源不够就阻塞等待
V( S ) —— 释放一个资源S,如果有进程在等待该资源,则唤醒一个进程
实现进程互斥
- 分析并发进程的关键活动,划定临界区(如:对临界资源打印机的访问就应放在临界区)
- 设置互斥信号量 mutex,初值为 1 (对临界资源上锁,初值为满)
- 在进入区 P(mutex)——申请资源
- 在退出区 V(mutex)——释放资源
(当一个任务想对临界区访问时,为了防止别的任务也对该临界区操作,它需要对该临界区上锁)
注意:对不同的临界资源需要设置不同的互斥信号量,P、V操作必须成对出现
实现进程同步
- 分析什么地方需要实现“同步关系”,即必须保证“一前一后”执行的两个操作(或两句代码)
- 设置同步信号量 S, 初始为 0 (防止被抢占,初值为空)
- 在“前操作”之后执行 V(S)
- 在“后操作”之前执行 P(S) (前V后P)
实现进程的前驱关系
eg:
- 分析问题,画出前驱图,把每一对前驱关系都看成一个同步问题
- 要为每一对前驱关系各设置一个同步信号量
- 在“前操作”之后对相应的同步信号量执行 V 操作
- 在“后操作”之前对相应的同步信号量执行 P 操作