进程互斥以及进程互斥实现方法（包含代码）

进程互斥有关概念：

两种资源共享方式：

1.互斥共享：一个时间段内只允许一个进程进行访问

2.同时共享：一个时间段内允许多个进程进行“同时”访问

临界资源：一个时间段内只允许一个进程进行访问的资源

访问临界区的原则:空闲让进，忙则等待，有限等待，让权等待.

临界资源逻辑上分为

1.进入区 2.临界区 3.剩余区 4.退出区

进程互斥的软实现方法

1.单标志法

算法思想：两个进程在访问完临界区之后会把使用临界区的权限交给另一个进程，每个进程进入临界区的权限只能由另一个进程赋予

代码：

 

单标志法的主要问题是违反了空闲让进的原则，当进程0一直不访问临界区，则进程0也无法访问所以违反了空闲让进的原则

2.双标志先检查法

算法思想：设计布尔型的数组，数组中各个元素用来标记进程想进入临界区的意愿。

代码原理如下图：

 

缺点：违反了忙则等待的原则。原因在于进入区和检查区的操作不是一气呵成的。检查后上锁前可能发生切换。

双标志后检查法：双标志后检查法的改版，先上锁后检查，代码如下图

违背了空闲让进原则可能会导致饥饿。

3.Peterson算法