进程互斥的软件实现方法

重点理解：各个算法在进入区，退出区都做了什么

分析各个算法存在的缺陷

一、单标志法

算法思想:

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

int turn=0;//表示当前允许进入临界区的进程号
​
//对于P0进程
while(true!=0);      1  //进入区
critical section;    2  //临界区
turn=1;             3  //退出区
remainder section;   4  //剩余区
    
//对于P1进程
whiel(trun!=1);      5
critical section;    6  
turn=0;             7
remainder section;   8

turn的初值为0，即刚开始只允许О号进程进入临界区。

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

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

turn表示当前允许进入临界区的进程号，而只有当前允许进入临界区的进程在访问了临界区之后，才会修改turn 的值。也就是说，对于临界区的访问，一定是按P0→P1→P0→P1→..…这样轮流访问。这种必须“轮流访问”带来的问题是，如果此时允许进入临界区的进程是P0，而P0一直不访问临界区，那么虽然此时临界区空闲，但是并不允许P1访问。

因此，单标志法存在的主要问题是：违背“空闲让进”原则。

二、双标志先检查

算法思想:设置一个布尔型数组flag[]，数组中各个元素用来标记各进程想进入临界区的意愿，

比如“flag[0] = ture”意味着0号进程P0现在想要进入临界区。

每个进程在进入临界区之前先检查当前有没有别的进程想进入临界区，如果没有，则把自身对应的标志flag[i]设为true，之后开始访问临界区。

bool flag[2];//表示进入临界区意愿的数组
​
flag[0]=false;
flag[1]=false;//刚开始，设置成两个进程都不想进入临界区
​
​
//P0进程
while (flag[1]);    1
flag[0] = true;     2
critical section;   3
flag [0] = false;   4
remainder section;
​
//P1进程
while (flag[0]);    5//如果P0想进入临界区，P1就一直循环
flag [1] = true;    6//标志为P1想要进入临界区
critical section;   7//访问临界区
flag[1] = false;    8//访问完临界区，修改标记为P1不想使用临界区
remainder section;

若按照①⑤②⑥③⑦....的顺序执行，P0和P1将会同时访问临界区。因此，双标志先检查法的主要问题是:违反“忙则等待”原则。

原因在于，进入区的“检查”和“上锁”两个处理不是一气呵成的。“检查”后，“上锁”前可能发生进程切换。

while (flag[1]);——这一步是检查 flag[0] = true;——这一步是上锁

是分了两步进行的

三、双标志后检查

算法思想:

双标志先检查法的改版。前一个算法的问题是先“检查”后“上锁”，但是这两个操作又无法一气呵成，因此导致了两个进程同时进入临界区的问题。因此，人们又想到先“上锁”后“检查”的方法，来避免上述问题。

bool flag[2];//表示进入临界区意愿的数组
​
flag[0]=false;
flag[1]=false;//刚开始，设置成两个进程都不想进入临界区
​
​
//P0进程
flag[0] = true;     1
while (flag[1]);    2
critical section;   3
flag [0] = false;   4
remainder section;
​
//P1进程
flag [1] = true;    5//标志为P1想要进入临界区
while(flag[0]);     6//如果P0也想要进入临界区，则P1循环等待
critical section;   7//访问临界区
flag[1] = false;    8//访问完临界区，修改标记为P1不想使用临界区
remainder section;

若按照①⑤②⑥....的顺序执行，PO和P1将都无法进入临界区

两个进程都争着想进入临界区，但是谁也不让谁，最后谁都无法进入临界区。

因此，双标志后检查法虽然解决了“忙则等待”的问题，但是又违背了“空闲让进”和“有限等待”原则，会因各进程都长期无法访问临界资源而产生“饥饿”现象。

四、Peterson算法

算法思想:

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

bool flag[2];//表示进入临界区意愿的数组
​
flag[0]=false;
flag[1]=false;//刚开始，设置成两个进程都不想进入临界区
​
int turn=0;//表示优先让哪个进程进入临界区
​
//P0进程
flag[0] = true;              1
turn=1;                     2
while (flag[1] && turn==1);   3
critical section;            4
flag [0] = false;            5
remainder section;
​
//P1进程
flag[1] = true;              6
turn=0;                     7
while (flag[0] && turn==0);   8
critical section;            9
flag [1] = false;            10
remainder section;

进入区:

1.主动争取;

2.主动谦让;

3.检查对方是否也想使用，且最后一次是不是自己说了“客气话”

Peterson算法用软件方法解决了进程互斥问题，遵循了空闲让进、忙则等待、有限等待三个原则，但是依然未遵循让权等待的原则。

Peterson算法相较于之前三种软件解决方案来说，是最好的，但依然不够好。

五、总结