Abstract
A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed. A feature of the proposed approach is the use of text erratic behavior templates that make it possible to control the checks performed during the analysis of a running parallel application. A tool implementing the proposed approach to detecting logical errors in parallel programs using the Message Passing Interface is described.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
B. Barney, TotalView (Lawrence Livermore Natl. Laboratory, 2016). https://computing.llnl.gov/tutorials/ totalview/
Allinea Corp., Scalable Offline Debugging (2011). http://www.allinea.com/sites/default/files/uploads/ allinea_whitepaper_nov11.pdf
D. Abramson, G. Watson, and L. Dung, “Guard: A tool for migrating scientific applications to the. NET framework,” in Proceedings of the International Conference on Computational Science ICCS 2002, Amsterdam, The Netherlands, 2002, pp. 834–843.
V. A. Aleksakhin, V. O. Barinova, V. A. Bakhtin, V. D. Emel’yanov, V. A. Kryukov, and Yu. L. Sazanov, “Means for oPENMP-program debugging in DVM-system,” in Proceedings of the All-Russia Conference on Scientific Service in Internet: Distributed Computations Technology (Mosk. Gos. Univ., Moscow, 2008), pp. 281–285.
V. A. Kryukov and M. V. Kudryavtsev, “Automatization of parallel program debugging,” Vychisl. Metody Program. 7 (2), 102–109 (2006).
S. Siegel, “Verifying parallel programs with MPI-spin,” in Proceedings of the 14th European PVM/MPI Users’ Group Meeting, France, Paris, 2007, pp. 13–14.
J. Vetter and B. R. de Supinski, “Dynamic software testing of MPI applications with umpire,” in Proceedings of the ACM/IEEE Conference on Supercomputing SC2000, Dallas, USA, 2000, Art. No. 51, pp. 70–79.
B. Krammer, M. Mueller, and M. Resch, “MPI application development using the analysis tool MARMOT,” Lect. Notes Comp. Sci. 3038, 464–471 (2004).
T. Hilbrich, M. Schulz, B. R. de Supinski, and M. S. Muller, “MUST: A scalable approach to runtime error detection in MPI programs,” in Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing (Springer, Berlin, 2009), pp. 53–66.
J. Protze, T. Hilbrich, M. Schulz, and B. R. de Supinski, “MPI runtime error detection with MUST: A scalable and crash-safe approach,” in Proceedings of the 43rd International Conference on Parallel Processing Workshops, Minneapolis, MN, USA, 2014, pp. 206–215.
J. Protze, T. Hilbrich, M. Schulz, B. R. de Supinski, and M. S. Muller, “MPI runtime error detection with MUST: Advances in deadlock detection,” in Proceedings of the International Conference on High Performance Computing, Networking, Storage, and Analysis SC’12, Salt Lake Sity, UT, USA, 2012, Art. No. 30, pp. 109–121.
K. E. Afanas’ev and A. Yu. Vlasenko, “Automated search for erroneous behavior patterns in parallel programs using messaging model,” in Proceedings of the 7th Siberian Conference on Parallel and High Performance Computing (Tomsk. Gos. Univ., Tomsk, 2013), pp. 18–19.
K. E. Afanas’ev, I. V. Grigor’eva, and T. S. Rein, Principles of High-Performance Computing, Vol. 3: Parallel Computing Algorithms, The School-Book (Kemerovsk. Gos. Univ., Kemerovo, 2012) [in Russian].
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.Yu. Vlasenko, A.M. Gudov, 2017, published in Izvestiya Akademii Nauk, Teoriya i Sistemy Upravleniya, 2017, No. 4, pp. 140–153.
Rights and permissions
About this article
Cite this article
Vlasenko, A.Y., Gudov, A.M. The use of erratic behavior templates in debugging parallel programs by the automated validity verification method. J. Comput. Syst. Sci. Int. 56, 708–720 (2017). https://doi.org/10.1134/S1064230717040153
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064230717040153