Basic Results in Automatic Transformations of Shared memory parallel Programs into Sequential Programs

摘要

We study the problem, of developing a set of syntax-driven transformations for automatic translation of shared memory parallel programs into sequential programs. The result is a sequential program that is semantically equivalent to the original program. Consequently, the problem of debugging parallel programs is reduced to the problem of debugging sequential programs. Moreover, the efficiency of parallel programs can be increased by sequentializaing code segments that include extra parallelism.