操作系统-chapter 2.3 同步与互斥（王道）

北航考研

2023年11月16日一稿

2024年  3月28日二稿

2024年  7月24日三稿

2024年  9月12日四稿（强化）

2.3.1 同步与互斥的基本概念

1. 临界资源

分类

1. 硬件资源：许多物理设备都属于临界资源，如打印机、磁带机、输入机等。这些设备在某一时刻只能被一个进程所控制和使用。
2. 软件资源：除了硬件资源外，一些软件资源也是临界资源，如消息缓冲队列、变量、数组、缓冲区等。这些资源在程序执行过程中，需要保证数据的一致性和完整性，因此也需要采取互斥的方式进行访问。

程序中访问临界资源的那一部分代码称为临界区。进程的运行是异步并发的，为了避免与推进顺序有关的错误，进程必须互斥访问临界区，来获得临界资源的使用权。

2. 同步

3. 互斥

实现临界区必须遵循的原则

2.3.2 实现临界区互斥的基本方法

        为了确保多个进程有序执行，有必要在多道程序系统中引入 进程同步机制。

        软/硬件同步机制、信号量机制、管程机制等，这些机制用于   保证（ensure）程序执行结果的可再现性。

1. 软件实现方法

【一辆马自达miata和迈巴赫s680在操作系统互斥问题的临界区相撞了】 https://www.bilibili.com/video/BV1tV4y1u7e6/?share_source=copy_web&vd_source=0caeacd6c3217ba41c56ea47a129e168

算法一：单标志法

 

算法二：双标志先检查法