进程互斥 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;  
}