MARMOT swMATH ID: 9407 Software Authors: Krammer, B., Bidmon, K., Müller, M.S., Resch, M.M. Description: MARMOT: an MPI analysis and checking tool. This chapter discusses MARMOT, a tool to check during runtime if message passing interface (MPI) application conforms to the MPI standard— that is, if resources like communicators, datatypes etc., and other parameters are handled correctly. Another problem with parallel programs is the occurrence of race conditions or deadlocks. Examples are the introduction of irreproducibility, deadlocks, and incorrect management of resources like communicators, groups, datatypes, and operators. The benchmark results show that the use of MARMOT introduces a certain overhead, especially when the execution is serialized. As the development of MARMOT is still ongoing, the main emphasis has so far been on implementing its functionality and not on optimizing its performance. However, the benchmarks results show that for applications with a reasonable communication to computation ratio, the overhead of using MARMOT is below 20 Homepage: http://www.sciencedirect.com/science/article/pii/S0927545204800637 Related Software: ISP; MPI-CHECK; TotalView; C-DVM; Guard; ASTREE; MPI; KLEE; Caduceus; Why3; KRAKATOA; TVOC; Jumpshot; mpiP; VAMPIR; NAS Parallel Benchmarks; ConTest; SPIN; veriSoft Cited in: 5 Publications all top 5 Cited by 12 Authors 2 Krammer, Bettina 1 Gopalakrishnan, Ganesh Lalitha 1 Gudov, A. M. 1 Hilbrich, Tobias 1 Himmler, Valentin 1 Kirby, Robert M. II 1 Lecomber, David 1 Müller, Matthias S. 1 Siegel, Stephen F. 1 Vakkalanka, Sarvani 1 Vlasenko, A. Yu. 1 Zirkel, Timothy K. Cited in 3 Serials 1 International Journal of Parallel Programming 1 Journal of Computer and Systems Sciences International 1 Mathematics in Computer Science Cited in 2 Fields 5 Computer science (68-XX) 1 Numerical analysis (65-XX) Citations by Year