The collective model of communication. MPI_Barrier, MPI_Bcast, MPI_Allreduce, MPI_Scatter, MPI_Gather, MPI_Allgather, MPI_Gatherv, MPI_Alltoall, MPI_Alltoallv. Examples.
Slides: 09_collectives.pdf
Formal methods, concurrency, and verification
The collective model of communication. MPI_Barrier, MPI_Bcast, MPI_Allreduce, MPI_Scatter, MPI_Gather, MPI_Allgather, MPI_Gatherv, MPI_Alltoall, MPI_Alltoallv. Examples.
Slides: 09_collectives.pdf