Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
VMTP: a transport protocol for the next generation of communication systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers
Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Remote pipes and procedures for efficient distributed communication
ACM Transactions on Computer Systems (TOCS)
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Recovery in distributed systems using asynchronous message logging and checkpointing
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Computer networks
RPC in the x-Kernel: evaluating new design techniques
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
ACM Transactions on Computer Systems (TOCS)
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Protocols for large data transfers over local networks
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Publishing: a reliable broadcast communication mechanism
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
RPC in the x-Kernel: evaluating new design techniques
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lazy replication: exploiting the semantics of distributed services
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
An associated object model for distributed systems
ACM SIGOPS Operating Systems Review
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
ACM SIGOPS Operating Systems Review
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
A graphical interface for analysis of communication protocols
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A new way to design causally and totally ordered multicast protocols
ACM SIGOPS Operating Systems Review
An evaluation framework for Multicast Ordering Protocols
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
Manetho: Transparent Roll Back-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit
IEEE Transactions on Computers - Special issue on fault-tolerant computing
The process group approach to reliable distributed computing
Communications of the ACM
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Causal ordering in reliable group communications
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Structural complexity and execution efficiency of distributed application protocols
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Partial-order transport service for multimedia and other applications
IEEE/ACM Transactions on Networking (TON)
A security architecture for fault-tolerant systems
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Global flush communication primitive for inter-process communication
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
On group communication in large-scale distributed systems
ACM SIGOPS Operating Systems Review
The Totem single-ring ordering and membership protocol
ACM Transactions on Computer Systems (TOCS)
A reliable dissemination protocol for interactive collaborative applications
Proceedings of the third ACM international conference on Multimedia
A system for constructing configurable high-level protocols
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
The Transis approach to high availability cluster communication
Communications of the ACM
Horus: a flexible group communication system
Communications of the ACM
Efficient message ordering in dynamic networks
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Parallel and Distributed Systems
Implementing sequentially consistent shared objects using broadcast and point-to-point communication
Journal of the ACM (JACM)
Coyote: a system for constructing fine-grain configurable communication services
ACM Transactions on Computer Systems (TOCS)
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
Efficient atomic broadcast using deterministic merge
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
An efficient algorithm for causal messages ordering
Proceedings of the 2001 ACM symposium on Applied computing
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Fault-tolerance support in distributed systems: position paper
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A new approach to structuring distributed applications using hierarchical worlds
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
On group communication in large-scale distributed systems
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
How to avoid the cost of causal communication in large-scale systems
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Modularizing fault-tolerant protocols
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Large causality: ordering broadcasts and messages
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Group orientation: a paradigm for modern distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Requirements for high performance group support in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Object-Oriented Design of QoS Multicast Communications
Cluster Computing
The Journal of Supercomputing
RMP: Fault-Tolerant Group Communication
IEEE Micro
Reliability Through Consistency
IEEE Software
The Timewheel Group Communication System
IEEE Transactions on Computers
Storage Efficient Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
A Fault-Tolerant Protocol for Atomic Broadcast
IEEE Transactions on Parallel and Distributed Systems
An Implementation of F-Channels
IEEE Transactions on Parallel and Distributed Systems
Processor Membership in Asynchronous Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Reducing False Causality in Causal Message Ordering
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Evaluation of the Optimal Causal Message Ordering Algorithm
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
ATOM - Active Totally Ordered Multicast
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Topology-Aware Algorithms for Large-Scale Communication
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
A Scalable and Reliable Multicast Communiction Service in Java
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Implementation and performance of a stable-storage service in Unix
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Performance of the Optimal Causal Multicast Algorithm: A Statistical Analysis
IEEE Transactions on Parallel and Distributed Systems
ITRA: Inter-Tier Relationship Architecture for End-to-end QoS
The Journal of Supercomputing
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
Implementation of hierarchical F-channels for high-performance distributed computing
Distributed Computing
Mobi_Causal: a protocol for causal message ordering in mobile computing systems
ACM SIGMOBILE Mobile Computing and Communications Review
A domain and type enforcement UNIX prototype
SSYM'95 Proceedings of the 5th conference on USENIX UNIX Security Symposium - Volume 5
Adding group communication and fault-tolerance to CORBA
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
ELECTRA: making distributed programs object-oriented
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Decentralized message ordering for publish/subscribe systems
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Throughput optimal total order broadcast for cluster environments
ACM Transactions on Computer Systems (TOCS)
Decentralized message ordering for publish/subscribe systems
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Run-time switching between total order algorithms
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Anonymous agreed order multicast: performance and free riding
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
Research: Design of broadcast programming primitives for distributed systems
Computer Communications
Research: Design and analysis of an efficient and reliable atomic multicast protocol
Computer Communications
Causal order multicast protocol using minimal message history information
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Hi-index | 0.06 |
When processes in a network communicate, the messages they exchange define a partial ordering of externally visible events. While the significance of this partial order in distributed computing is well understood, it has not been made an explicit part of the communication substrate upon which distributed programs are implemented. This paper describes a new interprocess communication mechanism, called Psync, that explicitly encodes this partial ordering with each message. The paper shows how Psync can be efficiently implemented on an unreliable communications network, and it demonstrates how conversations serve as an elegant foundation for ordering messages exchanged in a distributed computation and for recovering from processor failures.