1. 信号量机制
用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作。
信号量其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量),可以用一个信号量来表示系统中某种资源的数量。
一对原语:wait(S)和signal(S),简称为P、V操作。
-
整型信号量
-
记录型信号量
整型信号量的缺陷是存在“忙等”问题,记录型信号量用记录型数据结构表示的信号量
2. 信号量机制实现进程互斥
-
分析并发进程的关键活动,划定临界区
-
设置互斥信号量mutex,初值为1
-
在进入区P(mutex) 申请资源
-
在退出区V(mutex) 释放资源
semaphore mutex=1; P1(){ ... P(mutex); //使用临界资源前需要加锁 临界区代码段... V(mutex); //使用临界资源后需要解锁 ... } P2(){ ... P(mutex); 临界区代码段... V(mutex); ... }
3. 信号量机制实现进程同步
进程同步:要让各并发进程按要求有序地推进
- 分析在什么地方需要实现“同步关系”,即必须保证“一前一后”执行的两个操作
- 设置同步信号量S,初始为0
- 在“前操作”之后执行V(S)
- 在“后操作”之前执行P(S)