The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
- Authors: Vlasenko A.Y.1, Gudov A.M.1
-
Affiliations:
- Kemerovo State University
- Issue: Vol 56, No 4 (2017)
- Pages: 708-720
- Section: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/219954
- DOI: https://doi.org/10.1134/S1064230717040153
- ID: 219954
Cite item
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.
About the authors
A. Yu. Vlasenko
Kemerovo State University
Author for correspondence.
Email: vlasenko@kemsu.ru
Russian Federation, Kemerovo
A. M. Gudov
Kemerovo State University
Email: vlasenko@kemsu.ru
Russian Federation, Kemerovo
![](/img/style/loading.gif)