1.信号量机制实现进程互斥
- 分析并发进程的关键活动,划定临界区
- 设置互斥信号量mutex,初值为1
- 在进入区P(mutex)申请资源
- 在退出区V(mutex)释放资源
注:
- 对不同的临界资源需要设置不同的互斥信号量
- 临界资源:一次仅允许一个进程使用的共享资源
- 临界区:每个进程中访问临界资源的那段代码称为临界区,每次只允许一个进程进入临界区,进入后,不允许其他进程进入
- P,V操作必须成对出现
semaphore mutex = 1;
P1(){
...
P(mutex);
临界区代码段...
V(mutex);
...
}
P2(){
...
P(mutex);
临界区代码段...
V(mutex);
...
}
2.信号量机制实现进程同步
同步机制应遵循的规则:
-
空闲让进
-
忙则等待
-
有限等待
-
让权等待:当进程不能进入自己的临界区,应释放CPU,以免进程处于忙等状态
-
分析在什么地方需要实现“同步关系”,即必须保证“一前一后”执行的两个操作
-
设置同步信号量,初始为0
-
在前操作之后执行V(S)
-
在后操作之前执行P(S)
P1(){
...
V(S);
...
}
P2(){
P(S);
...
}
3.信号量机制实现前驱关系
- 为每一对前驱关系各设置一个同步信号量
- 在前操作之后对相应的同步信号量执行V操作
- 在后操作之前对相应的同步信号量执行P操作