进程同步与进程互斥

‍

​​

‍

一、进程同步

——回顾：进程的异步性，指各并发执行的进程以各自独立的、不可预知的速度向前推进。

同步，亦称直接制约关系，它是指为完成某种任务而建立的两个或多个进程，这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。

举例理解：

​​

‍

二、进程互斥

（一）概念及意义

互斥，亦称间接制约关系。对临界资源的访问，必须互斥地进行。进程互斥指当一个进程访问某临界资源时，另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束，释放该资源之后，另一个进程才能去访问临界资源。

‍

（二）对临界资源互斥访问的逻辑划分

对临界资源的互斥访问，逻辑上分为如下四个部分：

​​

• 临界区（也可称为“临界段”）：进程中访问临界资源的代码段
• 进入区和退出区：负责实现互斥的代码段

‍

（三）对临界资源互斥访问的遵循原则

1. 空闲让进： 临界区空闲时，可以允许一个请求进入临界区的进程立即进入临界区；
2. 忙则等待： 当已有进程进入临界区时，其他试图进入临界区的进程必须等待；
3. 有限等待： 对请求访问的进程，应保证能在有限时间内进入临界区（保证不会饥饿）；
4. 让权等待： 当进程不能进入临界区时，应立即释放处理机，防止进忙等待。

‍