c#之Interlocked.Exchange 后无锁读取值

假设我们有这样一个类:

public class Foo 
{ 
     private Bar bar = new Bar(); 
 
    public void DoStuffInThread1() 
    { 
        var old = Interlocked.Exchange(ref bar,new Bar()); 
        //do things with old 
        //everything is fine here, I'm sure I have the previous bar value 
    } 
 
    public void OtherStuffFromThread2() 
    { 
        //how do I ensure that I have the latest bar ref here 
        //considering mem cahces etc 
        bar.Something(); 
    } 
} 

假设我们有两个线程，一个在 DoStuffInThread1 上运行，另一个在 OtherStuffFromThread2 上运行。

如何确保线程 2 始终看到最新的 bar？ volatile 没有帮助。而且我不想要老派的锁。 必须有一种方法来读取带有内存屏障/以某种方式互锁的 bar 的正确值吗？

请您参考如下方法:

你错过了重点......

除非你这样做:

public void OtherStuffFromThread2() 
{ 
    while (true) 
    { 
        //how do I ensure that I have the latest bar ref here 
        //considering mem cahces etc 
        bar.Something(); 
    } 
} 

这是非常不可能的事情，几乎所有您可以在 OtherStuffFromThread2() 上使用的等待线程 1 准备就绪的方法都会导致隐式内存障碍...参见示例 Memory barrier generators一些导致内存障碍的构造......

所以:

public void OtherStuffFromThread2() 
{ 
    Thread.Sleep(Timespan.FromMinutes(1)); 
    // Implicit MemoryBarrier here :-) 
 
    //how do I ensure that I have the latest bar ref here 
    //considering mem cahces etc 
    bar.Something(); 
} 

如果你真的想读一个变量的值，你可以读一个volatile变量然后读你的变量(或者读同一个volatile变量两次)。为什么？因为 volatile 读取会导致获取语义，这意味着它无法通过后续内存操作重新排序，请参阅 https://msdn.microsoft.com/en-us/library/aa645755(v=vs.71).aspx :

A read of a volatile field is called a volatile read. A volatile read has "acquire semantics"; that is, it is guaranteed to occur prior to any references to memory that occur after it in the instruction sequence.

所以如果你这样做:

private static int myuselessvolatilefieldthatcanbestatic; 
private int thefieldiwanttoread; 

然后

var useless = myuselessvolatilefieldthatcanbestatic; 
var iwanttoknow = thefieldiwanttoread; 

thefieldiwanttoread 将包含一个值，该值将在 对 myuselessvolatilethatcanbestatic 的新读取完成后读取。

请注意，如果没有同步原语，将很难知道 myuselessvolatilefieldthatcanbestatic 何时完成 :-)，但是:

while (true) 
{ 
    var useless = myuselessvolatilefieldthatcanbestatic; 
    var iwanttoknow = thefieldiwanttoread; 
    // Some code goes here 
} 

现在至少你可以使用你的while (true) :-)