进程互斥的软件实现方法

女爷i 2023-10-05 13:43 4阅读 0赞

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

*  单标志法
 *  双标志先检查法
 *  双标志后检查法
 *  Peterson算法
 *  总结

## 单标志法 ##

**算法思想:** 两个进程在访冋完临界区后会把使用临界区的权限转交给另一个进程。也就是说每个进程进入临界区的权限**只能**被另一个进程赋予  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center]

> turn的初值为0,即刚开始只允许0号进程进入临界区。  
> 若P1先上处理机运行,则会一直卡在⑤。直到P1的时间片用完,发生调度,切换P0上处理机运行。  
> 代码①不会卡住P0,P0可以正常访问临界区,在P0访问临界区期间即时切换回P1,P1依然会卡在⑤。  
> 只有P0在退出区将turn改为1后,P1才能进入临界区。

因此,该算法可以实现“同一时刻最多只允许一个进程访问临界区”

> **产生问题“：**  
> turn表示当前允许进入临界区的进程号,而只有当前允许进入临界区的进程在访问了临界区之后,才会修改turn的值。  
> 也就是说,对于临界区的访问,一定是按P0→P1→P0→P1→……这样轮流访问。  
> 这种必须“轮流访问”带来的问题是,如果此时允许进入临界区的进程是P0,而P0一直不访问临界区,那么虽然此时临界区空闲,但是并不允许P1访问。因此,单标志法存在的主要问题是:**违背“空闲让进”原则。**

## 双标志先检查法 ##

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

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 1]

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

## 双标志后检查法 ##

**算法思想:** 双标志先检査法的改版。前一个算法的问题是先“检査”后“上锁”,但是这两个操作又无法一气呵成,因此导致了两个进程同时进入临界区的问题。因此,人们又想到先“上锁”后“检查”的方法,来避免上述问题。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 2]

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

## Peterson算法 ##

**算法思想:** 双标志后检査法中,两个进程都争着想进入临界区,但是谁也不让谁,最后谁都无法进入临界区。 Gary L. Peterson想到了一种方法,如果双方都争着想进入临界区,那可以让进程尝试“孔融让梨”,**主动让对方先使用临界区。**

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 3]

> Peterson算法用软件方法解决了进程互斥问题,遵循了空闲让进、忙  
> 则等待、有限等待三个原则,但是依然**未遵循让权等待**的原则。  
> Peterson算法相较于之前三种软件解决方案来说,是最好的,但依然不够好。

## 总结 ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 4]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center]: https://img-blog.csdnimg.cn/20201116133655312.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5,size_16,color_FFFFFF,t_70#pic_center
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 1]: https://img-blog.csdnimg.cn/20201116133911248.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5,size_16,color_FFFFFF,t_70#pic_center
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 2]: https://img-blog.csdnimg.cn/202011161340509.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5,size_16,color_FFFFFF,t_70#pic_center
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 3]: https://img-blog.csdnimg.cn/20201116134348113.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5,size_16,color_FFFFFF,t_70#pic_center
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5_size_16_color_FFFFFF_t_70_pic_center 4]: https://img-blog.csdnimg.cn/20201116134926826.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzIxMDQwNTU5,size_16,color_FFFFFF,t_70#pic_center