一个写作和许多阅读线程的小数线安全

Question

我想了解有关某个问题的确切行为的更多信息，以便我可以决定是否使用 lock （使用绩效含义）。

Given the following pseudo code:

class Thread1
{
    public decimal TotalValue {get; private set;}
    private decimal StockAmount;
    private decimal OldPrice;
    public async Task GetStockPrices(string fictionalAsset)
    {
        while (true)
        {
            decimal totalCopy = TotalValue;
            totalCopy -= (StockAmount * OldPrice);
            OldPrice = StockPrices.GetValue(fictionalAsset);
            totalCopy += (StockAmount * OldPrice);
            TotalValue = totalCopy;
        }
    }
}

Let's assume, that Thread1 is the only Thread ever modifying TotalValue.所有其他线程（无论他们的计数如何）都只会从中读取。

可以肯定的是，读取线程访问 totalValue 时， totalValue = TotalCopy; 。

它的含义是什么？读取线程“ Just”会收到 totalValue （OK）的旧版本，还是可能会有另一个不需要的结果（例如0或任何其他数字 - 致命）。是否还有其他含义，例如性能。还是其他线程更新的时间？ I would expect the above code to be more performant than

lock (TotalLock)
{
    TotalValue = totalCopy;
}

especially since reading threads could be many and very frequently, effectively locking up the value.

如果需要锁定，则如何提供锁？ （我想像FIFO或随机） - 写线程可以分配优先级吗？ （可以检查变量是否已锁定的东西，如果是的，请等待）

Answer 1

您可以通过在 TotalValue 属性。 tuple-1“ rel =” nofollow noreferrer“> tuple＆lt; t＆gt; 包装器类似：

private volatile Tuple<decimal> _totalValue = new(default);

public decimal TotalValue
{
    get => _totalValue.Item1;
    private set => _totalValue = new(value);
}

volatile 关键字可确保编译器不会以不会影响单个单一的代码优化代码 - 线程程序，但可能会导致某些线程在多线程程序中失去对字段的可见性。

我的期望是，此实现应比使用锁定的速度要快一些，尤其是在 get 的情况下， set s s。否则，如果该属性的更新频率比阅读的频率更高，则垃圾收集大量短寿命 tuple＆lt; 实例的成本可能会消除避免同步成本的所有好处。