Dekker'ın algoritma karmaşasının değişkeni

Question

Bu program iki farklı iş parçacığı yürütür ve bana "yarış "ın kazananının kim olduğunu söyleyin.

Beklenmedik bir şekilde bazen BOTH iş parçacığı "kazanır" (birini ya da kazanacak birini beklemedim). Bu beklenen davranış ve neden? Açıkçası burada temel bir şey eksik.

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

Sonuçlar:

A wins 

B wins 

A wins 
B wins 

A wins 

... 

Answer 1

Sen uçucu yanlış kullanıyoruz:

uçucu değişkenleri deklare yeterli değil, her yerde bunları yazmak, sen de Thread.VolatileRead(ref myVar)/Thread.VolatileWrite(ref myVar)

, uçucu kullanma/okuma emin olmak gerekir NOT NOT: Doğru şekilde kullanılsa bile okuma/yazma emrini (farklı konulardan) sağlar. Konuyla ilgili bilgi için SO'ya göz atın. DÜZENLEME: Bir x86 tek çekirdekli makinede it seems to do

Sadece lock deyimi kullanabilirsiniz, ancak bu işin sonuna kadar almak istiyorsanız, o zaman tekrar this free e-book

okuma okuma, anlama salık Ekler:
Sadece .NET 4'teki Parallel sınıfına göz attım ve volatile anahtar sözcüğü kullanılmadı.
Ayrıca, herhangi bir sebepten dolayı döngü yapmadan önce Action<T> dizisini kopyalayabilirler, ancak bunun sizi etkilediğinden şüpheliyim.

Answer 2

iki kazanın da paralel olarak yürütmek zaman.

Belgelerden (http://msdn.microsoft.com/en-us/library/system.threading.tasks.parallel.invoke.aspx): Sağlanan her eylemi muhtemelen paralelinde yürütür.