2.3.1 进程的同步与互斥

1 思维导图

2 进程同步

• 同步也称为直接制约关系。
• 在多道程序环境下，进程是并发执行的，不同进程之间存在着不同的相互制约关系。为了协调进程之间的相互制约关系,如等待、传递信息等，引入了进程同步的概念。进程同步是为了解决进程的异步问题。
• 一个简单的例子来理解这个概念。
• 例如，让系统计算1 + 2x3，假设系统产生两个进程: 一个是加法进程，一个是乘法进程。要让计算结果是正确的，一定要让加法进程发生在乘法进程之后,但实际上操作系统具有异步性,若不加以制约，加法进程发生在乘法进程之前是绝对有可能的，因此要制定一定的机制去约束加法进程，让它在乘法进程完成之后才发生。

异步性：进程具有异步性的特征。异步性是指，各并发执行的进程以各自独立的、不可预知的速度向前推进。

3 进程互斥

• 互斥，亦称间接制约关系。进程互斥指当一个进程访问某临界资源时，另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束，释放该资源之后，另一个进程才能去访问临界资源。
• 在这里需复习一下临界资源的概念。
• 我们把一个时间段内只允许一个进程使用的资源称为临界资源。许多物理设备(比如摄像头、打印机)都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。
• 对临界资源的访问，必须互斥地进行。

临界区是进程中访问临界资源的代码段；

进入区和退出区是负责实现互斥地代码段。

为了禁止两个进程同时进入临界区，需遵循以下准则

（1）空闲让进；

（2）忙则等待；

（3）有限等待；

（4）让权等待。

转载：2.3.1 进程的同步与互斥_BitHachi的博客-CSDN博客