Programming languages for distributed computing systems
- 1 September 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 21 (3) , 261-322
- https://doi.org/10.1145/72551.72552
Abstract
When distributed systems first appeared, they were programmed in traditional sequential languages, usually with the addition of a few library procedures for sending and receiving messages. As distributed applications became more commonplace and more sophisticated, this ad hoc approach became less satisfactory. Researchers all over the world began designing new programming languages specifically for implementing distributed applications. These languages and their history, their underlying principles, their design, and their use are the subject of this paper.We begin by giving our view of what a distributed system is, illustrating with examples to avoid confusion on this important and controversial point. We then describe the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial failures. Finally, we discuss 15 representative distributed languages to give the flavor of each. These examples include languages based on message passing, rendezvous, remote procedure call, objects, and atomic transactions, as well as functional languages, logic languages, and distributed data structure languages. The paper concludes with a comprehensive bibliography listing over 200 papers on nearly 100 distributed programming languages.Keywords
This publication has 127 references indexed in Scilit:
- Fine-grained mobility in the Emerald systemACM Transactions on Computer Systems, 1988
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- MULTILISP: a language for concurrent symbolic computationACM Transactions on Programming Languages and Systems, 1985
- Optimistic recovery in distributed systemsACM Transactions on Computer Systems, 1985
- Notes on the implementation of PARLOGThe Journal of Logic Programming, 1985
- The cosmic cubeCommunications of the ACM, 1985
- Implementation of CSP-S for description of distributed algorithmsComputer Languages, 1984
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsACM Transactions on Programming Languages and Systems, 1983
- Data-Driven and Demand-Driven Computer ArchitectureACM Computing Surveys, 1982
- High level programming for distributed computingCommunications of the ACM, 1979