操作系统——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操作