首先看一下peterson算法的代码实现
#define FALSE 0
#define TRUE 1
#define N 2 // 进程数量
int share; // 公共标记
int own[N]; // 线程自维护数据,初始化为FALSE
void enter_region( int threadId ) // 线程号,取值为0,1
{
int other = 1 - threadId; // 代表另外的那个线程的号
own[threadId] = TRUE; // 设置当前线程的意向值为TURE
share = threadId; // 设置标志位
while( share == threadId && own[other] == TURE ); // 当互斥条件不满足即while里面的条件满足时忙等待
}
void leave_region( int threadId )
{
own[threadId] = FALSE; // 设置意向值表示不感兴趣
}
我们可以看到while循环里面有一个share == threadId的判断,乍一看因为上面有share =
threadId,判断里的这句似乎有些多余。其实不然,这个地方正是该算法的精妙指出。使用这种方法可以保证我们不需要所有的操作都是原子操作就可以保证进程间的互斥。
下面我们看一下,如果去掉share == threadId会出现什么情况
当进程A 执行完own[threadId] = TRUE之后,切换道进程B执行,进程B执行完own[threadId] =
TRUE之后又切会进程A,然后进程A执行到while时,判断 own[other] ==
TRUE,发现刚刚切换到进程B时已经将该值修改为TRUE,所以进程A进入死循环,切换到进程B,同样的也进入死循环。