From control flow to dataflow

Micah Beck, Richard Johnson, Keshav Pingali
1991 Journal of Parallel and Distributed Computing  
Are imperative languages tied inseparably to the von Neumann model or can they be implemented in some natural way on dataflow 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 coarsegrain parallelism in imperative language programs. More importantly, we establish a close connection between our work and current research in the imperative
more » ... guages community on data dependencies, control dependencies, program dependence graphs, and static single assignment form. These results suggest that dataflow graphs can serve as an executable intermediate representation in *
doi:10.1016/0743-7315(91)90016-3 fatcat:jmsx3hdrkjerffekpal4g3in2u