Peterson解法解决的是进程中竞争的问题,比如:有两个进程——进程0、进程1要读取共享内存中的数据,假设他们几乎同时进入了共享内存中,那么就会造成一定的问题。
代码如下:
#define N 2 //进程数为2
int turn; //现在轮到哪个进程?
int interested[N]; //初始化置为false,即没有在临界区等待读写共享数据的
void enter_region(int process) //进入临界区
{
turn = process;
int other = 1 - turn; //另一个进程
interested[turn] = true;
while(turn == process && interested[other] == true)
; //一直循环,直到other进程退出临界区
}
void leave_region(int process)
{
interested[process] = false;
}
进程通信时无非会产生下列的两种情况:
1、进程0通信,进程1不影响。(反之亦然)
enter_region()中各参数的值:
turn = 0;
other = 1;
interested[0] = true;
interested[1] = false;
while循环直接在interested[other]那一步就退出了,进程0成功进入临界区。
2、进程0通信,进程1也要通信。(反之亦然)
进程0的状态如上。
进程1在enter_region()后各参数的值:
turn = 1;
other = 0;
interested[1] = true;
interested[0] = true;
while循环持续,直到进程0调用leave_region()退出临界区,使得interested[0] = false。