• handled safely. The Paxos protocol was first submitted in 1989 and named after a fictional legislative consensus system used on the Paxos island in Greece...
    63 KB (6,819 words) - 05:59, 22 April 2025
  • Paxos or Paxi is a Greek island in the Ionian sea. Paxos may also refer to: Paxos (computer science), a family of algorithms Paxos Trust Company, an American...
    278 bytes (65 words) - 10:20, 29 September 2022
  • log layer which is based on the Paxos consensus algorithm. In this scheme, Chubby clients communicate with the Paxos master in order to access/update...
    43 KB (4,770 words) - 20:45, 1 April 2025
  • Thumbnail for CAP theorem
    computing Lambda architecture (solution) PACELC theorem Paxos (computer science) Raft (computer science) Zooko's triangle Inconsistent triad Trilemma Gilbert...
    10 KB (1,076 words) - 19:27, 6 February 2025
  • Thumbnail for PACELC design principle
    Fallacies of distributed computing Lambda architecture (solution) Paxos (computer science) Project management triangle Raft (algorithm) Trilemma Dynamo,...
    13 KB (1,386 words) - 12:23, 21 March 2025
  • versions of Paxos are not Paxos protocols. For example, "Cheap Paxos" and "Vertical Paxos" are not bisimulation-equivalent to Basic Paxos. Thus the question...
    64 KB (9,697 words) - 03:07, 11 December 2023
  • Byzantine fault (category Fault-tolerant computer systems)
    networks List of terms relating to algorithms and data structures Paxos (computer science) – Family of protocols for solving consensus Quantum Byzantine...
    34 KB (4,058 words) - 16:43, 22 February 2025
  • Thumbnail for Raft (algorithm)
    algorithm designed as an alternative to the Paxos family of algorithms. It was meant to be more understandable than Paxos by means of separation of logic, but...
    14 KB (1,734 words) - 05:00, 18 January 2025
  • State machine replication (category Fault-tolerant computer systems)
    the total transfer. Paxos is a protocol for solving consensus, and may be used as the protocol for implementing Consensus Order. Paxos requires a single...
    24 KB (3,106 words) - 22:09, 27 April 2025
  • Thumbnail for Leslie Lamport
    Leslie Lamport (category Computer science writers)
    the field of computer science, and describe algorithms to solve many fundamental problems in distributed systems, including: the Paxos algorithm for...
    18 KB (1,616 words) - 18:41, 27 April 2025
  • Thumbnail for Redundancy (engineering)
    system Byzantine fault – Fault in a computer system that presents different symptoms to different observers Byzantine Paxos – Family of protocols for solving...
    20 KB (2,582 words) - 02:06, 15 April 2025
  • implementation of Leslie Lamport's Paxos Protocol. The main author is Ken Birman, a Professor of Computer Science at Cornell University, and it is the...
    3 KB (318 words) - 11:46, 8 December 2024
  • Rachid Guerraoui (category Moroccan computer scientists)
    5, 1967) is a Moroccan-Swiss computer scientist and a Full Professor in the School of Computer and Communication Sciences (IC) at EPFL, known for his contributions...
    19 KB (1,709 words) - 15:41, 14 March 2025
  • Replicated Database Systems". Journal of Computer and System Sciences. 57 (3): 309–324. doi:10.1006/jcss.1998.1566. Two-phase commit protocol Paxos algorithm...
    4 KB (577 words) - 20:34, 14 December 2024
  • implemented by a replicated log consisting of multiple subsequent rounds of the Paxos algorithm. This was popularized by Google's Chubby system, and is the core...
    24 KB (3,194 words) - 21:24, 27 April 2025
  • Thumbnail for Two-phase commit protocol
    in each transaction participant (tree node). Three-phase commit protocol Paxos algorithm Raft algorithm Two Generals' Problem Philip A. Bernstein, Vassos...
    15 KB (1,910 words) - 07:47, 25 February 2025
  • networking protocols. See also virtual synchrony, distributed state machines, Paxos algorithm, database transactions. Each class contains tens or even hundreds...
    18 KB (2,437 words) - 19:21, 25 November 2024
  • Thumbnail for Live distributed object
    Live distributed object (category Object (computer science))
    a specific type of live distributed object that uses a protocol such as Paxos, virtual synchrony, or state machine replication to achieve strong consistency...
    16 KB (2,218 words) - 20:48, 30 July 2024
  • Thumbnail for TLA+
    TLA+ (category Concurrency (computer science))
    the SMT solvers. TLAPS has been used to prove correctness of Byzantine Paxos, the Memoir security architecture, components of the Pastry distributed...
    40 KB (4,068 words) - 05:27, 17 January 2025
  • Ken Birman (category Columbia School of Engineering and Applied Science alumni)
    platform). Derecho implements an optimal Paxos protocol, configurable to support the classical durable Paxos with persistent storage, as well as an atomic...
    11 KB (1,022 words) - 23:46, 29 September 2024
  • Spanner), distributed across 10 data centers worldwide and replicated through Paxos protocol. When using Piper, developers apply changes to a local copy of...
    4 KB (537 words) - 00:43, 4 January 2025
  • Thumbnail for Susan Watts
    Susan Watts (category BBC science journalists)
    Paxo, Katz and the Two Kims Prospect magazine 2013 "Susan Watts joins the CSC as Head of Public Engagement". London Institute of Medical Sciences. 16...
    7 KB (608 words) - 07:26, 27 November 2024
  • Thumbnail for Data synchronization
    Data synchronization (category Fault-tolerant computer systems)
    one of those instances becomes the new master when the old master fails. Paxos and Raft are more complex protocols that exist to solve problems with transient...
    12 KB (1,591 words) - 13:10, 24 January 2024
  • Thumbnail for Spanner (database)
    Cloud Platform in 2017, under the name "Cloud Spanner". Spanner uses the Paxos algorithm as part of its operation to shard (partition) data across up to...
    7 KB (619 words) - 00:58, 21 October 2024
  • (computer science): agreeing on a single value or history among unreliable processors Chandra–Toueg consensus algorithm Paxos algorithm Raft (computer...
    72 KB (7,945 words) - 09:48, 26 April 2025
  • from Koç University in 2009 with a degree in Computer Engineering. She earned her Ph.D. in Computer Science from Cornell University in 2017, where her research...
    8 KB (731 words) - 08:17, 1 March 2025
  • $200M to fuel SecOps growth". TechCrunch. Retrieved 29 September 2021. "Paxos raises $300 million to build a cryptocurrency infrastructure giant". TechCrunch...
    332 KB (17,652 words) - 08:52, 20 May 2025
  • Thumbnail for South East England
    also make extractor hoods in Aldershot, and the European HQ of the Computer Sciences Corporation consulting firm is based at the A323/A325 roundabout....
    180 KB (17,544 words) - 20:36, 26 April 2025
  • Thumbnail for List of naval battles
    Spanish-French raid on La Goulette, Tunisia (details) – Venetians defeat Turks near Paxos (details) (late)? – Turks under Khalil defeat French under Fressinet near...
    197 KB (21,485 words) - 22:32, 18 May 2025
  • network Sensor fusion Fault tolerance Consensus (computer science) Chandra–Toueg consensus algorithm Paxos consensus protocol Raft consensus algorithm Marzullo's...
    14 KB (1,837 words) - 07:06, 28 January 2025