realm: make sure rma put completions are pushed

StanfordLegion · Dec 17, 2021 · e400159 · e400159
1 parent 27ad25c
commit e400159
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/runtime/realm/gasnetex/gasnetex_internal.cc b/runtime/realm/gasnetex/gasnetex_internal.cc
@@ -1711,7 +1711,7 @@ namespace Realm {
 	      // no more completion replies, but do pushing if there are
 	      //  ready packets
 	      ncomps = 0;
-	      do_push = has_ready_packets;
+	      do_push = has_ready_packets || !put_head.load();
 	    }
 	  }
 	} else {