Asynchronous Reconfiguration for Paxos State Machines Leander Jehl and Hein Meling Department of Electrical Engineering and Computer Science University of Stavanger, Norway

Source URL: www.ux.uis.no

• Concurrent computing
• State machine replication
• Consensus
• Replication
• Paxi
• Eventual consistency
• Paxos
• State
• Fault-tolerant system
• Fault-tolerant computer systems
• Computing
• Computer architecture

Towards Fast and Efficient Failure Handling for Paxos State Machines Leander Jehl and Hein Meling Department of Electrical Engineering and Computer Science, University of Stavanger, Norway Email: [removed], hei

Source URL: www.ux.uis.no

• Replication
• Consensus
• Fault-tolerant system
• Paxi
• Paxos
• Object
• Fault-tolerant computer systems
• Computing
• State machine replication

Brief Announcement: Replacement - Handling Failures in a Replicated State Machine Leander Jehl, Tormod Erevik Lea, and Hein Meling University of Stavanger, Norway {leander.jehl,tormod.e.lea,hein.meling}@uis.no

Source URL: www.ux.uis.no

• Concurrent computing
• Software
• State machine replication
• Replication
• Paxos
• Consensus
• Paxi
• ACE
• Amateur Radio Emergency Communications
• Fault-tolerant computer systems
• Computing
• Data synchronization

Tutorial Summary: Paxos Explained from Scratch Hein Meling and Leander Jehl University of Stavanger, Norway Abstract. Paxos is a flexible and fault tolerant protocol for solving the consensus problem, where participants

Source URL: www.ux.uis.no

• Fault-tolerant computer systems
• Consensus
• Paxos

When You Don’t Trust Clients: Byzantine Proposer Fast Paxos Hein Meling∗ , Keith Marzullo† , and Alessandro Mei‡ of Electrical Engineering and Computer Science, University of Stavanger, Norway † Department of C

Source URL: www.ux.uis.no

• Applied mathematics
• Consensus
• State machine replication
• Paxos
• Byzantine fault tolerance
• IP
• Paxi
• Finite-state machine
• Replication
• Fault-tolerant computer systems
• Computing
• Theoretical computer science

Low-Latency Multi-Datacenter Databases using Replicated Commit Hatem Mahmoud, Faisal Nawab, Alexander Pucher, Divyakant Agrawal, Amr El Abbadi University of California Santa Barbara, CA, USA {hatem,nawab,pucher,agrawal,a

Source URL: www.vldb.org

• Information
• Fault-tolerant computer systems
• Databases
• Concurrency control
• Two-phase commit protocol
• Replication
• Consensus
• Paxos
• Quorum
• Transaction processing
• Data management
• Data

Paxos Made Live - An Engineering Perspective Tushar Chandra Robert Griesemer Joshua Redstone June 26, 2007 Abstract

Source URL: static.googleusercontent.com

• Replication
• Consensus
• Fault-tolerant system
• Object
• Extensible Storage Engine
• State machine replication
• Virtual synchrony
• Fault-tolerant computer systems
• Computing
• Paxos

On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡

Source URL: www.cs.ucy.ac.cy

• Programming language theory
• Fault-tolerant computer systems
• Models of computation
• ALGOL 68
• Consensus
• I/O Automaton
• Finite-state machine
• Computing
• Software engineering
• Automata theory

Paxos for System Builders Jonathan Kirsch and Yair Amir Technical Report CNDSMarch 2008 http://www.dsn.jhu.edu Abstract This paper presents a complete specification of the Paxos replication protocol such

Source URL: www.cnds.jhu.edu

• Computer architecture
• State machine replication
• Virtual synchrony
• Consensus
• Two-phase commit protocol
• Replication
• Representational state transfer
• Transmission Control Protocol
• Fault-tolerant computer systems
• Computing
• Concurrent computing

BEDIENUNGSANLEITUNG Elektronisches HochsicherheitsVerschlusssystem Paxos® compact Bedienungsanleitung Elektronisches Hochsicherheits-Verschlusssystem

Source URL: www.simonsafe.ch