A Concurrent Programming Support for Distributed Systems

This paper describes a concurrent programming support implemented on a distributed architecture. The concurrent programming model is derived from the Communicating Sequential Processes (CSP), with some extensions to allow asymmetrical and asynchronous communications; furthermore, some statements for fault handling have been defrned. The system described here, is named NERECO (NEtwork REmote COmmunications). It is composed of a concurrent language and a set of static tools and a run-time support for the design and the implementation of concurrent distributed applications on a network of computers. The NERECO system has been implemented in C on a network of Sun workstations. @ Computing Systems, Vol. 3 'No. 3 'Summer 1990 423

[1]  Narain H. Gehani,et al.  Broadcasting Sequential Processes (BSP) , 1984, IEEE Transactions on Software Engineering.

[2]  Inmos Corp,et al.  Occam Programming Manual , 1984 .

[3]  Henry Ledgard,et al.  Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[4]  A. Retrospective,et al.  The UNIX Time-sharing System , 1977 .

[5]  Laura Ricci,et al.  Static checking of interprocess communication in ECSP , 1984, SIGPLAN '84.

[6]  Per Brinch Hansen,et al.  Joyce—A programming language for distributed systems , 1987, Softw. Pract. Exp..

[7]  D. Crookes,et al.  An experiment in language design for distributed systems , 1984, Softw. Pract. Exp..

[8]  Morris Sloman,et al.  The Conic Support Environment for Distributed Systems , 1987 .

[9]  Domenico Talia,et al.  A language based approach for reliable distributed computing , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

[10]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[11]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[14]  Laura Ricci,et al.  Structure Process for a Cooperative Approach to Fault-Tolerant Distributed Software , 1984, Symposium on Reliability in Distributed Software and Database Systems.

[15]  Samuel J. Leffler,et al.  A 4.2bsd Interprocess Communication Primer , 1983 .

[16]  R. Strom,et al.  NIL: An integrated language and system for distributed programming , 1983, SIGPLAN '83.

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