Perterson算法

简介：

管理操作系统临界区有软件方法和硬件措施两种方式。1981年，Perterson提出一个简单巧妙的算法解决进程互斥进入临界区的方法。

该算法为每个进程设置标志flag，用于表示该进程是否有意访问临界资源（进入临界区）；又设置了标志turn，用于表示临界资源是否有其他进程在访问。

只有在对方进程的访问标志flag为true，并且turn也为该进程标识时，才表明对方进程在访问临界资源（占据临界区），需要等对方进程访问结束并且释放该临界资源后，才能开始访问；否则可以直接进入临界区，无需等待。

算法代码如下：

//Perterson算法
boolean flag[2]={false,false};
int turn;
void P0()
{
    while(true)
  {
    flag[0]=true;
    turn=1;
    while(flag[1]&&turn==1];   //空循环（等待区）
    临界区
    flag[0]=false;
    ...
  }
}
 void P1()
{
   while(true)
  {
    flag[1]=true;
    turn=0;
    while(flag[0]&&turn==0);    //空循环（等待区）
    临界区
    flag[1]=false;
    ...
  }
}

代码解释：

P0和P1是两个进程，在进程P0中，P0把flag[0]置为true，表示P0准备进入临界区，因为临界区一次至多容纳一个进程，所以P0要阻止P1进入临界区；如果P1已经在临界区中，则flag[1]==true，此时P0在while循环处空转，不能进入临界区，反之亦然，确保了此时临界区内只有一个进程。

该算法还可以防止互相阻塞，如果P0在while循环处被阻塞，这意味着flag[1]为true且turn==1，而当flag[1]变成false（P1退出临界区）或turn变为0（P1进入临界区前尝试主动谦让）时，P0就可以进入自己的临界区了。

参考文献：《计算机操作系统》/林果园主编。—北京：清华大学出版社，2021.2