C#中多线程操作Dictionary及ReadOnlyDictionary的线程安全性问题

绝对不具备线程安全性。

普通的Dictionary<TKey, TValue>类从设计之初就没有考虑多线程并发场景，它的所有操作（包括读取、写入、修改）都不是线程安全的。当一个线程在修改字典（比如设置键值对、添加元素，甚至内部哈希表扩容）的同时，另一个线程尝试读取或修改它，可能会出现各种问题：

• 读到不一致的状态（比如某个键存在但值是默认值，或者键值对莫名丢失）
• 抛出InvalidOperationException（典型场景是枚举字典期间被其他线程修改）
• 更严重的可能导致内部数据结构损坏，后续所有操作彻底失效

如果需要多线程安全的字典实现，建议直接使用ConcurrentDictionary<TKey, TValue>——它专门为多线程并发读写场景设计，提供了线程安全的增删改查方法。

这个情况要拆成两个维度来看：

1. 引用赋值的原子性 #

首先，ReadOnlyDictionary<TKey, TValue>是引用类型，在C#中引用类型的赋值操作是原子的。也就是说，当Update方法给Map赋值新的ReadOnlyDictionary实例时，其他线程不会读到“半赋值”的无效引用——要么读到旧的完整实例，要么读到新的完整实例，不存在中间状态。

2. 内存可见性问题 #

这里有个容易被忽略的细节：内存可见性。如果没有额外的同步措施，在某些CPU架构下，执行Update的线程修改了Map的引用后，其他线程可能会一直读取缓存中的旧值，无法及时看到新的ReadOnlyDictionary实例。

要解决可见性问题，有几种常见的方案：

• 把Map对应的私有字段标记为volatile，确保所有线程看到的都是最新的引用值：

  private volatile ReadOnlyDictionary<string, string> _map;
  public ReadOnlyDictionary<string, string> Map => _map;
  

• 使用Interlocked.Exchange完成赋值，它会自动提供内存屏障：

  public void Update(IEnumerable<KeyValuePair<string, string>> items) {
      var newMap = new ReadOnlyDictionary<string, string>(
          items.ToLookup(x => x.Key).ToDictionary(x => x.Key, x => x.First().Value)
      );
      Interlocked.Exchange(ref _map, newMap);
  }
  

• 或者用lock语句包裹赋值和读取操作，虽然开销略高，但能同时保证原子性和可见性。

额外补充：ReadOnlyDictionary本身是只读的，一旦创建就不会被修改，所以只要拿到它的引用，后续的读取操作是完全线程安全的——问题只出在替换引用这个操作和并发读取引用的交互上。

内容的提问来源于stack exchange，提问作者baira