Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
An efficient reliable broadcast protocol
ACM SIGOPS Operating Systems Review
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Memory coherence in shared virtual memory systems
ACM Transactions on Computer Systems (TOCS)
Programming distributed systems
Programming distributed systems
Experiences with the Amoeba distributed operating system
Communications of the ACM
Munin: distributed shared memory based on type-specific memory coherence
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
FLIP: an internetwork protocol for supporting distributed systems
ACM Transactions on Computer Systems (TOCS)
Recent trends in experimental operating systems research
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Object distribution in Orca using Compile-Time and Run-Time techniques
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Comparing data synchronization in Ada 9X and Orca
ACM SIGAda Ada Letters
A Total Ordering Multicast Protocol Using Propagation Trees
IEEE Transactions on Parallel and Distributed Systems
Efficient message passing interface (MPI) for parallel computing on clusters of workstations
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Execution analysis of DSM applications: a distributed and scalable approach
SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Characteristics of modern system implementation languages
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Towards distributed programming paradigms in Ada 9X
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
VM-based shared memory on low-latency, remote-memory-access networks
Proceedings of the 24th annual international symposium on Computer architecture
Implementing sequentially consistent shared objects using broadcast and point-to-point communication
Journal of the ACM (JACM)
Run-time support for distributed sharing in safe languages
ACM Transactions on Computer Systems (TOCS)
Public data structures: counters as a special case
Theoretical Computer Science
MPI Collective Operations over IP Multicast
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Objects Shared by Byzantine Processes
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
InterWeave: A Middleware System for Distributed Shared State
LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Objects shared by Byzantine processes
Distributed Computing
Shared memory computing on clusters with symmetric multiprocessors and system area networks
ACM Transactions on Computer Systems (TOCS)
A Shared Memory Environment for Hypercubes
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 01
Panda: a portable platform to support parallel programming languages
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Carla: A rule language for specifying communications architectures
Computer Languages
A declarative coordination language
Computer Languages
Efficient fault-tolerant reliable broadcast in a multi-switch extended LAN
Computer Communications
Hi-index | 0.00 |
The two major design approaches taken to build distributed and parallel computer systems, multiprocessing and multicomputing, are discussed. A model that combines the best properties of both multiprocessor and multicomputer systems, easy-to-build hardware, and a conceptually simple programming model is presented. Using this model, a programmer defines and invokes operations on shared objects, the runtime system handles reads and writes on these objects, and the reliable broadcast layer implements indivisible updates to objects using the sequencing protocol. The resulting system is easy to program, easy to build, and has acceptable performance on problems with a moderate grain size in which reads are much more common than writes. Orca, a procedural language whose sequential constructs are roughly similar to languages like C or Modula 2 but which also supports parallel processes and shared objects and has been used to develop applications for the prototype system, is described.