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.
Similar content being viewed by others
References
M. Blum, A Machine-Independent Theory of the Complexity of Recursive Functions,JACM,14:322–336 (1967).
M. Machtey and P. Young,An Introduction to the General Theory of Algorithms. New York, New York:North-Holland, (1978).
J. B. Dennis, First Version of a Data Flow Procedure Language. MIT Technical Memorandum 61, MIT Project MAC, Cambridge, Massachusetts, (1975).
J. R. Gurd, C. C. Kirkham, and I. Watson, The Manchester Prototype Dataflow Computer,Communications of the ACM,28(l):34–52 (1985).
J. E. Rodriguez, A Graph Model for Parallel Computation. MIT Technical report MAC- TR-64, MIT, Cambridge, Mass., (1969).
H. Rogers, Jr., Gödel Numberings of Partial Recursive Functions,”J. of Symbolic Logic,23:331–341 (1958).
M. Rabin, Degree of Difficulty of Computing a Function. Hebrew University Technical Report 2, (1960).
C. Smith, A Note on Arbitrarily Complex Recursive Functions, (in preparation).
A. Borodin, Computational Complexity and the Existance of Complexity Gaps,J. of the ACM,19:158–174 (1972).
M. Hennessy, Modeling Fair Processes, inProc. of the 16th ACM Symposium on Theory of Computing, Washington D.C., (1984).
Author information
Authors and Affiliations
Additional information
Supported in part by NSF Grant MCS 83-01536 and NSA OCREAE Grant MDA904-85-H-0002.
Rights 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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00996925