[mpiwg-ft] MPI_Comm_revoke behavior

I am thinking about the next step, and have some questions on the semantics of MPI_Comm_revoke() - When the routine returns, can the communicator ever be used again ? If I remember correctly, the communicator is available for point-to-point traffic, but not collective traffic - is this correct ? - Looking forward, if one wants to restart the failed ranks (let's assume we add support for this), what can be assume about the "repaired" communicator ? What can't I assume about this communicator ? Rich