C＃で自分のTaS-Lockを実装するにはどうしたらいいですか？

Question

割り当てのために、C＃-Lockを使用するか、または自己実装されたTaS-Lockを使用するオプションが必要です。私がTaS-Locksについて読んだことは、1つのアトムステップを使用して値を読み書きすることです。このために、C＃でInterlockedクラスを使用することが提案されました。

は、これまでのところ、これは私が持っているものであるが、矛盾した答えになるようだ：

public interface Lock 
{ 
    void Lock(); 
    void Unlock(); 
} 

public class C_Sharp_Lock : Lock 
{ 
    readonly Object myLock = new object(); 

    public void Lock() 
    { 
     Monitor.Enter(myLock); 
    } 

    public void Unlock() 
    { 
     Monitor.Exit(myLock); 
    } 
} 

public class Tas_Lock : Lock 
{ 
    int L = 0; 

    public void Lock() 
    { 
     while (0 == Interlocked.Exchange(ref L, 1)) { }; 
    } 

    public void Unlock() 
    { 
     Interlocked.Exchange(ref L, 0); 
    } 
} 

誰も私が間違ってここにやっている知っていますか？

編集：私は次のようにそれを変更しました

：ケビンに対する応答として

public class Tas_Lock : Lock 
{ 
    int L = 0; 

    public void Lock() 
    { 
     while (0 == Interlocked.CompareExchange(ref L, 1, 0)) { }; 
    } 

    public void Unlock() 
    { 
     Interlocked.Exchange(ref L, 0); 
    } 
} 

は、しかし、これはまだ一貫性のない結果を返します。

編集＃2：C＃のロックに変更：

public class C_Sharp_Lock : Lock 
{ 
    readonly Object myLock = new object(); 
    bool lockTaken = false; 

    public void Lock() 
    { 
     Monitor.Enter(myLock, ref lockTaken); 
    } 

    public void Unlock() 
    { 
     if (lockTaken) 
      Monitor.Exit(myLock); 
    } 
} 

Answer 1

あなたが道にInterlocked.CompareExchange作品を誤解しています。これは、以前に提供されている比較対象の値と等しい場合は、数値的にスワップします。を返し、前の値を返します。要するに

、Interlocked.CompareExchange(ref L, 1, 0)意志：Lは、それは1にLを設定し、以前の値が返され、0に等しい場合、Lは0

に等しいかどうか

• チェック（0）
• Lが0でない（したがって、1に等しい）場合、それは前の値を返します（1）

そこから、何をやるべきことまでループですInterlocked.CompareExchangeは0を返します（つまり、ロックが取得されたことを意味します）。

public class Tas_Lock 
{ 
    int L = 0; 

    public void Lock() 
    { 
     while (0 != Interlocked.CompareExchange(ref L, 1, 0)) { } 
    } 

    public void Unlock() 
    { 
     Interlocked.Exchange(ref L, 0); 
    } 
} 

2つのことに注意する：

• Interlocked.ExchangeUnlockに置き換えることができ、あなたのコードでは、固定されたコードが

  Interlocked.CompareExchangeしばらく戻っ0を待っていますより速いVolatile.Write（またはさらに、議論はするが、簡単な書込み）

• 割り当てがない場合は、 -in class SpinLock、これはすでにすべてのものを最適化しています。