.NET C# 多线程

Question

关于线程以满足我的好奇心的问题......

假设我有静态变量 _status (ProgressStatus) 并且许多线程正在从中读取。 为了更新这个静态变量，我使用了一个不可变对象 ProgressStatus，创建一个新实例，然后换出引用。

var status = new ProgressStatus (50, "Working on it"); //plus many more fields in constructor

lock (_statusLocker) _status = status; // Very brief lock

这是阅读器代码

public GetProgressStatus () {

     var status = new ProgressStatus (_status.ID, _status.Description); 
     return status }

如果我不应用锁，可能发生的最坏情况是什么？

Answer 1

其他线程可能看不到新值。

确实，除非他们也被锁定，否则他们仍然可能看不到新值。

即使引用会自动更新（即它永远不会是新旧值的混合值），但这并没有说明更改何时对其他线程可见 - 或者其他线程何时会麻烦检查。 （例如，一个线程可能已将值缓存在寄存器中，并且没有任何迹象表明该线程需要检查主内存，它可能不会这样做。）

有可能通过将变量声明为 volatile 来避免这种情况 - 但老实说，我已经不再相信我完全理解 volatile 的含义。

在处理共享可变数据（读取或写入）时始终如一地使用锁会使这个问题由于锁定的语义而消失。以无锁且保证正确的方式执行此操作需要对正在发生的事情有更深入的了解。 （注意这里是可变的变量，即使它引用的对象不是。）

Answer 2

如果您的程序依赖此值以可预测的方式更新，您可能会遇到竞争条件。

这是一个很好的“无锁”功能：

static void LockFreeUpdate<T>(ref T field, Func<T, T> updateFunction)
    where T : class
{
    var spinWait = new SpinWait();
    while (true)
    {
        T snapshot1 = field;
        T calc = updateFunction(snapshot1);
        T snapshot2 = Interlocked.CompareExchange(ref field, calc, snapshot1);
        if (snapshot1 == snapshot2) return;
        spinWait.SpinOnce();
    }
}

我不敢相信，我是在网上找到的

http://www.albahari.com/threading/part5.aspx#_SpinLock_and_SpinWait

Answer 3

在这种情况下您不需要锁，因为更改引用是原子操作。