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

Personal Author(s):

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Air Breathing Engines (Unconventional)

Distribution Statement:

APPROVED FOR PUBLIC RELEASE