互斥：軟體方法實現之Peterson演算法

德國數學家Dekker曾提出了兩個進程互斥的演算法，不過Dekker演算法過於複雜。而Peterson提出了簡單且一流的方法。

實現如下：

boolean flag[2];

int turn;

void P0()

{

   while(true)

{

    flag[0]=true;

    turn=1;

    while(flag[1]&&turn==1)

       /* donothing*/ ;

    /*critical section*/ ;

    flag[0]=false;

}

}

void P1()

{

   while(true)

{

    flag[1]=true;

    turn=0;

    while(flag[0]&&turn==0)

       /* donothing*/ ;

    /*critical section*/ ;

    flag[1]=false;

}

}

void main()

{

flag[0]=flag[1]=false;

/*start p0 and p1*/ ;

}

說明：

考慮進程P0，一旦它設定flag[0]=true，則P1不能進入臨界區。如果P1已經進入臨界區，那麼flag[1]=true，P0被阻塞不能進入臨界區。

另一方面，互相阻塞也避免了。假設P0在while裡被阻塞了，表示flag[1]為true且turn＝1，則此時P1可以執行。