进程互斥 Peterson算法

提示：扫一扫查出行
【扫一扫了解最新限行尾号】
复制提示

转自http://blog.csdn.net/l294265421/article/details/46674847

假设有两个进程需要互斥的访问某一个临界区。

Peterson算法的形式如下：

enterRegion(process);
// process表示进程号
// 临界区
leaveRegion(process);

具体实现如下（Java实现）：

有两个全局变量：

// 用于表示轮到哪个进程
private int turn;
// 用于表示进程进入临界区的意愿，下标对应进程号
private boolean[] interested = new boolean[] {false, false};

enterRegion方法实现如下：

/**
* @param process 进程号
*/
ublic void enterRegion(int process) {
// 另一个进程的进程号
int other = 1 - process; // 进程process想进入临界区
interested[process] = true; // 设置轮到自己进入临界区了
turn = process; /**
* 当两个进程同时想进入临界区时，它们的interested[process]都
* 为true，但后一个进程设置的turn值会覆盖前一个进程设置的turn值，
* 这样后一个进程的turn == process条件为真，它会在该while循环
* 中持续等待，而前一个进程的turn == process条件为假，能顺利进入
* 临界区；等前一个进程离开临界区后，后一个进程也能进入临界区
*/
while (turn == process && interested[other] == true) { }

leaveRegion方法实现如下：

public void leaveRegion(int process) {
interested[process] = false;
}