Conversion from Data-Flow to Synchronous Execution in Loop Programs.
Interim technical rept.,
PURDUE UNIV LAFAYETTE IN DEPT OF COMPUTER SCIENCES
Pagination or Media Count:
We present conversion algorithms that would enable programmers to program in a high-level, data-flow language and then run their programs on a synchronous machine. A model of interprocess communication systems is developed in which both data-flow and synchronous execution modes are represented. For a subclass of parallel programs, called loop programs, we characterize the programs for which conversions are possible in terms of sets of balancing equations. We show that all loop programs having the finite buffer property can be converted into synchronous mode. Finally, two algorithms for the conversion of loop programs are presented and discussed. Author
- Computer Programming and Software
- Computer Hardware
- Air Breathing Engines (Unconventional)