A practical approach to the symbolic debugging of parallelized code

Abstract

A practical technique is presented that supports the debugging of parallelized code through global renaming and name reclamation. Global renaming creates single assignment code for programs destined to be parallelized. After parallelization, a reclamation of names not useful for either the execution or debugging of the code is performed. During execution non-current values can then be tracked and reported to the debugger. Results of experimentation indicate the enlargement of the name space is reasonable and that virtually all non-current values are reportable. The technique is independent of the transformations chosen to parallelize the code.