デッカーのアルゴリズムの混乱の変形

Question

このプログラムは2つの異なるスレッドを実行し、「レース」の勝者が誰であるかを教えてくれます。

時には、両方のスレッドが「勝利」している（私は誰か、誰も勝つことを期待していない）。これは期待される行動ですか、なぜですか？私は明らかにここで基本的な何かを欠いている。

class Program 
{ 
    public volatile static int a = 0; 
    public volatile static int b = 0; 

    public static void Main() 
    { 
     for(int i = 0; i < 1000; i++) 
     { 
      a = 0; 
      b = 0; 

      Parallel.Invoke(delegate { a = 1; if (b == 0) Console.WriteLine("A wins"); }, 
          delegate { b = 1; if (a == 0) Console.WriteLine("B wins"); }); 

      Console.WriteLine(System.Environment.NewLine); 

      Thread.Sleep(500); 
     } 
    } 
} 

結果：

A wins 

B wins 

A wins 
B wins 

A wins 

... 

Answer 1

あなたは間違って揮発使用している：

を揮発性の変数を宣言するには十分ではありません、あなたは必ずはどこでもあなたが読んで/それらを書く、あなたはまた、Thread.VolatileRead(ref myVar)/Thread.VolatileWrite(ref myVar)

、揮発性を使用することを確認する必要がありNOT正しく使用されていても、（別のスレッドからの）読み取り/書き込みの順序を保証します。 SOを参照して、トピックに関する情報を入手してください。 EDIT：x86のシングルコアマシン上のit seems to doは

あなたは、単にlockステートメントを使用することができますが、あなたがこのの底に取得したい場合、私は再びthis free e-book

を読んで、理解を読んrecommand追加：
.NET 4のParallelクラスを閲覧したところ、volatileというキーワードは使用されていません。
彼らは何らかの理由でループする前にAction<T>の配列もコピーしますが、それがあなたに影響するかどうかは疑問です。

Answer 2

両方のWin彼らは並列に実行されます。

ドキュメント（http://msdn.microsoft.com/en-us/library/system.threading.tasks.parallel.invoke.aspx）から：の可能な場合は、のアクションが実行されます。