The use of erratic behavior templates in debugging parallel programs by the automated validity verification method

Аннотация

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.