Ada-Linda: a powerful paradigm for programming distributed Ada applications

In spite of recent advances in hardware and computer technology, we still face a daunting task when programming parallel or distributed systems. The difficulties are linked to the expression and control of concurrent activities and to their communication and synchronization. In this context, our approach is to introduce software engineering features in a domain where these notions are not widely used. We have in mind a set of reusable software components which address various issues related to distributed system programming: control, communication and paradigms. In this paper, we present the Linda model which offers an interesting paradigm for the distribution of Ada applications.

[1]  Henri E. Bal,et al.  Programming languages for distributed computing systems , 1989, CSUR.

[2]  Nicholas Carriero,et al.  How to write parallel programs: a guide to the perplexed , 1989, CSUR.

[3]  Paul Hudak,et al.  Memory coherence in shared virtual memory systems , 1989, TOCS.

[4]  Henri E. Bal,et al.  Orca: A Language For Parallel Programming of Distributed Systems , 1992, IEEE Trans. Software Eng..

[5]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[6]  R. Jha,et al.  Distributed Ada-approach and implementation , 1989, TRI-Ada '89.

[7]  A. J. Wellings,et al.  Distributed Ada: developments and experiences: The York Distributed Ada Project , 1990 .

[8]  Alan Burns,et al.  A Review of Ada Tasking , 1987, Lecture Notes in Computer Science.

[9]  Laurent Pautet,et al.  Ada Reusable Software Components for Teaching Distributed Systems , 1994, CSEE.

[10]  Laurent Pautet,et al.  A distributed shared virtual memory for Ada 83 and Ada 9X applications , 1993, TRI-Ada '93.

[11]  R. J. A. Buhr,et al.  System design with Ada , 1984 .

[12]  Anthony Gargaro.  Virtual nodes/distributed systems working group , 1989, IRTAW '89.

[13]  Nicholas Carriero,et al.  Applications experience with Linda , 1988, PPEALS '88.

[14]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[15]  Michel Raynal,et al.  Detection of stable properties in distributed applications , 1987, PODC '87.

[16]  Laurent Pautet,et al.  Integrating page replacement in a distributed shared virtual memory , 1994, 14th International Conference on Distributed Computing Systems.

[17]  Laurent Pautet,et al.  Ada communication components for distributed and real time applications , 1992, TRI-Ada '92.

[18]  Nicholas Carriero,et al.  The S/Net's Linda kernel , 1986, TOCS.

[19]  Jr. Nicholas John Carriero.  Implementation of tuple space machines , 1987 .