Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
High level programming for distributed computing
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Computer Networks
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Foundations of Actor Semantics
Foundations of Actor Semantics
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
Hi-index | 0.00 |
The defining characteristic of a distributed system is the (temporal) distance between components; communication time is non-trivial compared to processing time. Because of this, the design of efficient distributed computations involves trade-offs between maximizing the amount of parallelism and minimizing communication costs. We argue that any sort of centralized control, whether in user-level algorithms or at the systems level, impairs efficiency. We then introduce a scheme for automatic process synchronization that meets our locality criterion.