Language and visualization support for large-scale concurrency
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 296-308
- https://doi.org/10.1109/icse.1988.93710
Abstract
SDL (shared dataspace language) is a language for writing and visualizing programs consisting of thousands of processes executing on a highly parallel multiprocessor. SDL is based on a model in which processes use powerful transactions to manipulate abstract views of a virtual content-addressable data structure called the dataspace. The process society is dynamic and supports varying degrees of process anonymity. The transactions are executed over abstract views of the dataspace. This facilitates elegant conceptualization of dataspace transformations and compact program representation. Processes and transactions enable SDL to combine elements of both large- and fine-grained concurrency. The view is a novel abstraction mechanism whose significance is derived from the fact that it allows processes to interrogate the dataspace at a level of abstraction convenient for the task they are pursuing.Keywords
This publication has 15 references indexed in Scilit:
- Visual programming by transaction networkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal specification of geographic data processing requirementsIEEE Transactions on Knowledge and Data Engineering, 1990
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985
- Pict: An Interactive Graphical Programming EnvironmentComputer, 1984
- Open SystemsPublished by Springer Nature ,1984
- A system for algorithm animationACM SIGGRAPH Computer Graphics, 1984
- Associons: A Program Notation with Tuples Instead of VariablesACM Transactions on Programming Languages and Systems, 1981
- Spatial management of dataACM Transactions on Database Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975