进程管理（实现临界区互斥的方法）_1、如何保证多个进程互斥地访问临界资源-CSDN博客

本文链接：https://blog.csdn.net/m0_46578907/article/details/115644603

进程管理(实现临界区互斥的方法)

一. 访问临界资源

对临界资源的访问分为四个部分：

进入区:检查是否可以进入临界区,若可以则设置正在访问临界区的标志(加锁),以阻止其他进程同时进入临界区
临界区:进程中访问临界资源的那段代码
退出区:解除正在访问临界资源的标志(解锁)
剩余区:处理代码的其余部分

do{
	enter section;		//进入区
	critical section;	//临界区
	exit section;		//退出区
	remainder section;	//剩余区
}while true;

二. 实现临界区互斥的方法

同步机制应当遵循的准则:

空闲让进：临界区空闲时，可以允许一个请求进入临界区的进程立即进入临界区
忙则等待：当已经有进程进入临界区时，其他试图进入临界区的进程必须等待
有限等待：对请求访问临界区的进程，应保证其在有限的时间内进入临界区
让权等待：当进程不能进入临界区时，应立即释放处理机

1. 通过软件实现

软件方法相对复杂且容易出错,因而现在系统较少采用,目前常用的方法是通过硬件方法实现同步互斥操作

(1)单标志法

特征:(设置标志turn)

设置turn来标志当前允许运行的进程编号
每个进程访问完临界区后把临界区的使用权转交给另一个进程
若turn的初始值为0,则运行进程始终按照p0->p1->p0->p1->…的顺序进行,如果其中的某个进程不再进入临界区则另一个进程也将无法进入临界区. 违背了"空闲让进"的原则

turn=0;
/**
P0进程
**/
while(turn!=0);		//进入区
critical section;	//临界区
turn = 1;			//退出区
remainder section;	//剩余区

/**
P1进程
**/
while(turn!=1);
//turn初始值为0,若先进去的是p1进程则,
//while循环条件成立,处理机一直进行空循环,
//直到分配给进程的的时间片结束
critical section;
turn = 0;
remainder section;

(2)双标志法先检查

特征:(设置flag[]标志对方和自己)

设置标志flag[i]来标志各个进程进入临界区的意愿
刚开始时先把flag[i]中各个元素的值设置成false
如果flag[i]的值为FALSE则表示pi进程未进入临界区,如果值为TRUE,表示Pi进程进入临界区
优点:不用按照一定顺序交替进入临界区,可以连续使用
缺点:由于操作系统的并发性,如果pi和pj进程同时进入临界区,则可能按照①②③③的顺序执行,则导致两个进程同时进入了临界区,违背了"忙则等待"的原则

/**
	pi进程:
	当pi进程想要访问临界资源时,首先判断flag[j]是否为TRUE:
	1. 如果为TRUE,说明pj进程处于临界区(在访问临界资源),则pi进程进行空循环,
直到处理机分配给pi的时间片结束发生进程切换,使得pi进程退出处理机
	2. 如果为FALSE,则说明pj进程不在临界区中(没有在访问临界资源),则将flag[i]
设置成TRUE,以阻止其他进程来访问临界区(上锁),由此进入区完成
	
**/
while(flag[j]);		①		//进入区
flag[i] = TRUE;		③		//进入区
critical section;			//临界区
flag[i] = false;			//退出区
remainder section;			//剩余区

/**
	pj进程:
**/
while(flag[i]);		②
flag[j] = TRUE;		③
critical section;
flag[j] = false;
remainder section;

由上可以看出软件方法都会导致进程等待进入临界区时由于空循环造成的浪费处理机时间的现象，违背了“让权等待”

(3)双标志法后检查

特征:

设置flag[]来标志各个进程访问临界区的意愿
先将自己的flag[]标志设置成TRUE,再检查对方进程的标志,若对方标志为TRUE,则进程等待,否则进入临界区
若pi和pj进程几乎同时进入临界区时,由于并发性,可能将自己的flag都设置成TRUE,导致两个进程都只能处于等待状态,从而导致"饥饿"现象,违背了有限等待的原则

/**
	pi进程:
**/
flag[i] = TRUE;				//进入区
while(flag[j]);				//进入区
critical section;			//临界区
flag[i] = false;			//退出区
remainder section;			//剩余区

/**
	pj进程:
**/	
flag[j] = TRUE;		
while(flag[i]);	
critical section;
flag[j] = false;
remainder section;

(4)Peterson’s Algorithm

特点:(三标志,除了flag[]标志意愿之外还有turn标志)

为了防止进程为进入临界区而出现的无限等待的情况,在双标志法后检查的基础上增添了turn标志表示意愿把进入临界区的权限让给另外一个进程

/**
	pi进程:
	首先将自己的flag标志设置成True(加锁,加锁后如果pj想进入临界区则会进入空循环中),
	将不允许进入的程序标志turn设置成j,如果出现了两个进程几乎同时想要访问临界区的情况时,
	在pi和pj将自己的意愿都设置成true之后,由于turn的值唯一,所以优先让一个进程进入了临界区,
	另一个进程则处于空循环等待前一个进程退出临界区，解决了"无限等待"的问题
**/
flag[i] = TRUE;				//进入区
turn = j;					//进入区
while(flag[j] && turn ==j);	//进入区
critical section;			//临界区
flag[i] = false;			//退出区
remainder section;			//剩余区

/**
	pj进程:
**/	
flag[j] = TRUE;	
turn = i;	
while(flag[i] && turn ==i);	
critical section;
flag[j] = false;
remainder section;

2. 硬件实现方法

也称低级方法或原方法

(1)中断屏蔽方法

由于CPU只在发生中断时引起进程切换,因此屏蔽中断可保证当前进程让临界区代码顺利执行完
缺点:限制了处理机交替执行程序的能力,因此执行效率会明显降低,同时将关中断的权利交给用户是十分危险的,如果一个进程关中断之后不再打开则会导致系统终止

典型模式:

/**
关中断
临界区
开中断
**/

(2)硬件指令方法

i.TestAndSet指令

这是一条原子操作（执行改代码时不允许被中断）
读出指定标志之后把该标志设置成真

/**
	TestAndSet:
	lock用于表示临界资源的两种状态：true表示正被占用，初值为false
**/
boolean TestAndSet(boolean *lock){
	boolean old;
	old = *lock;	//用old记录指定标志
	*lock = true;	//读出指定标志之后把标志lock设置成真
	return old;	
}

/**
	实现进程访问临界区的代码：
	在进入临界区之前先用TestAndSet来检查lock和修改lock；若lock为false
	说明临界资源没有被占用，则可以进入临界区，并把临界资源的占用情况设置成true（给临界资源上锁）。
	如果lock为true则说明临界资源正被占用，则进程只能进行空循环直到处理机分配的时间片结束，进程退出。
**/
while TestAndSet(&lock);	//进入区
进程的其他代码段				//临界区
lock = false;				//退出区
进程的其他代码;				//剩余区

ii.Swap指令

Swap指令用于交换两个字节的内容

/**
	Swap指令：
**/
Swap(boolean *a,boolean *b){
	boolean temp;		
	temp = *a;
	*a = *b;
	*b = temp; 
}

/**
	进程访问临界区处理：
	lock用于表示临界资源是否被占用，true表示被占用
	设置key用于与lock交换信息。在进入临界区之前先用key交换信息，如果交换后key仍为true，
	说明临界资源已被占用，则接下来持续进行检查key和交换的过程，直到时间片结束
**/
key = true;				//进入区
while(key!= false)
	Swap(&lock，&key);	//进入区
进程的临界区代码段；		//临界区
lock =false;			//退出区
进程的其他代码;			//剩余区

硬件方法的优点：适用于任意数目的进程，不管是单处理机还是多处理机。同时也支持进程中有多个临界区，只要为每个临界区都设置一个boolean变量就行。
缺点：进程在等待进入临界区的时候，处理机只能处于一个空循环的状态，这样的状态浪费处理机资源，违背了“让权等待”，从进程中随机选择一个进程进入临界区，有的进程就可能一直都选不上，导致饥饿现象，违背”有限等待“。