Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs

Software analysis tools apply monitors to retrieve state information about program executions. Unfortunately such observation introduces the probe effect, which means that analysis data are influenced by the monitor's requirements to computing time and space. Additionally, nondeterministic parallel programs may yield different execution patterns due to alterations of event ordering at race conditions. In order to correct these intrusions, two activities are carried out. Firstly, the monitor overhead is removed by recalculating event occurrence times based on measurements of the occurred delay. Secondly, event manipulation and program replay is applied at places, where reordering of events has occurred. The resulting data describes the program's execution without monitoring.