[MPICH] MPI_Finalize preconditions

[Angel Tsankov]

The MPI standard says:
"The user must ensure that all pending communications involving a 
process completes before the process calls MPI_FINALIZE."

If each nonblocking receive call has a matching wait call, does a call 
to MPI_Barrier( MPI_COMM_WORLD ) in all processes (and after the wait 
calls) ensure that all communications involving the processes have 
completed?