Systematic macrostep debugging of message passing parallel programs

摘要

The paper introduces the concept of collective breakpoints and classifies the possible parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the macrostep-by-macrostep debugging mode has been defined. After introducing the concept of the execution tree and meta-breakpoints a novel systematic debugging methodology of message passing parallel programs is explained. Finally, an algorithm is shown how to generate automatically the collective breakpoints in the GRADE graphical graphical parallel programming environment.