<div dir="ltr"><div dir="ltr">On Tue, Jun 2, 2020 at 5:15 AM Lawrence Mitchell <<a href="mailto:wence@gmx.li">wence@gmx.li</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> On 2 Jun 2020, at 09:54, Matthew Knepley <<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>> wrote:<br>
> <br>
> I almost agree. I still think we do not change Distribute(), since it is really convenient, but we do check sizes on input as you say.<br>
<br>
If we only want Distribute(), we have to change it a bit, because right now there's only one communicator involved.<br>
<br>
So one could go to<br>
<br>
DMPlexDistribute(DM old, PetscInt overlap, MPI_Comm commNew, PetscSF *sf, DM *new)<br>
<br>
and commNew may be MPI_COMM_NULL, meaning we pick it up from old->comm.<br></blockquote><div><br></div><div>This seems reasonable.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> We either,<br>
> <br>
>   1) Copy the DM to a larger comm with empty slots on input<br>
> <br>
> or<br>
> <br>
>   2) Copy the DM to a smaller comm eliminating empty slots on output<br>
> <br>
> depending on P_in < P_out, or the reverse.<br><br>
So we now also need to decide on the semantics of the migrationSF. I guess it lives on commNew, but is collective over commNew \cap commOld. I can't think through if this breaks anything.<br></blockquote><div><br></div><div>I don't think 0-size participants should break anything.</div><div><br></div><div>   Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Lawrence<br></blockquote></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div><div><br></div><div><a href="http://www.cse.buffalo.edu/~knepley/" target="_blank">https://www.cse.buffalo.edu/~knepley/</a><br></div></div></div></div></div></div></div></div>