Skip to main content
Log in

Abstract

For common data flow schemes, the number of copies of tokens made during a computation is shown to be a Blum complexity measure.(1) Results from abstract complexity theory (see Ref. 2) then hold for the copy measure, indicating, for example, that any implementation of a data flow processor will be constrained by its ability to copy tokens. The copy measure is a natural measure of complexity for data flow computations, and is distinct from the usual time or space measures. The result is generalized to a wider class of data flow schemas, including those with an apply operator. An example is also given of a data flow scheme which makes no copies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. M. Blum, A Machine-Independent Theory of the Complexity of Recursive Functions,JACM,14:322–336 (1967).

    Google Scholar 

  2. M. Machtey and P. Young,An Introduction to the General Theory of Algorithms. New York, New York:North-Holland, (1978).

    Google Scholar 

  3. J. B. Dennis, First Version of a Data Flow Procedure Language. MIT Technical Memorandum 61, MIT Project MAC, Cambridge, Massachusetts, (1975).

    Google Scholar 

  4. J. R. Gurd, C. C. Kirkham, and I. Watson, The Manchester Prototype Dataflow Computer,Communications of the ACM,28(l):34–52 (1985).

    Google Scholar 

  5. J. E. Rodriguez, A Graph Model for Parallel Computation. MIT Technical report MAC- TR-64, MIT, Cambridge, Mass., (1969).

    Google Scholar 

  6. H. Rogers, Jr., Gödel Numberings of Partial Recursive Functions,”J. of Symbolic Logic,23:331–341 (1958).

    Google Scholar 

  7. M. Rabin, Degree of Difficulty of Computing a Function. Hebrew University Technical Report 2, (1960).

  8. C. Smith, A Note on Arbitrarily Complex Recursive Functions, (in preparation).

  9. A. Borodin, Computational Complexity and the Existance of Complexity Gaps,J. of the ACM,19:158–174 (1972).

    Google Scholar 

  10. M. Hennessy, Modeling Fair Processes, inProc. of the 16th ACM Symposium on Theory of Computing, Washington D.C., (1984).

Download references

Author information

Authors and Affiliations

Authors

Additional information

Supported in part by NSF Grant MCS 83-01536 and NSA OCREAE Grant MDA904-85-H-0002.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Motteler, H.E., Smith, C.H. A complexity measure for data flow models. International Journal of Computer & Information Sciences 14, 107–122 (1985). https://doi.org/10.1007/BF00996925

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00996925

Key words

Navigation