Abstract
This paper shows that asynchronous message-passing actor languages can compete with classical synchronous, shared memory, PRAM languages. We prove the equivalence between these two computational models through their ability to express NC problems. This result corroborates the robustness of the NC class which encompasses problems exhibiting data-level parallelism.
This equivalence result enables to use interesting features of parallel and distributed execution models of PRAMs on realistic parallel architectures, in order to propose the bases of a randomized execution model for actor languages, which is asymptotically satisfactory. Morover, because the execution models of PRAMs and Actors share the same basic mechanisms, the actor execution model strengthens the opinion that the universal execution model for fine grain parallelism languages [Val89], [Val90] is as universal as the Von Neuman execution model in the sequential computation domain.
First author has partly been funded by EEC grants under Esprit Project P440
Second author worked within EEC Basic Research Project DEMON
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Agha. ACTORS: A model of concurrent computation in distributed systems. MIT Press, Cambridge Massachusetts, 1986.
F. Baude. Equivalence entre les modèles de calcul parallèle acteur et prams. Alcatel 6-month report, 1990.
Team LdM: F. Baude, S. Boucheron, P. Cléré, E. Nassor, and B. Pagès. Message passing architectures and description systems. Esprit project p440 final report, 1989.
F. Baude, F. Carre, P. Clere, and G. Vidal-Naquet. Topologies for large transputers networks: Theoretical aspects and experimental approach. In Proc. of the 10th Occam User Group Technical Meeting, pages 178–197. Springfield, 1989.
W.D.C. Clinger. Foundation of Actor Semantics. PhD thesis, MIT, Cambridge, Mass, 1981.
P.B. Gibbons. A more practical pram model. In Proc. of the 1989 ACM Symposium on Parallel Algorithms and Architectures, pages 158–168, 1989.
L. M. Goldschlager. A universal interconnection pattern for parallel computers. J. ACM, 29:1073–1086, 1982.
A. Gibbons and W. Rytter. Efficient parallel algorithms. Cambridge University Press, Cambridge, 1988.
F.T. Leighton, B. Maggs, and S. Rao. Universal packet routing algorithms. In Proc. of the 29th IEEE Symposium on Foundations of Comp. Science, pages 256–269, 1988.
K. Melhorn and U. Vishkin. Randomized and deterministic simulations of prams by parallel machines with restricted granularity of parallel memories. Acta Informatica, 21:339–374, 1984.
F.P. Preparata and J. Vuillemin. The cube-connected cycles: A versatile network for parallel computation. Comm. of the ACM, 24:300–309, 1981.
A.G. Ranade. How to emulate shared memory. In Proc. of the 28th IEEE symp. on FOCS., pages 185–194, 1987.
S. Rajasekaran and J.H. Reif. Optimal and sublogarithmic time randomized parallel sorting algorithms. SIAM J. Computing, 18:594–607, 1989.
Y. Sami and G. Vidal-Naquet. Formalisation of the behaviour of actors by colored petri nets and some applications. Research report 605 l.r.i., 1990.
E. Upfal. Efficient schemes for parallel communication. J. ACM, 31:507–517, 1984.
L.G. Valiant. General purpose parallel architectures. Tr-07-89 harvard university, Aiken Computation Lab., 1989.
L.G. Valiant. A bridging model for parallel computation. Communications of the ACM, 33:103–111, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baude, F., Vidal-Naquet, G. (1991). Actors as a parallel programming model. In: Choffrut, C., Jantzen, M. (eds) STACS 91. STACS 1991. Lecture Notes in Computer Science, vol 480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020798
Download citation
DOI: https://doi.org/10.1007/BFb0020798
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53709-0
Online ISBN: 978-3-540-47002-1
eBook Packages: Springer Book Archive