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]>

Author: elliottslaughter

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