C#：HashSet 的 volatile 读写

Question

我有一堂课：

public class Checker
{
    private HashSet<int> _hs = new HashSet<int>();

    public bool Check(int a)
    {
        return Volatile.Read(ref _hs).Contains(a);
    }

    public void Update(IEnumerable<int> items)
    {
        Volatile.Write(ref _hs, new HashSet<int>(items));
    }
}

方法Check 经常被多个线程调用。方法Update 是从监视某些源（数据库、http 服务等）的单个线程调用的。这种Volatile.Read / Volatile.Write 的使用模式正确吗？

Answer 1

如果您的意思是“Check 将始终使用该字段的最新版本”，那么是的，作为波动的副作用，这将是这种情况 - 并且交换整个参考比经常更便宜同步（.NET 确保您不能有损坏的引用，因此保证引用交换是原子的）。

注意：这种情况下的线程安全严格取决于哈希集在创建和交换引用后不会发生变异的事实，这就是代码中发生的情况在问题中。

不过，通过将字段声明为volatile，您可以更方便地获得相同的结果：

public class Checker
{
    private volatile HashSet<int> _hs = new HashSet<int>();

    public bool Check(int a) => _hs.Contains(a);

    public void Update(IEnumerable<int> items) => _hs = new HashSet<int>(items);
}