Synchronize a set in CheckGraalInvariants.

Author: pecimuth

compiler/src/jdk.graal.compiler.test/src/jdk/graal/compiler/core/test/CheckGraalInvariants.java

@@ -546,10 +546,10 @@ private static void loadVerifiers(List<VerifyPhase<CoreProviders>> verifiers) {
     }
 
     /**
-     * Initializes a map from a field annotated by {@link Option} to a set that will be used to
-     * collect methods that accesses the option field.
-     *
-     * @param tool
+     * Initializes a map from fields annotated with {@link Option} whose usages should be checked to
+     * empty sets that will collect the methods accessing each field.
+     * <p>
+     * The sets are synchronized to support parallel processing of methods.
      */
     private static Map<ResolvedJavaField, Set<ResolvedJavaMethod>> initOptionFieldUsagesMap(InvariantsTool tool, MetaAccessProvider metaAccess, List<String> errors) {
         Map<ResolvedJavaField, Set<ResolvedJavaMethod>> optionFields = new EconomicHashMap<>();
@@ -559,7 +559,7 @@ private static Map<ResolvedJavaField, Set<ResolvedJavaMethod>> initOptionFieldUs
                     Class<?> declaringClass = option.getDeclaringClass();
                     try {
                         Field javaField = declaringClass.getDeclaredField(option.getFieldName());
-                        optionFields.put(metaAccess.lookupJavaField(javaField), new EconomicHashSet<>());
+                        optionFields.put(metaAccess.lookupJavaField(javaField), Collections.synchronizedSet(new EconomicHashSet<>()));
                     } catch (NoSuchFieldException e) {
                         errors.add(e.toString());
                     }