Law-Governed Linda as a Coordination Model

   page       BibTeX_logo.png   
Naftaly H. Minsky, Jerrold Leichter
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (a cura di)
Object-based Models and Languages for Concurrent Systems, pp. 125-146
Lecture Notes in Computer Science 924
Springer
1995

Linda is a very high level communication model which allows processes to communicate without knowing each other's identities and without having to arrange for a definite rendezvous. This high level of abstraction would make Linda particularly suitable for use as a coordination model for open systems, if it were not for the fact that the Linda communication is very unsafe. We propose to remove this deficiency of Linda by means of the concept of law-governed architecture previously applied to centralized and message passing systems. We define a model for Law-Governed Linda (LGL) communication, and we demonstrate its efficacy by means of several illustrative examples.