Confusione tra algoritmo di Dekker

Question

Questo programma esegue due thread diversi e mi dice chi è il vincitore della "corsa".

Inaspettatamente a volte ENTRAMBI i thread "vince" (mi aspettavo che qualcuno o nessuno vincesse). È questo comportamento atteso e perché? Mi manca ovviamente qualcosa di fondamentale qui.

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); 
     } 
    } 
} 

Risultati:

A wins 

B wins 

A wins 
B wins 

A wins 

... 

Answer 1

Stai utilizzando volatili in modo non corretto:

dichiarare le variabili volatili non è sufficiente, è necessario fare in modo che ovunque di leggere/scrivere loro, si utilizza Thread.VolatileRead(ref myVar)/Thread.VolatileWrite(ref myVar)

Inoltre, volatile fa NON garantisce l'ordine di lettura/scrittura (da diversi thread), anche se usato correttamente. Sfoglia SO per informazioni sull'argomento. EDIT: it seems to do su una singola macchina nucleo x86

si può semplicemente utilizzare l'istruzione lock, ma se si vuole andare a fondo di questo, Consiglierei la lettura, la comprensione, quindi la lettura di nuovo this free e-book

ADDITIONS:
Ho appena sfogliato la classe Parallel in .NET 4 e non viene utilizzata la parola chiave volatile.
Copiano inoltre l'array di Action<T> prima di ricollegarlo per qualche motivo, ma dubito che ciò ti abbia colpito.

Answer 2

Sia Win quando si eseguono in parallelo.

Dalla documentazione (http://msdn.microsoft.com/en-us/library/system.threading.tasks.parallel.invoke.aspx): Esegue ciascuna delle azioni fornite, eventualmente in parallelo.