Communications Directed by Bound Types in Linda: Presentation and Formal Model

Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda-suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics.

[1]  William Leler,et al.  Linda meets Unix , 1990, Computer.

[2]  Fabio Vitali,et al.  PageSpace: An Architecture to Coordinate Distributed Applications on the Web , 1996, Comput. Networks.

[3]  Nicholas Carriero,et al.  How to write parallel programs - a first course , 1990 .

[4]  Nicholas Carriero,et al.  Parallel Programming in Linda , 1985, ICPP.

[5]  Paul Bowman,et al.  Hitting the distributed computing sweet spot with TSpaces , 2001, Comput. Networks.

[6]  David Gelernter,et al.  Multiple Tuple Spaces in Linda , 1989, PARLE.

[7]  Gul A. Agha,et al.  ActorSpace: an open distributed programming paradigm , 1993, PPOPP '93.

[8]  Dennis Shasha,et al.  PLinda 2.0: a transactional/checkpointing approach to fault tolerant Linda , 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

[9]  Naftaly H. Minsky,et al.  Law-Governed Linda as a Coordination Model , 1994, ECOOP Workshop.

[10]  Jerrold Sol Leichter.  Shared tuple memories, shared memories, buses and lan's--linda implementations across the spectrum of connectivity , 1989 .

[11]  Richard D. Schlichting,et al.  Supporting Fault-Tolerant Parallel Programming in Linda , 1995, IEEE Trans. Parallel Distributed Syst..

[12]  Tobin J. Lehman,et al.  T Spaces : The Next Wave , 2004 .

[13]  Werner J. Schönfeldinger.  WWW Meets Linda: Linda for Global WWW-Based Transaction Processing Systems , 1996, World Wide Web J..

[14]  Ellen H. Siegel,et al.  Implementing distributed Linda in Standard ML , 1991 .