Portal de Periódicos da CAPES

Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs

2012; Institute of Electrical and Electronics Engineers; Volume: 32; Issue: 4 Linguagem: Inglês

10.1109/mm.2012.49

1937-4143

Feng Li, Antoniu Pop, Albert Cohen,

Logic, programming, and type systems

This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. The algorithm operates on a program dependence graph in static-single-assignment form, extracting task, pipeline, and data parallelism from arbitrary control flow, and coarsening its granularity using a generalized form of typed fusion. A prototype based on GNU Compiler Collection (GCC) is applied to the automatic parallelization of recursive C programs.