关于进程同步与进程互斥以及进程互斥的实现的单标志、双标志先检查法、 双标志后检查法、peterson算法的分析

以下内容经过学习王道考研课程的作为复习笔记，如有错误，欢迎更正

前言

临界资源概念：

我们把一个时间段内允许一个进程的使用的资源，称为临界资源。 许多物理设备，比如摄像头打印机都是属于临界资源。

进程同步：

在多道程序环境下，进程是并发执行的，不同进程之间存在着不同的相互制约关系

概念：把异步环境下的一组并发进程因直接制约而互相发送消息、进行互相合作、互相等待，使得各进程按一定的速度执行的过程称为进程间的同步。

进程互斥:

进程互斥指的是当一个进程访问临界资源时，另一个想要访问该临界资源的必须等待。当前访问临界资源的进程访问结束，释放该资源之后，另一个进程才能去访问临界资源。

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

do｛

//进入区

//临界区

//退出区

//剩余区

｝while

进入区： 负责检查是否可进入临界区，若可进入，则应设置正在访问临界资源的标志

临界区： 访问临界资源的那段代码

退出区：负责解除正在访问临界资源的标志

剩余区：其他处理

其中，进入区和退出区是负责实现互斥的代码段

为了实现对临界资源的互斥访问，同时保证系统整体性能遵循以下原则:

1.空闲让进：临界区空闲时可以允许一个请求进入临界区的进程，立即进入临界区

2.忙则等待：当已有进程，进入临界区时，其他试图进入临界区的进程必须等待

3.有限等待：对请求访问的进程，应保证能在有限时间内进入临界区，不会饥饿

4.让权等待：当进程不能进入临界区时，应立即释放处理器资源，防止进程忙等

 进程互斥实现方法：

一、单标志法：

缺点： 违背空闲让进

二、双标志先检查法：

缺陷：违背忙则等待

三、双标志后检查法：

 违背空闲让进和有限等待

四、peterson算法

违背让权等待.

总结