From 6effa129dc8544f3260aa657a74d490d2c1ce2d1 Mon Sep 17 00:00:00 2001
From: Mikael Mayer <mimayere@amazon.com>
Date: Fri, 16 Aug 2024 09:25:26 -0500
Subject: [PATCH] Experiment: Make option dictionaries concurrent to avoid
 losses.

---
 Source/DafnyCore/Options/OptionRegistry.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Source/DafnyCore/Options/OptionRegistry.cs b/Source/DafnyCore/Options/OptionRegistry.cs
index b8e88d0ae4..1092c4eeb9 100644
--- a/Source/DafnyCore/Options/OptionRegistry.cs
+++ b/Source/DafnyCore/Options/OptionRegistry.cs
@@ -1,6 +1,7 @@
 #nullable enable
 
 using System;
+using System.Collections.Concurrent;
 using System.Collections.Generic;
 using System.CommandLine;
 using System.Linq;
@@ -30,8 +31,8 @@ public static void CheckOptionsAreKnown(IEnumerable<Option> allOptions) {
   // Note that legacy CLI options are not as cleanly enumerated and therefore
   // more difficult to completely categorize, which is the main reason the LibraryBackend
   // is restricted to only the new CLI.
-  private static readonly Dictionary<Option, GlobalOptionCheck> GlobalOptionChecks = new();
-  private static readonly Dictionary<Option, OptionScope> OptionScopes = new();
+  private static readonly ConcurrentDictionary<Option, GlobalOptionCheck> GlobalOptionChecks = new();
+  private static readonly ConcurrentDictionary<Option, OptionScope> OptionScopes = new();
 
   public static IEnumerable<Option> GlobalOptions => GlobalOptionChecks.Keys;
   public static IEnumerable<Option> TranslationOptions => OptionScopes.Where(kv => kv.Value == OptionScope.Translation).Select(kv => kv.Key);