Semantics and analysis of linda-based languages
In this paper we define a process algebra abstracting relevant features of the Linda paradigm to parallel computation and show how to give it a semantics based on higher-dimensional automata which is more expressive than interleaving transition systems. In particular, it is a truly concurrent operational semantics, compositional in nature.
Furthermore this semantics leads us to new kinds of abstract interpretations useful for the static analysis of concurrency. One of these addresses the correctness of implementations of Linda programs on real computers (which have a finite number of processors).
Unable to display preview. Download preview PDF.
- [CC92]P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4), 1992.Google Scholar
- [CG90]N. Carriero and D. Gelernter. How to write parallel programs A first course. MIT Press, Cambridge, Mass., 1990.Google Scholar
- [CJY92]P. Ciancarini, K. K. Jensen, and D. Yankelevitch. The semantics of a parallel language based on a shared data space. Technical Report 26, DIUP, 1992.Google Scholar
- [FS90]P. J. Freyd and A. Scedrov. Categories, allegories. In North-Holland Mathematical Library, volume 39. North-Holland, 1990.Google Scholar
- [GJ92]E. Goubault and T.P. Jensen. Homology of higher-dimensional automata. In Proc. of CONCUR'92, Stonybrook, New York, August 1992. Springer-Verlag.Google Scholar
- [Gla91]R. van Glabbeek. Bisimulation semantics for higher dimensional automata. Technical report, Stanford University, 1991.Google Scholar
- [Gou93]E. Goubault. Towards a theory of higher-dimensional automata. Technical report, Ecole Normale Supérieure, to appear 1993.Google Scholar
- [Hoa78]C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):667–677, August 1978.Google Scholar
- [HU79]J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.Google Scholar
- [Jag91]S. Jagannathan. Expressing fine-grained parallelism using concurrent data structures. In J. B. Banâtre and D. Le Métayer, editors, Research Directions in High-Level Parallel Programming Languages, volume 574 of Lecture Notes in Computer Science, pages 77–92, June 1991.Google Scholar
- [Mac71]S. Mac Lane. Categories for the working mathematician. Springer-Verlag, 1971.Google Scholar
- [Mas92]F. Masdupuy. Array operations abstraction using semantic analysis of trapezoid congruences. In International Conference on Supercomputing, July 1992.Google Scholar
- [May83]D. May. OCCAM. ACM SIGPLAN Notices, 18(4):69–79, April 1983.Google Scholar
- [Pra91]V. Pratt. Modeling concurrency with geometry. In Proc. 18th ACM Symposium on Principles of Programming Languages. ACM Press, 1991.Google Scholar