Issue No. 08 - August (2002 vol. 13)
<p><b>Abstract</b>—Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show in this paper 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.</p>
Asynchronous parallelism, distributed shared memory, Linda model, distributed application, type, directed communication, false matching, type scope.
Alain Gibaud, Philippe Thomin, "Communications Directed by Bound Types in Linda: Presentation and Formal Model", IEEE Transactions on Parallel & Distributed Systems, vol. 13, no. , pp. 828-843, August 2002, doi:10.1109/TPDS.2002.1028439