The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
- Авторы: Vlasenko A.1, Gudov A.1
-
Учреждения:
- Kemerovo State University
- Выпуск: Том 56, № 4 (2017)
- Страницы: 708-720
- Раздел: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/219954
- DOI: https://doi.org/10.1134/S1064230717040153
- ID: 219954
Цитировать
Аннотация
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.
Об авторах
A. Vlasenko
Kemerovo State University
Автор, ответственный за переписку.
Email: vlasenko@kemsu.ru
Россия, Kemerovo
A. Gudov
Kemerovo State University
Email: vlasenko@kemsu.ru
Россия, Kemerovo