Conversion from Data-Flow to Synchronous Execution in Loop Programs.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1982
Accession Number
ADA114705

Entities

People

  • Janice E. Cuny
  • Lawrence H Snyder

Organizations

  • Purdue University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Alphabets
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Conversion
  • Data Rate
  • Equations
  • Iterations
  • Language
  • Military Research
  • Notation
  • Parallel Computing
  • Petri Nets
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computer Networking
  • Database Systems and Applications