2.3操作系统（进程同步进程互斥软件实现硬件实现）

╰半夏微凉° 2023-10-01 21:37 14阅读 0赞

**目录**

1.进程同步

2.进程互斥

3.进程互斥的软件实现方法

1.单标志法

2.双标志先检查法

3.双标志后检查法

4.Peterson 算法

4.进程互斥的硬件实现方法

1.中断屏蔽方法

2.TestAndSet指令

3.Swap指令

--------------------

> ![6c077b7a8d9e4ee8a2176b4d2f267b7e.png][] 个人主页：[个人主页][Link 1]  
> ![78ebf3e975d74a4ab1d20c57ee7b2791.png][] 系列专栏：[操作系统][Link 2]

##  ##

## 1.进程同步 ##

并发行带来了异步性，有时需要通过进程同步解决这种异步问题。

有的进程之间需要相互配合的完成工作，各进程的工作推进需要遵循一定的先后顺序。

## 2.进程互斥 ##

进程的“并发”需要“共享”的支持。各个并发执行的进程不可避免的需要共享一些系统资源（比如内存，又比如打印机、摄像头这样的I/O设备）

![在这里插入图片描述][9ab28373ae884451914c0cc7f1530015.png_pic_center]

我们把**一个时间段内只允许一个进程使用**的资源称为**临界资源**。许多物理设备（比如摄像头、打印机）都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。

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

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

![在这里插入图片描述][a8f0a71b2e2447d7b8bb64380d31ac36.png_pic_Center]

注意：  
①、**临界区**是进程中**访问临界资源**的代码段。  
②、**进入区**和**退出区**是**负责实现互斥**的代码段。  
③、临界区也可称为“临界段”。

为了实现对临界资源的互斥访问，同时保证系统整体性能，需要遵循以下原则：  
①、**空闲让进**。临界区空闲时，可以允许一个请求进入临界区的进程立即进入临界区；  
②、**忙则等待**。当已有进程进入临界区时，其他试图进入临界区的进程必须等待；  
③、**有限等待**。对请求访问的进程，应保证能在有限时间内进入临界区（保证不会饥饿）；  
④、**让权等待**。当进程不能进入临界区时，应立即释放处理机，防止进程忙等待。

## **3.进程互斥的软件实现方法** ##

### 1.单标志法 ###

**算法思想：两个进程在访问完临界区后会把使用临界区的权限转交给另一个进程。也就是说每个进程进入临界区的权限只能被另一个进程赋予**

![在这里插入图片描述][04966638210c418fbbf4bf62439c41f7.png_pic_center]

*  turn 的初值为 0，即刚开始只允许 0 号进程进入临界区。
 *  若 P1 先上处理机运行，则会一直卡在 ⑤。直到 P1 的时间片用完，发生调度，切换 P0 上处理机运行。
 *  代码 ① 不会卡住 P0，P0 可以正常访问临界区，在 P0 访问临界区期间即时切换回 P1，P1依然会卡在⑤。
 *  只有 P0 在退出区将 turn 改为 1 后，P1才能进入临界区。
 *  因此，该算法可**以实现“同一时刻最多只允许一个进程访问临界区”**.
 *  只能按 P0 → P1 → P0 → P1 →……这样轮流访问。这种必须“轮流访问”带来的问题是，**如果此时允许进入临界区的进程是 P0，而 P0 一直不访问临界区，那么虽然此时临界区空闲，但是并不允许 P1 访问**。因此， **单标志法存在的主要问题是：违背“空闲让进”原则。**

### **2.双标志先检查法** ###

**算法思想：设置一个布尔型数组 flag\[\]，数组中各个元素用来标记各进程想进入临界区的意愿，比如“flag\[0\] = ture”意味着 0 号进程P0 现在想要进入临界区。每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区，如果没有，则把自身对应的标志 flag\[i\] 设为 true，之后开始访问临界区。**

![在这里插入图片描述][22063bb1bce742d1b4e3bf15f5abf861.png_pic_center]

*  **若按照 ①⑤②⑥③⑦….的顺序执行，P0 和 P1 将会同时访问临界区。**
 *  因此，**双标志先检查法的主要问题是：违反“忙则等待”原则。**
 *  原因在于，**进入区**的“检查”和“上锁” **两个处理不是一气呵成的**。“检查”后，“上锁”前可能发生进程切换。

### 3.双标志后检查法 ###

**算法思想：双标志先检查法的改版。前一个算法的问题是先“检查”后“上锁”，但是这两个操作又无法一气呵成，因此导致了两个进程同时进入临界区的问题。因此，人们又想到先“上锁”后“检查”的方法，来避免上述问题。**

![在这里插入图片描述][6c6393120a3548278a02a1d5a2f1caec.png_pic_center]

*  **若按照 ①⑤②⑥….的顺序执行，P0 和 P1 将都无法进入临界区**
 *  因此，双标志后检查法虽然**解决了“忙则等待”**的问题，但是**又违背了“空闲让进”和“有限等待”原则**，会因各进程都长期无法访问临界资源而产生“饥饿”现象。
 *  **两个进程都争着想进入临界区，但是谁也不让谁，最后谁都无法进入临界区**

### 4.Peterson 算法 ###

**算法思想：结合双标志法、单标志法的思想。如果双方都争着想进入临界区，那可以让进程尝试“孔融让梨”（谦让）。做一个有礼貌的进程。**

![在这里插入图片描述][c7eee105c36e4a9c9216b03e9c90af2c.png_pic_center]

![在这里插入图片描述][720179f126ce41b18c3834aed15eefda.png_pic_center]

*  **Peterson 算法用软件方法解决了进程互斥问题，遵循了空闲让进、忙则等待、有限等待 三个原则，但是依然未遵循让权等待的原则。**

## 4.进程互斥的硬件实现方法 ##

### 1.中断屏蔽方法 ###

利用“开/关中断指令”实现（与原语的实现思想相同，即在某进程开始访问临界区到结束访问为止都不允许被中断，也就不能发生进程切换，因此也不可能发生两个同时访问临界区的情况）

![在这里插入图片描述][0e5492fb03554399be6173b4cff98dfa.png_pic_center]

**优点：简单、高效**

**缺点：不适用于多处理机；只适用于操作系统内核进程，不适用于用户进程（因为开/关中断指令只能运行在内核态，这组指令如果能让用户随意使用会很危险）**

### 2.TestAndSet指令 ###

简称 TS 指令，也有地方称为 TestAndSetLock 指令，或 TSL 指令。

TSL 指令**是用硬件实现的，执行的过程不允许被中断，只能一气呵成**。以下是用C语言描述的逻辑。

![在这里插入图片描述][38d22acde2df4c719d1e46fbb452f0a5.png_pic_center]

若刚开始 lock 是 false，则 TSL 返回的 old 值为 false，while 循环条件不满足，直接跳过循环，进入临界区。若刚开始 lock 是 true，则执行 TLS 后 old 返回的值为 true，while 循环条件满足，会一直循环，直到当前访问临界区的进程在退出区进行“解锁”。相比软件实现方法，TSL 指令把“上锁”和“检查”操作用硬件的方式变成了一气呵成的原子操作。

**优点：实现简单，无需像软件实现方法那样严格检查是否会有逻辑漏洞；适用于多处理机环境**

**缺点：不满足“让权等待”原则，暂时无法进入临界区的进程会占用CPU并循环执行TSL指令，从而导致“忙等”。**

### 3.Swap指令 ###

有的地方也叫 Exchange 指令，或简称 XCHG 指令。

Swap 指令是**用硬件实现的，执行的过程不允许被中断，只能一气呵成**。以下是用C语言描述的逻辑

![在这里插入图片描述][9f9f800dd0214c158a698f875a5a873b.png_pic_center]

逻辑上来看 Swap 和 TSL 并无太大区别，都是先记录下此时临界区是否已经被上锁（记录在 old 变量上），再将上锁标记 lock 设置为 true，最后检查 old，如果 old 为 false 则说明之前没有别的进程对临界区上锁，则可跳出循环，进入临界区。

**优点：实现简单，无需像软件实现方法那样严格检查是否会有逻辑漏洞；适用于多处理机环境**

**缺点：不满足“让权等待”原则，暂时无法进入临界区的进程会占用CPU并循环执行TSL指令，从而导致“忙等”。**

[6c077b7a8d9e4ee8a2176b4d2f267b7e.png]: https://img-blog.csdnimg.cn/6c077b7a8d9e4ee8a2176b4d2f267b7e.png
[Link 1]: https://blog.csdn.net/Javascript_tsj?type=blog
[78ebf3e975d74a4ab1d20c57ee7b2791.png]: https://img-blog.csdnimg.cn/78ebf3e975d74a4ab1d20c57ee7b2791.png
[Link 2]: https://blog.csdn.net/javascript_tsj/category_11676356.html?spm=1001.2014.3001.5482
[9ab28373ae884451914c0cc7f1530015.png_pic_center]: https://img-blog.csdnimg.cn/9ab28373ae884451914c0cc7f1530015.png#pic_center
[a8f0a71b2e2447d7b8bb64380d31ac36.png_pic_Center]: https://img-blog.csdnimg.cn/a8f0a71b2e2447d7b8bb64380d31ac36.png#pic_Center
[04966638210c418fbbf4bf62439c41f7.png_pic_center]: https://img-blog.csdnimg.cn/04966638210c418fbbf4bf62439c41f7.png#pic_center
[22063bb1bce742d1b4e3bf15f5abf861.png_pic_center]: https://img-blog.csdnimg.cn/22063bb1bce742d1b4e3bf15f5abf861.png#pic_center
[6c6393120a3548278a02a1d5a2f1caec.png_pic_center]: https://img-blog.csdnimg.cn/6c6393120a3548278a02a1d5a2f1caec.png#pic_center
[c7eee105c36e4a9c9216b03e9c90af2c.png_pic_center]: https://img-blog.csdnimg.cn/c7eee105c36e4a9c9216b03e9c90af2c.png#pic_center
[720179f126ce41b18c3834aed15eefda.png_pic_center]: https://img-blog.csdnimg.cn/720179f126ce41b18c3834aed15eefda.png#pic_center
[0e5492fb03554399be6173b4cff98dfa.png_pic_center]: https://img-blog.csdnimg.cn/0e5492fb03554399be6173b4cff98dfa.png#pic_center
[38d22acde2df4c719d1e46fbb452f0a5.png_pic_center]: https://img-blog.csdnimg.cn/38d22acde2df4c719d1e46fbb452f0a5.png#pic_center
[9f9f800dd0214c158a698f875a5a873b.png_pic_center]: https://img-blog.csdnimg.cn/9f9f800dd0214c158a698f875a5a873b.png#pic_center