<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

Hi all,

<div class=""><br class="">

</div>

<div class="">I have added a clarification to the point-to-point chapter (where MPI_REQUEST_FREE is defined) to state that collective requests must not be freed while they are active.</div>

<div class=""><br class="">

</div>

<div class="">I have pushed these changes to Github and produced a new PDF of the MPI Standard (attached to comments on both the issue and the pull request).</div>

<div class="">I have added a comment in Github (on both the issue and the pull request) summarising the current thinking regarding “collective free” semantics and “block until really deallocated” semantics.</div>

<div class=""><br class="">

</div>

<div class="">Useful links:</div>

<div class=""><a href="https://github.com/mpi-forum/mpi-issues/issues/25" class="">https://github.com/mpi-forum/mpi-issues/issues/25</a></div>

<div class=""><a href="https://github.com/mpi-forum/mpi-standard/pull/29" class="">https://github.com/mpi-forum/mpi-standard/pull/29</a></div>

<div class=""><a href="https://github.com/mpi-forum/mpi-standard/files/1483740/mpi32-report.pdf" class="">https://github.com/mpi-forum/mpi-standard/files/1483740/mpi32-report.pdf</a></div>

<div class=""><br class="">

</div>

<div class="">I think this means we are ready for the next face-to-face MPI Forum meeting.</div>

<div class=""><br class="">

</div>

<div class="">We made quite a few small changes since the version announced for the last meeting. We should re-read the whole proposal, rather than try to get away with a “no no vote” followed by a 1st vote.</div>

<div class=""><br class="">

</div>

<div class="">If there are other tasks to complete before we announce our reading (deadline Monday 20th Nov), please let me know by replying to this email list ASAP.</div>

<div class=""><br class="">

</div>

<div class="">Cheers,</div>

<div class="">Dan.</div>

</body>

</html>