Merge branch 'fixindexrace' into 'master'

Fix Replicated Index Space Race See merge request StanfordLegion/legion!1577 (cherry picked from commit ebb7f17) 84235cf legion: fix race in registering commit preconditions for control replicated index space tasks Co-authored-by: Mike Bauer <[email protected]>
StanfordLegion · Dec 12, 2024 · 723b0be · 723b0be
1 parent f3360d2
commit 723b0be
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/runtime/legion/legion_replication.cc b/runtime/legion/legion_replication.cc
@@ -1522,8 +1522,11 @@ namespace Legion {
         // No need to do anything with the output local precondition
         // We already added it to the complete_effects when we made
         // the collective at the beginning
-        if (collective_done.exists())
+        if (collective_done.exists() && !collective_done.has_triggered())
+        {
+          AutoLock o_lock(op_lock);
           commit_preconditions.insert(collective_done);
+        }
       }
       // Now call the base version of this to finish making
       // the instances for the future results