Petersonのアルゴリズムにif文があるとどうなりますか

Question

私は相互排除のためにPetersonのアルゴリズムでこれを読んでいますが、クリティカルセクションの入力部分の最後の文にifその上に声明：

flag[j] = true; 
turn = j 
if(turn ==j) 
     while(flag[k]); 

私は1つのプロセスは、最初の二つの文を通過する場合、第二の方法は、その後の重要なセクションに最初のプロセスヘッドの前にそれの最初の文でこっそり、そして可能性として相互排他があると考えました第二のプロセスは病棟に入ることができ、それによって不動産が損なわれますが、私は公平性や活気を確信していませんでしたか？

Answer 1

まず第一に、あなたがチェックを分ける場合、それはあなたが指摘してきた正確な理由のために、もはやピーターソンのアルゴリズムです：2つの操作の間に、別のプロセスがでこっそりできる

公正性に影響し、生き生きとした生活（生き生きとしたものではない）は、同じ隔たりを持つ必要があります。変更によってアルゴリズムが単調に許容されるため、これらのプロパティの両方は元のままです。相互排除が現在破られているという注意点があります。