Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Designing a global name service
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed systems
Exploiting replication in distributed systems
Distributed systems
Replication in the harp file system
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Providing high availability using lazy replication
ACM Transactions on Computer Systems (TOCS)
Lazy release consistency for software distributed shared memory
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Causal controversy at Le Mont St.-Michel
ACM SIGOPS Operating Systems Review
The Information Bus: an architecture for extensible distributed systems
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Distributed process groups in the V Kernel
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
A recovery algorithm for a distributed database system
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Using Consistent Subcuts for Detecting Stable Properties
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
ACM SIGOPS Operating Systems Review
The Information Bus: an architecture for extensible distributed systems
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
To CATOCS or not to CATOCS, that is the …
ACM SIGOPS Operating Systems Review
Log-based receiver-reliable multicast for distributed interactive simulation
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Parallel and Distributed Systems
A reliable multicast framework for light-weight sessions and application level framing
IEEE/ACM Transactions on Networking (TON)
System support for partition-aware network applications
ACM SIGOPS Operating Systems Review
System support for object groups
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Operation transforms for a distributed shared spreadsheet
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
ACM Transactions on Computer Systems (TOCS)
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
IEEE Transactions on Software Engineering
Synchronizing group transaction with rendezvous in a distributed Ada environment
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
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
Critical causality in distributed virtual environments
Proceedings of the sixteenth workshop on Parallel and distributed simulation
ITP: an image transport protocol for the internet
IEEE/ACM Transactions on Networking (TON)
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Fundamentals of Distributed System Observation
IEEE Software
The Timewheel Group Communication System
IEEE Transactions on Computers
Perfect Failure Detection in Timed Asynchronous Systems
IEEE Transactions on Computers
Reducing False Causality in Causal Message Ordering
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Membership-Insensitive Totally Ordered Multicast: Properties and Performance
NETWORKING '00 Proceedings of the IFIP-TC6 / European Commission International Conference on Broadband Communications, High Performance Networking, and Performance of Communication Networks
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Time in Distributed System Models and Algorithms
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Avoiding State Explosion for Distributed Systems with Timestamps
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A causal message ordering scheme for distributed embedded real-time systems
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
A Network Communication Protocol for Distributed Virtual Environment Systems
VRAIS '96 Proceedings of the 1996 Virtual Reality Annual International Symposium (VRAIS 96)
Object-Based Message Ordering in Group Communication
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Characterization and delivery of directly coupled causal messages in distributed systems
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
An analysis of update ordering in distributed replication systems
Future Generation Computer Systems - Special issue: Advanced services for clusters and internet computing
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
Presence: Teleoperators and Virtual Environments - Special issue: Advances in collaborative virtual environments
Plausible clocks: constant size logical clocks for distributed systems
Distributed Computing
Handling message semantics with Generic Broadcast protocols
Distributed Computing
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
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
A RIO-like technique for interactivity loss-avoidance in fast-paced multiplayer online games
Computers in Entertainment (CIE) - Theoretical and Practical Computer Applications in Entertainment
Safety and consistency in policy-based authorization systems
Proceedings of the 13th ACM conference on Computer and communications security
Active names: flexible location and transport of wide-area resources
USITS'99 Proceedings of the 2nd conference on USENIX Symposium on Internet Technologies and Systems - Volume 2
Experience with a language for writing coherence protocols
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems
ACM Transactions on Information and System Security (TISSEC)
Debugging and testing middleware with aspect-based control-flow and causal patterns
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Utility-driven proactive management of availability in enterprise-scale information flows
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Practical impact of group communication theory
Future directions in distributed computing
Experiences with tracing causality in networked services
INM/WREN'10 Proceedings of the 2010 internet network management conference on Research on enterprise networking
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Utility-driven proactive management of availability in enterprise-scale information flows
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Replication-aware transactions: how to roll a transaction over failures
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Research: Significantly ordered delivery of messages in group communication
Computer Communications
The potential dangers of causal consistency and an explicit solution
Proceedings of the Third ACM Symposium on Cloud Computing
Applying a theorem prover to the verification of optimistic replication algorithms
Rewriting Computation and Proof
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Stronger semantics for low-latency geo-replicated storage
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Proceedings of the 4th annual Symposium on Cloud Computing
Scalable service-oriented replication with flexible consistency guarantee in the cloud
Information Sciences: an International Journal
Hi-index | 0.01 |
Causally and totally ordered communication support (CATOCS) has been proposed as important to provide as part of the basic building blocks for constructing reliable distributed systems. In this paper, we identify four major limitations to CATOCS, investigate the applicability of CATOCS to several classes of distributed applications in light of these limitations, and the potential impact of these facilities on communication scalability and robustness. From this investigation, we find limited merit and several potential problems in using CATOCS. The fundamental difficulty with the CATOCS is that it attempts to solve problems at the communication level in violation of the well-known "end-to-end" argument.