Portal de Periódicos da CAPES

From control flow to dataflow

1991; Elsevier BV; Volume: 12; Issue: 2 Linguagem: Inglês

10.1016/0743-7315(91)90016-3

1096-0848

Micah Beck, Richard Johnson, Keshav Pingali,

Embedded Systems Design Techniques

Are imperative languages tied inseparably to the von Neumann model or can they be implemented in some natural way on data-flow architectures? In this paper, we show how imperative language programs can be translated into dataflow graphs and executed on a dataflow machine like Monsoon. This translation can exploit both fine-grain and coarse-grain parallelism in imperative language programs. More importantly, we establish a close connection between our work and current research in the imperative languages community on data dependences, control dependences, program dependence graphs, and static single assignment form. These results suggest that dataflow graphs can serve as an executable intermediate representation in parallelizing compilers.