<--- Back to Details
First PageDocument Content
Fault-tolerant computer systems / Computing / Distributed algorithms / Computer programming / Inter-process communication / Paxos / Consensus / Software engineering / Haskell features / Algorithm / Futures and promises
Date: 2014-06-12 03:57:46
Fault-tolerant computer systems
Computing
Distributed algorithms
Computer programming
Inter-process communication
Paxos
Consensus
Software engineering
Haskell features
Algorithm
Futures and promises

CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract

Add to Reading List

Source URL: www.scs.stanford.edu

Download Document from Source Website

File Size: 154,25 KB

Share Document on Facebook

Similar Documents

Computing / Concurrent computing / Fault-tolerant computer systems / Distributed computing / Blockchain / Cryptocurrencies / Encodings / Paxos / Leader election / Consensus / Node / Tree

piChain: When a Blockchain meets Paxos Conrad Burchert1 and Roger Wattenhofer2 1 ETH Zurich, Switzerland

DocID: 1vpTH - View Document

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

DocID: 1vm9u - View Document

arXiv:1608.06696v1 [cs.DC] 24 AugFlexible Paxos: Quorum intersection revisited Heidi Howard1,2 , Dahlia Malkhi1 and Alexander Spiegelman1,3 1

DocID: 1vee5 - View Document

Implementing Replicated Logs with Paxos John Ousterhout and Diego Ongaro Stanford University Note: this material borrows heavily from slides by Lorenzo Alvisi, Ali Ghodsi, and David Mazières

DocID: 1ucMn - View Document

Paxos Replicated State Machines as the Basis of a High-Performance Data Store William J. Bolosky*, Dexter Bradshaw, Randolph B. Haagens, Norbert P. Kusters and Peng Li Microsoft and *Microsoft Research {bolosky, dexterb,

DocID: 1tWZt - View Document