Distributed programming with shared data
- 1 January 1988
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Operating system primitives (e.g., problem-oriented shared memory, shared virtual memory, the Agora shared memory) and languages (e.g., Concurrent Prolog, Linda, Emerald) for programming distributed systems have been proposed that support the shared-variable paradigm without the presence of physical shared memory. The authors look at the reasons for this evolution, the resemblances and differences among these proposals, and the key issues in their design and implementation. It turns out that many implementations are based on replication of data. The authors take this idea one step further, and discuss how automatic replication (initiatied by the run-time system) can be used as a basis for a model, called the shared data-object model, whose semantics are similar to the shared variable model. Finally, they discuss the design of a language for distributed programming, Orca, which is based on the shared-data-object modelKeywords
This publication has 23 references indexed in Scilit:
- Concurrent Prolog: A Progress ReportComputer, 1986
- A parallel implementation of Flat Concurrent PrologInternational Journal of Parallel Programming, 1986
- The S/Net's Linda kernelACM Transactions on Computer Systems, 1986
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986
- Broadcasting Sequential Processes (BSP)IEEE Transactions on Software Engineering, 1984
- Performing remote operations efficiently on a local computer networkCommunications of the ACM, 1982
- Concurrency Control in Distributed Database SystemsACM Computing Surveys, 1981
- Communication Port: A Language Concept for Concurrent ProgrammingIEEE Transactions on Software Engineering, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977