Implementation of collective communication in Kaira
Stanislav Böhm · AIP conference proceedings · 2015
Kaira (http://verif.cs.vsb.cz/kaira/) is a high-level development environment for MPI applications. It allows to prototype, observe, debug, and analyze MPI (Message Passing Interface) applications. Kaira supported only point-to-point communication up to the last version. The current version provides an interface for MPI collective communication; communication that involves a group of processes and allows a very efficient implementation of common operations like scatter, gather, and broadcast. To achieve an efficient implementation, these operations have low-level semantics from a user perspective. This paper discusses problems that need to be solved to implement this communication into an abstract environment and describes syntax and semantics of collective transitions that introduces collective communication into Kaira.