Clock-RSM: Low-Latency Inter-Datacenter State Machine Replication Using Loosely Synchronized Physical Clocks (Technical Report)
نویسندگان
چکیده
This paper proposes Clock-RSM, a new state machine replication protocol that uses loosely synchronized physical clocks to totally order commands for geo-replicated services. Clock-RSM assumes realistic non-uniform latencies among replicas located at different data centers. It provides low-latency linearizable replication by overlapping 1) logging a command at a majority of replicas, 2) determining the stable order of the command from the farthest replica, and 3) notifying the commit of the command to all replicas. We evaluate Clock-RSM analytically and derive the expected command replication latency. We also evaluate the protocol experimentally using a geo-replicated key-value store deployed across multiple Amazon EC2 data centers.
منابع مشابه
Consistency Models in Distributed Systems with Physical Clocks
Most existing distributed systems use logical clocks to order events in the implementation of various consistency models. Although logical clocks are straightforward to implement and maintain, they may affect the scalability, availability, and latency of the system when being used to totally order events in strong consistency models. They can also incur considerable overhead when being used to ...
متن کاملReplacement - Handling Failures in a Replicated State Machine
State machine replication is a common approach for building fault-tolerant services. A Replicated State Machine (RSM) typically uses a consensus protocol such as Paxos [1] to decide on the order of updates and thus keep replicas consistent. Using Paxos, the RSM can continue to process new requests, as long as more than half of the replicas remain operational. If this bound is violated, however,...
متن کاملهمزمانی ساعتها در فضا – زمان عام
Einstein and transport synchronizations of infinitesimally spaced and distant clocks are considered in a general Riemannian space-time. It is shown that infinitesimally spaced clocks can always be synchronized. In general one can not find observers for whom distant clock are Einstein synchronized but transport synchronized observers do always exit. Whenever both procedures are possible, they ...
متن کاملA Protocol for Loosely Time-Triggered Architectures
A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a weaker form of the strictly synchronous Time-Triggered Architecture proposed by Kopetz, in which the different periodic clocks are not synchronized, and thus may suffer from relative offset or jitter. We propose a...
متن کاملGlobal Causal Ordering with Minimal Latency
Causally order delivery of messages is a useful property for coordinating the activities of processors in a distributed system and for maintaining the consistency of replicated information. Timestamps in the messages can be used to impose a causal order on the delivery of messages using logical clocks or physical clocks. However, systems based on logical clocks experience a latency to message d...
متن کامل