操作系统——2.2-2用信号量机制实现进程互斥,进程同步,前驱关系

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操作

操作系统——2.2-2用信号量机制实现进程互斥,进程同步,前驱关系

上一篇:Linux-文件系统管理


下一篇:flask cache