【王道考研】信号量机制实现进程互斥、同步、前驱关系

2.3.5 信号量机制实现进程互斥、同步、前驱关系

知识来源： B站王道考研

实现进程互斥

1. 分析并发进程的关键活动，划定临界区（如：对临界资源打印机的访问就应放在临界区）
2. 设置互斥信号量mutex，初始值为1
3. 在临界区之前执行P(mutex)
4. 在临界区之后执行V(mutex)

/*信号量机制实现互斥*/
semaphore mutex = 1; // 初始化信号量

P1(){
	....
	P(mutex); // 使用临界资源前需要加锁
	临界区代码段...
	V(mutex); // 使用临界资源后需要解锁
	....
}

P2(){
	....
	P(mutex);
	临界区代码段...
	V(mutex);
}

注意：对不同的临界资源需要设置不同的互斥信号量。
P、V操作必须成对出现。缺少P(mutex)就不能保证临界资源的互斥访问。缺少V(mutex)会导致资源永不释放，等待进程永不被唤醒。

实现进程同步

用信号量实现进程同步：

1. 分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码）
2. 设置同步信号量S，初始为0
3. 在“前操作”之后执行V(S)
4. 在“后操作”之前执行P(S)

保证代码4一定在代码2之后执行：

/*信号量机制实现同步*/
semaphore S = 0; // 初始化同步信号另，初始值为0
P1(){
	代码1;
	代码2;
	V(S);
	代码3;
}

P2(){
	P(S);
	代码4;
	代码5;
	代码6;
}

实现前驱关系

1. 要为每一对前驱关系各设置一个同步变量
2. 在“前操作”之后对相应的同步变量执行V操作
3. 在“后操作”之前对相应的同步变量执行P操作