Source-Level Debugging of Automatically Parallelized Programs.

摘要

Parallelizing compilers automatically translate a sequential program into a parallel program. They simplify parallel programming by freeing the user from the need to consider the details of the parallel architecture and the parallel decomposition. A source-level debugger for automatically parallelized programs hides the parallelism from the user by providing the illusion that the original sequential program is executing. To provide a source-level view, a debugger has two tasks. The first task is to make it appear that programs execute operations in source order. The second task is to hide the decomposition of data and computation. This thesis describes a method for implementing dynamic order restoration and structural mapping in a debugger for automatically parallelized programs. Examples are taken from the domain of loop-based parallelism.