2000 character limit reached
Two automated techniques for analyzing and debugging Mpi-based programs (1311.0864v1)
Published 4 Nov 2013 in cs.PL and cs.DC
Abstract: Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs since it can be employed not only within a single processing node but also across several connected ones. Data flow analysis concepts, techniques and tools are needed to understand and analyze MPI-based programs to detect bugs arise in these programs. In this paper we propose two automated techniques to analyze and debug MPI-based programs source codes.