redisで非同期問題が発生する

Question

redisがシングルスレッドサーバーの場合、結果は100000ではないのはなぜですか？私はそれが赤目の問題ではないと思うが、理由を知りたい。ありがとう。

 RedisConnection.Default.Database.StringSet("mykey1", 0); 
     Parallel.For(0, 50000, new ParallelOptions { MaxDegreeOfParallelism = 2 }, (i) => 
     { 
      var number = RedisConnection.Default.Database.StringGet("mykey1"); 
      int result = int.Parse(number); 
      RedisConnection.Default.Database.StringSet("mykey1", result + 1); 

     }); 
     Console.WriteLine("Result" + RedisConnection.Default.Database.StringGet("mykey1")); 

Answer 1

この問題を回避するには、MULTI/EXECを使用できます。 2つのコマンドが別のコマンドで分割されないようにします。それは取引になります。

Answer 2

トランザクションブロック（MULTI/EXEC）を使用せずにRedisを2回別々に呼び出しているため、StringGetとStringSet操作はアトミックではありません。スレッドの実行は、GetおよびSet操作をインターリーブできます。

約一つの可能​​な実行順序を考える：

1. スレッド1がスレッド2がmyKey1は= 40
2. スレッド2が41
3. スレッド2がmyKey1 = 41
4. スレッド2を読み出してMYKEYの読み書きを行うmyKey1 = 40
5. を読み込みmyKeyの書き込み42
6. スレッド1 myKey1の書き込み41

このコードを書くための適切な方法は、StringIncrementに呼び出してStringGetとStringSetに別のコールを交換することです：//en.wikipedia：

RedisConnection.Default.Database.StringSet("mykey1", 0); 
    Parallel.For(0, 50000, new ParallelOptions { MaxDegreeOfParallelism = 2 }, (i) => 
    { 
     RedisConnection.Default.Database. StringIncrement("mykey1"); 
    }); 
    Console.WriteLine("Result" + RedisConnection.Default.Database.StringGet("mykey1"));