计算机操作系统（二）_互斥锁和单标志先检查-CSDN博客

本文链接：https://blog.csdn.net/weixin_49607313/article/details/140104359

文章目录

2.3.1 进程同步、进程互斥
2.3.2 进程互斥的软件实现方法
2.3.3 互斥锁
2.3.4 用信号量机制实现进程互斥、同步、前驱关系
2.4.1 死锁的概念

2.3.1 进程同步、进程互斥

1、进程异步：
进程具有异步的特性，异步特性是指各并发执行的进程以各自独立的、不可预知的速度向前推进。
2、进程同步:
指为了完成某种任务而建立的两个或多个进程，这些进程因为需要在某些位置上协调他们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。
3、进程互斥：
把一个时间段内只允许一个进程使用的资源称为临界资源。

对临界资源的互斥访问，可以在逻辑上分为四个部分
进入区：对访问的资源检查或进行上锁
临界区(段) ：访问临界资源的那部分代码
退出区：负责解锁
剩余区：其它处理
进程互斥需要遵循的原则
空闲让进、忙则等待、有限等待、让权等待

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

1.单标志法

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

代码如下（示例）：

int turn = 0;//标志
//p0进程
while(turn!=0);//进入区
critical section;//临界区
turn = 1;//退出区，同时更改标志谦让给P1线程，让P1线程上处理机
remainder section;//剩余区

//p1进程
while(turn!=1);
critical section;
turn = 0;
remainder section;

可以实现互斥
存在的问题：p1要访问的话，必须p0先访问，违背：空闲让进原则

2.双标志先检查

算法思想:设置一个bool数组flag[]来标记自己是否想要进入临界区的意愿
注意：代码部分请先看懂第一个算法思想的代码，有助于更好的理解下面的代码
代码如下（示例）：

bool flag[2]={false,false};
//p1进程
while(flag[1]);
flag[0]=true;
critical section;
flag[0]=false;
remainder section;
//p2进程
while(flag[0]);
flag[0]=true;
critical section;
flag[1]=false;
remainder section;

主要问题：当P1、P2进程是并发进行的，可能会违背忙则等待的原则，出现bug

3.双标志后检查

算法思想:设置一个bool数组flag[]来标记自己是否想要进入临界区的意愿,不过是先上锁后检查

bool flag[2]={false,false};
//p1进程
flag[0]=true;
while(flag[1]);
critical section;
flag[0]=false;
remainder section;

//p2进程
flag[0]=true;
while(flag[0]);
critical section;
flag[1]=false;
remainder section;

主要问题：当P1、P2进程是并发进行的，可能会两个同时上锁，都进不去，违反空闲让进和有限等待原则，出现bug

4.Peterson 算法

算法思想：结合了双标志算法和单标志算法，主动让对方先使用处理器。

bool flag[2]={false,false};
int turn=0;
//p1进程
flag[0]=true;
turn=1;
while(flag[1]&&turn==1);
critical section;
flag[0]=false;
remainder section;

//p2进程
flag[1]=true;
turn=0;
while(flag[0]&&turn==0);
critical section;
flag[1]=false;
remainder section;