ポストデクリメントがアトミックでないことを実証する... FAIL

Question

私はthis bookのコードサンプルを試していましたが、ポストデクリメント演算子がアトミックではないことを証明する必要があります。コードはLinqPadに入力したものです。

void Main() { 
    var count = 0; 
    do { 
    _x = 10000; 
    for (int i = 0; i < 100; i++) { 
     new Thread(Go).Start(); 
    } 
    Thread.Sleep(1000); 

    Console.WriteLine("Try "+ count); 
    count++; 
    } while (_x == 0); 
    Console.WriteLine(_x); 
} 

int _x = 10000; 
void Go() { for (int i = 0; i < 100; i++) _x--; } 

アイデアは、すべてのスレッドが終了したときにロックすることなく、複数のスレッドで並列に_xをデクリメントすることは、他の_xの値に0を導く可能性があることです。

私の問題は、どれだけ長く試してみても、常に結果として0が得られるということです。 私は2つの異なるコンピュータ（Windows 7と2つの異なるバージョン）で2つの異なるバージョンの.NETでコードを実行しています。

私はここで何が欠けていますか？

Answer 1

Lasse V. Karlsenが示唆しているように、私はGoに100000回の追加を追加しました。このコードは、最初の試行では正常に動作します。私はまた、スレッドの作成をループから外し、Henk Holtermanが提案したようにスレッド数を減らしました。

void Main() 
{ 
    var count = 0; 
    do { 
    _x = 1000000; 
    var threads = Enumerable.Range(0,10).Select (_ => new Thread(Go)).ToList(); 

    foreach (var t in threads) 
    { 
     t.Start(); 
    } 

    Thread.Sleep(1000); 
    Console.WriteLine("Try "+ count); 
    count++; 
    } while (_x == 0); 
    Console.WriteLine(_x); 
} 

int _x; 
void Go() { for (int i = 0; i < 100000; i++) _x--; } 

コードが正常に動作するようになりました。