Paxos made live: an engineering perspective

No abstract is available for this paper.

• Publication year

  2007

• Venue

  ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing

• Publication date

  2007-08-12

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1281100.1281103
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Bigtable: a distributed storage system for structured data

  2006cited by this paper
• The Chubby lock service for loosely-coupled distributed systems

  2006cited by this paper
• Boxwood: Abstractions as the Foundation for Storage Infrastructure

  2004cited by this paper
• The Google file system

  2003cited by this paper
• Paxos Made Simple

  2001cited by this paper
• Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems

  1999cited by this paper
• The part-time parliament

  1998cited by this paper
• Revisiting the PAXOS algorithm

  1997cited by this paper
• How to Build a Highly Available System Using Consensus

  1996cited by this paper
• Petal: distributed virtual disks

  1996cited by this paper
• ANTLR: A predicated‐LL(k) parser generator

  1995cited by this paper
• Advances in ULTRA-Dependable Distributed Systems

  1994cited by this paper
• Reaching agreement on processor-group membrship in synchronous distributed systems

  1991cited by this paper
• A Generator for Production Quality Compilers

  1990cited by this paper
• Implementing fault-tolerant services using the state machine approach: a tutorial

  1990cited by this paper
• Leases: an efficient fault-tolerant mechanism for distributed file cache consistency

  1989cited by this paper
• The Byzantine Generals Problem

  1982cited by this paper
• Yacc: Yet Another Compiler-Compiler

  1978cited by this paper
• Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components

  1956cited by this paper

• Arena: Multi-Leader Synchronous Byzantine Fault Tolerance

  2025cites this paper
• Achilles: Efficient TEE-Assisted BFT Consensus via Rollback Resilient Recovery

  2025cites this paper
• Crossword: Adaptive Consensus for Dynamic Data-Heavy Workloads

  2025cites this paper
• Enabling Low-Latency Distributed Updates with Metadata-Guided Synchronization and Seamless Service Transition

  2025cites this paper
• PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types

  2025influential citation
• Practical Considerations for Implementing State Machine Replication in the Cloud

  2025cites this paper
• Kollaps: Decentralized and Efficient Network Emulation for Large-Scale Systems

  2025cites this paper
• Optimizing Consistency in Distributed Data Services: The CP-Raft Protocol for High-Performance and Fault-Tolerant Replication

  2025cites this paper
• CloudJump II: Optimizing Cloud Databases for Shared Storage

  2025cites this paper
• Marlin: Efficient Coordination for Autoscaling Cloud DBMS

  2025cites this paper
• LeaseGuard: Raft Leases Done Right

  2025cites this paper
• Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases

  2025influential citation
• Qsync: Extending Simplified SMR Protocol with Partial Network Partition Tolerance

  2025cites this paper
• Composing State Machine Replication

  2025cites this paper
• Model-based Testing of Practical Distributed Systems in Actor Model

  2025cites this paper
• The LAW theorem: Local Reads and Linearizable Asynchronous Replication

  2025cites this paper
• TEE is not a Healer: Rollback-Resistant Reliable Storage

  2025cites this paper
• AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations

  2025cites this paper
• DRaft: A double-layer structure for Raft consensus mechanism

  2025cites this paper
• <inline-formula><tex-math notation="LaTeX">$\mathsf{Aurora}$</tex-math><alternatives><mml:math><mml:mrow><mml:mi mathvariant="sans-serif">Aurora</mml:mi></mml:mrow></mml:math><inline-graphic xlink:href="liu-ieq1-3540656.gif"/></alternatives></inline-formula>: Leaderless State-Machine Replication Wit

  2025cites this paper
• A virtual machine group-oriented TPM system for trusted cloud computing

  2025cites this paper
• OceanBase Unitization: Building the Next Generation of Online Map Applications

  2025cites this paper
• HoliPaxos: Towards More Predictable Performance in State Machine Replication

  2025cites this paper
• Asymmetric Linearizable Local Reads

  2025cites this paper
• Mako: Speculative Distributed Transactions with Geo-Replication

  2025cites this paper
• MultiPaxos Made Complete

  2024influential citation
• The Cost of Garbage Collection for State Machine Replication

  2024cites this paper
• Bandle: Asynchronous State Machine Replication Made Efficient

  2024cites this paper
• Towards Reconfigurable Linearizable Reads

  2024cites this paper
• SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

  2024cites this paper
• Beehive: A Flexible Network Stack for Direct-Attached Accelerators

  2024cites this paper
• Generic Multicast

  2024cites this paper
• The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols Analysis, Implementation, and Experimentation

  2024cites this paper
• Asynchronous Consensus Quorum Read: Pioneering Read Optimization for Asynchronous Consensus Protocols

  2024cites this paper
• PALF: Replicated Write-ahead Logging for Distributed Databases

  2024cites this paper
• Occam's Razor for Distributed Protocols

  2024cites this paper
• ICCG: low-cost and efficient consistency with adaptive synchronization for metadata replication

  2024cites this paper
• Extending State Machine Replication through Composition

  2024cites this paper
• How to Evaluate Distributed Coordination Systems?–A Survey and Analysis

  2024cites this paper
• Distributed Consensus in Content Centric Networking

  2023cites this paper
• [Solution] Mason: Scalable, Contiguous Sequencing for Building Consistent Services

  2023cites this paper
• Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance

  2023cites this paper
• A Fail-Operational Control Architecture for Autonomous Mobile Robots Based on State Machine Replication

  2023cites this paper
• Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper

  2023cites this paper
• AccFlow: Defending against the Low-Rate TCP DoS Attack in Drones

  2023cites this paper
• Bridging the Gap of Timing Assumptions in Byzantine Consensus

  2023cites this paper
• File Systems are not Enough: Rethinking the Storage API for Microsecond-Scale Cloud Applications

  2023cites this paper
• NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering

  2023cites this paper
• Fast Commitment for Geo-Distributed Transactions via Decentralized Co-coordinators

  2023cites this paper
• Coverage Guided Fault Injection for Cloud Systems

  2023cites this paper
• Gleaning the Consensus for Linearizable and Conflict-Free Per-Replica Local Reads

  2023cites this paper
• Evolving Paxos for the Non-Malicious Arbitrary Model

  2023influential citation
• Aggregation algorithm based on consensus verification

  2023cites this paper
• Capacity planning for dependable services

  2023cites this paper
• A Systematic Review of Consensus Mechanisms in Blockchain

  2023cites this paper
• Policy Integrated Blockchain to Automate HIPAA Part 2 Compliance

  2023cites this paper
• Consensus in Data Management: From Distributed Commit to Blockchain

  2023cites this paper
• A Taxonomic Hierarchy of Blockchain Consensus Algorithms: An Evolutionary Phylogeny Approach

  2023cites this paper
• RR: A Fault Model for Efficient TEE Replication

  2023cites this paper
• On the Message Complexity of Fault-Tolerant Computation: Leader Election and Agreement

  2023cites this paper
• M ASON : Scalable, Contiguous Sequencing for Building Consistent Services

  2023cites this paper
• Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication

  2023cites this paper
• Chemistry behind Agreement

  2023cites this paper
• ESDB: Processing Extremely Skewed Workloads in Real-time

  2022cites this paper
• PCRAFT: Capacity Planning for Dependable Stateless Services

  2022cites this paper
• Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+

  2022cites this paper
• The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation

  2022cites this paper
• Multidirectional Replication for Supporting Strong Consistency, Low Latency, and High Throughput

  2022cites this paper
• Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks

  2022cites this paper
• Styx++: Reliable Data Access and Availability Using a Hybrid Paxos and Chain Replication Protocol

  2022cites this paper
• Relaxed Paxos: quorum intersection revisited (again)

  2022cites this paper
• Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction

  2022cites this paper
• Rolis: a software approach to efficiently replicating multi-core transactions

  2022cites this paper
• SDN-ESRC: A Secure and Resilient Control Plane for Software-Defined Networks

  2022cites this paper
• ESCAPE to Precaution against Leader Failures

  2022cites this paper
• Efficient and stable quorum-based log replication and replay for modern cluster-databases

  2022cites this paper
• Baxos: Backing off for Robust and Efficient Consensus

  2022cites this paper
• Addressing the Read-Performance Impact of Reconfigurations in Replicated Key-Value Stores

  2022cites this paper
• Tutorial: Recent Progress in Practical State-Machine Replication Systems: Geo-Replication, Randomization, RDMA

  2022cites this paper
• Understanding Paxos and other distributed consensus algorithms

  2022cites this paper
• Fundamental Algorithms in Distributed Systems

  2022cites this paper
• CheckSync: Using Runtime-Integrated Checkpoints to Achieve High Availability}

  2022cites this paper
• The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation

  2022cites this paper
• STARRY: Multi-master Transaction Processing on Semi-leader Architecture

  2022cites this paper
• Accelerating Reads With In-Network Consistency-Aware Load Balancing

  2022influential citation
• PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications

  2022cites this paper
• Solution: Scalable, Contiguous Sequencing for Building Consistent Services

  2022cites this paper
• Coordinated Access to Shared Data Sources for Geo-replicated State Machines

  2022cites this paper
• The Case for Accelerating BFT Protocols Using In-Network Ordering

  2022cites this paper
• The Weakest Failure Detector for Genuine Atomic Multicast (Extended Version)

  2022cites this paper
• Scaling Replicated State Machines with Compartmentalization

  2021cites this paper
• Byzantine Fault-tolerant State-machine Replication from a Systems Perspective

  2021cites this paper
• Accurate and efficient follower log repair for Raft-replicated database systems

  2021cites this paper
• Protocol combinators for modeling, testing, and execution of distributed systems

  2021cites this paper
• VG-Raft: An Improved Byzantine Fault Tolerant Algorithm Based on Raft Algorithm

  2021cites this paper
• TBFT: Understandable and Efficient Byzantine Fault Tolerance using Trusted Execution Environment

  2021cites this paper
• BFT in Blockchains: From Protocols to Use Cases

  2021cites this paper
• Necklace: An Architecture for Distributed and Robust Service Function Chains With Guarantees

  2021cites this paper
• A comprehensive study on fault tolerance in stream processing systems

  2021cites this paper
• Efficient linearizability checking for actor‐based systems

  2021cites this paper