A shared dataspace model of concurrency-language and programming implications
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A language paradigm called shared dataspace is defined that causes computations to be performed using an anonymous, content-addressable communication medium acted upon by atomic transactions. To probe the essence of this paradigm, a relatively simple shared dataspace language called Swarm is defined. An overview is presented of the Swarm language. A formal operational model for the language is given and some of the programming implications and distinctive features of the model and language are discussed. Swarm programming strategies are examined using a series of related example programs.Keywords
This publication has 11 references indexed in Scilit:
- Declarative Visualization In The Shared Dataspace ParadigmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A shared dataspace language supporting large-scale concurrencyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Language and visualization support for large-scale concurrencyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Data parallel algorithmsCommunications of the ACM, 1986
- Linda and FriendsComputer, 1986
- On interprocess communicationDistributed Computing, 1986
- An example of stepwise refinement of distributed programs: quiescence detectionACM Transactions on Programming Languages and Systems, 1986
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Associons: A Program Notation with Tuples Instead of VariablesACM Transactions on Programming Languages and Systems, 1981
- Termination detection for diffusing computationsInformation Processing Letters, 1980