Improvement on counter example generation in static barrier analysis
Zhaofei Wang · Computer Engineering and Applications Journal · 2011
Barrier analyzers generate counter examples to help MPI programmers diagnose synchronization errors.However,existing counter example generation approaches do not support rapid error diagnosis for some real programs.This paper presents an improved counter example generation approach which records the history of MVE(Multi-Valued Expression) propagation and can infer the program inputs triggering errors.Experimental evaluation shows the proposed approach supports synchronization error diagnosis better than existing ones.