DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA114705
Title:
Conversion from Data-Flow to Synchronous Execution in Loop Programs.
Descriptive Note:
Interim technical rept.,
Corporate Author:
PURDUE UNIV LAFAYETTE IN DEPT OF COMPUTER SCIENCES
Report Date:
1982-05-01
Pagination or Media Count:
27.0
Abstract:
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
Distribution Statement:
APPROVED FOR PUBLIC RELEASE