System design with Ada
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel programming
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Modelling and programming in an object-oriented concurrent language ABCL/1
Object-oriented concurrent programming
An execution model for distributed object-oriented computation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Parallel execution of sequential scheme with ParaTran
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
FUTURES: a mechanism for concurrency among objects
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Communicating sequential processes
Communications of the ACM
An elementary language construct for parallel programming
ACM SIGPLAN Notices
Distributed simulation, algorithms and performance analysis (load balancing, distributed processing)
Distributed simulation, algorithms and performance analysis (load balancing, distributed processing)
Hi-index | 0.00 |
We present an overview of a model of execution for concurrent object-oriented general-purpose computation, and a run-time system---SAM---that supports the model of execution. The basic model, which is transparent to the programmer, uses data-driven synchronization and speculative computation to obtain concurrency, and rollback to ensure correctness. We discuss extensions to the basic model that include two new kinds of objects, multifutures and guarded objects, and language constructs such as parallel-do and divide-and-conquer, as well as other constructs that allow the programmer to control how futures are processed. While all of these extensions appear useful, some can be integrated more naturally than others into the model of execution.