You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Semantics -- although mana_comm IS a real id, and MPI_Comm_free_internal does look up a virtual id to remove, since it cannot find the virtual id, the real id is returned back and freed in the lh. So there is no leak with mana_comm.
88
+
// mana_comm is a real id, and MPI_Comm_free_internal expects a
89
+
// virtual id, but it works out because virtualToReal(real_id) is
90
+
// defined to be real_id.
89
91
MPI_Comm_free_internal(&mana_comm);
90
92
91
-
// Because group_world is a virtual group, we have to free both its virtual and real id to clean up correctly.
93
+
// Because group_world is a virtual group, we have to free both its
0 commit comments