.NET 线程安全缓存结果

Question

我在 C# 中有类似以下内容:

private double _x;
private bool _xCalculated;

private double GetX() {
    if (!_xCalculated) {
        _x = ... // some relatively expensive calculation
        _xCalculated = true;
    }

    return _x;
}

我的问题是，这是线程安全的吗？据我所知，最坏的结果是两个或多个线程同时进入这个方法并计算_x多次，但保证该类的任何实例的结果都是相同的，所以这不是一个特别大的问题。

我对此的理解是否正确？

Answer 1

一些观察:

存储到 double 可能不是原子的

对 bool 的写入应该是原子的

根据 CPU 架构，内存操作可能会重新排序

如果没有发生重新排序，代码应该可以工作

虽然我认为x86 memory ordering guarantees确保安全，我对此并不完全确定。 .net 的内存排序保证最近得到了加强(我认为在 .net 4 中)以匹配 x86 的保证。

Memory Model in .net
More on memory ordering
这表明商店不会在 .net 中重新排序，我认为这意味着您的代码是安全的。但是无锁编程很难，所以我可能会忽略一些微妙的问题。也许 if 子句中的读取会导致问题。

我建议不要使用此代码，除非您是线程专家并且真的非常需要性能。否则只需使用更明确的东西，比如锁。如果没有争用，锁就不会那么昂贵。