Towards optimal synchronous counting
|
|
- Cuthbert Wilcox
- 6 years ago
- Views:
Transcription
1 Towards optimal synchronous counting Christoph Lenzen Joel Rybicki Jukka Suomela MPI for Informatics MPI for Informatics Aalto University Aalto University PODC 5 July 3
2 Focus on fault-tolerance Fault-tolerant co-ordination primitives: permanent failures (Byzantine faults) transient failures (self-stabilisation)
3 Focus on fault-tolerance Fault-tolerant co-ordination primitives: permanent failures (Byzantine faults) transient failures (self-stabilisation) Find solutions that are fast to recover space and communication-efficient
4 Our contribution A deterministic round counter with high resilience optimal recovery time low space/message complexity
5 Model of computing n state machines Synchronous rounds:. broadcast. receive 3. update state 3 4
6 Model of computing n state machines Synchronous rounds:. broadcast. receive 3. update state 3 4
7 Model of computing n state machines Synchronous rounds:. broadcast. receive 3. update state 3 4
8 Model of computing n state machines Synchronous rounds:. broadcast. receive 3. update state 3 4 Algorithm A maps a vector of states to a new state!
9 Complexity measures Time complexity: #rounds recovery time Space complexity: log #states complexity of the circuit number of bits broadcast per node
10 On failures our adversary
11 Transient failures n state machines arbitrary initial states chosen by adversary! = self-stabilisation 3 4
12 Byzantine failures n state machines f Byzantine failures 3 4
13 Byzantine failures n state machines f Byzantine failures 3 4
14 Byzantine failures n state machines f Byzantine failures 3 4
15 Byzantine failures n state machines f Byzantine failures 3 4
16 Byzantine failures n state machines f Byzantine failures 3 4 Non-faulty nodes can observe different states for the system!
17 Counting mod c 3-counting increment counter + mod c 3 4 Global pulse
18 Synchronous counting Counting 3 4 Global pulse
19 Synchronous counting Stabilisation Counting 3 4 Global pulse
20 Synchronous counting Stabilisation Counting! 3????????? 4 Global pulse
21 A related problem: Consensus Input: private bit Output: agreement
22 A related problem: Consensus Input: private bit Output: agreement
23 A related problem: Consensus Input: private bit Output: agreement
24 A related problem: Consensus Input: private bit Output: agreement
25 A related problem: Consensus Input: private bit Output: agreement
26 Reduction from consensus Given a -counting algorithm A that stabilises in t rounds consensus solvable in t rounds Dolev et al. (3)
27 Consensus lower bounds* Resilience f<n/3 Pease et al. (98) Time At least f rounds to reach agreement Fischer & Lynch (98) *deterministic
28 Prior work on -counting Resilience Time State bits D. Dolev & Hoch 7 * f<n/3 O(f) O(f log f) *deterministic
29 Prior work on -counting Resilience Time State bits D. Dolev & Hoch 7 * f<n/3 O(f) O(f log f) S. Dolev & Welch 4 f<n/3 (n f) O() *deterministic
30 Prior work on -counting Resilience Time State bits D. Dolev & Hoch 7 * f<n/3 O(f) O(f log f) S. Dolev & Welch 4 f<n/3 (n f) O() Ben-Or et al. 8 f<n/3 O() n O() *deterministic
31 Current state Resilience Time State bits D. Dolev & Hoch 7 * f<n/3 O(f) O(f log f) S. Dolev & Welch 4 f<n/3 (n f) O() Ben-Or et al. 8 f<n/3 O() n O() Our work* f = n o() O(f) o(log f) *deterministic
32 Counting vs consensus? Counting Consensus
33 Counting vs consensus Counting Consensus Solve consensus to agree on counters
34 Counting vs consensus Counting Consensus Use a c-counter as a round counter; execute a consensus algorithm
35 Counting vs consensus? Counting Consensus
36 Counting vs consensus! Counting Consensus Solution: counters that work once in a while
37 Counting once in a while?????? 3 4??!??? Counting Arbitrary Counting Arbitrary
38 Counting once in a while Use proper counters with low resilience, to count once in a while with high resilience! Counting Counting once in a while low resilience high resilience
39 Clock for consensus If we can count once in a while with high resilience.. then we can execute a highly-resilient consensus algorithm (phase king) Berman et al. (989)
40 Agree on a new counter Use consensus protocol with high resilience, to agree on a new proper counter!
41 High-level idea Counting low resilience
42 High-level idea Counting low resilience Counting once in a while high resilience
43 High-level idea Counting low resilience Counting once in a while high resilience Consensus high resilience
44 High-level idea Counting low resilience Counting once in a while high resilience Consensus high resilience Counting high resilience
45 Rinse and repeat low resilience high resilience higher resilience
46 The boosting theorem More formally
47 The boosting theorem Algorithm A n f nodes faults
48 The boosting theorem Algorithm A n f nodes faults Algorithm N = kn B F (f + )k/
49 The boosting theorem n f Stabilisation time: Space complexity: N = kn F (f + )k/ T (B) =T (A)+O(Fk k ) S(B) =S(A)+O(log C) C = new counter range
50 Boosting resilience Boost resilience recursively while keeping time and space complexity small enough
51 Main result Resilience f = n o() Stabilisation time O(f) Space complexity O(log f/log log f)
52 Main result Resilience f = n o() Stabilisation time O(f) Space complexity O(log f/log log f) Thanks!
Towards Optimal Synchronous Counting
Towards Optimal Synchronous Counting Christoph Lenzen clenzen@mpi-inf.mpg.de Max Planck Institute for Informatics Joel Rybicki joel.rybicki@aalto.fi Max Planck Institute for Informatics Helsinki Institute
More informationEFFICIENT COUNTING WITH OPTIMAL RESILIENCE. Lenzen, Christoph.
https://helda.helsinki.fi EFFICIENT COUNTING WITH OPTIMAL RESILIENCE Lenzen, Christoph 2017 Lenzen, C, Rybicki, J & Suomela, J 2017, ' EFFICIENT COUNTING WITH OPTIMAL RESILIENCE ' SIAM Journal on Computing,
More informationSynchronous Counting and Computational Algorithm Design
Synchronous Counting and Computational Algorithm Design Danny Dolev 1, Janne H. Korhonen 2, Christoph Lenzen 3, Joel Rybicki 2, and Jukka Suomela 2 1 School of Engineering and Computer Science, The Hebrew
More informationarxiv: v1 [cs.dc] 17 May 2017
Self-stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus Christoph Lenzen clenzen@mpi-inf.mpg.de Department of Algorithms and Complexity, Max Planck Institute for Informatics, Saarland
More informationAgreement Protocols. CS60002: Distributed Systems. Pallab Dasgupta Dept. of Computer Sc. & Engg., Indian Institute of Technology Kharagpur
Agreement Protocols CS60002: Distributed Systems Pallab Dasgupta Dept. of Computer Sc. & Engg., Indian Institute of Technology Kharagpur Classification of Faults Based on components that failed Program
More informationByzantine Agreement. Gábor Mészáros. Tatracrypt 2012, July 2 4 Smolenice, Slovakia. CEU Budapest, Hungary
CEU Budapest, Hungary Tatracrypt 2012, July 2 4 Smolenice, Slovakia Byzantium, 1453 AD. The Final Strike... Communication via Messengers The Byzantine Generals Problem Communication System Model Goal G
More informationCoordination. Failures and Consensus. Consensus. Consensus. Overview. Properties for Correct Consensus. Variant I: Consensus (C) P 1. v 1.
Coordination Failures and Consensus If the solution to availability and scalability is to decentralize and replicate functions and data, how do we coordinate the nodes? data consistency update propagation
More informationAbility to Count Messages Is Worth Θ( ) Rounds in Distributed Computing
Ability to Count Messages Is Worth Θ( ) Rounds in Distributed Computing Tuomo Lempiäinen Aalto University, Finland LICS 06 July 7, 06 @ New York / 0 Outline Introduction to distributed computing Different
More informationConstant Space and Non-Constant Time in Distributed Computing
Constant Space and Non-Constant Time in Distributed Computing Tuomo Lempiäinen and Jukka Suomela Aalto University, Finland OPODIS 20th December 2017 Lisbon, Portugal 1 / 19 Time complexity versus space
More informationThe Weighted Byzantine Agreement Problem
The Weighted Byzantine Agreement Problem Vijay K. Garg and John Bridgman Department of Electrical and Computer Engineering The University of Texas at Austin Austin, TX 78712-1084, USA garg@ece.utexas.edu,
More informationAsynchronous Models For Consensus
Distributed Systems 600.437 Asynchronous Models for Consensus Department of Computer Science The Johns Hopkins University 1 Asynchronous Models For Consensus Lecture 5 Further reading: Distributed Algorithms
More informationBridging the Gap: Byzantine Faults and Self-stabilization
Bridging the Gap: Byzantine Faults and Self-stabilization Thesis submitted for the degree of DOCTOR of PHILOSOPHY by Ezra N. Hoch Submitted to the Senate of The Hebrew University of Jerusalem September
More informationByzantine behavior also includes collusion, i.e., all byzantine nodes are being controlled by the same adversary.
Chapter 17 Byzantine Agreement In order to make flying safer, researchers studied possible failures of various sensors and machines used in airplanes. While trying to model the failures, they were confronted
More informationByzantine Agreement. Chapter Validity 190 CHAPTER 17. BYZANTINE AGREEMENT
190 CHAPTER 17. BYZANTINE AGREEMENT 17.1 Validity Definition 17.3 (Any-Input Validity). The decision value must be the input value of any node. Chapter 17 Byzantine Agreement In order to make flying safer,
More informationAGREEMENT PROBLEMS (1) Agreement problems arise in many practical applications:
AGREEMENT PROBLEMS (1) AGREEMENT PROBLEMS Agreement problems arise in many practical applications: agreement on whether to commit or abort the results of a distributed atomic action (e.g. database transaction)
More informationByzantine Agreement. Gábor Mészáros. CEU Budapest, Hungary
CEU Budapest, Hungary 1453 AD, Byzantium Distibuted Systems Communication System Model Distibuted Systems Communication System Model G = (V, E) simple graph Distibuted Systems Communication System Model
More informationOptimal Resilience Asynchronous Approximate Agreement
Optimal Resilience Asynchronous Approximate Agreement Ittai Abraham, Yonatan Amit, and Danny Dolev School of Computer Science and Engineering, The Hebrew University of Jerusalem, Israel {ittaia, mitmit,
More informationCommunication-Efficient Randomized Consensus
Communication-Efficient Randomized Consensus Dan Alistarh 1, James Aspnes 2, Valerie King 3, and Jared Saia 4 1 Microsoft Research, Cambridge, UK. Email: dan.alistarh@microsoft.com 2 Yale University, Department
More informationDeterministic Consensus Algorithm with Linear Per-Bit Complexity
Deterministic Consensus Algorithm with Linear Per-Bit Complexity Guanfeng Liang and Nitin Vaidya Department of Electrical and Computer Engineering, and Coordinated Science Laboratory University of Illinois
More informationSimple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems
Simple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems Xianbing Wang, Yong-Meng Teo, and Jiannong Cao Singapore-MIT Alliance E4-04-10, 4 Engineering Drive 3, Singapore 117576 Abstract
More informationEfficient Construction of Global Time in SoCs despite Arbitrary Faults
Efficient Construction of Global Time in SoCs despite Arbitrary Faults Christoph Lenzen Massachusetts Institute of Technology Cambridge, MA, USA clenzen@csail.mit.edu Matthias Függer, Markus Hofstätter,
More informationNetwork Algorithms and Complexity (NTUA-MPLA) Reliable Broadcast. Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas
Network Algorithms and Complexity (NTUA-MPLA) Reliable Broadcast Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas Slides are partially based on the joint work of Christos Litsas, Aris Pagourtzis,
More informationOptimal and Player-Replaceable Consensus with an Honest Majority Silvio Micali and Vinod Vaikuntanathan
Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR-2017-004 March 31, 2017 Optimal and Player-Replaceable Consensus with an Honest Majority Silvio Micali and Vinod Vaikuntanathan
More informationImplementing Uniform Reliable Broadcast with Binary Consensus in Systems with Fair-Lossy Links
Implementing Uniform Reliable Broadcast with Binary Consensus in Systems with Fair-Lossy Links Jialin Zhang Tsinghua University zhanggl02@mails.tsinghua.edu.cn Wei Chen Microsoft Research Asia weic@microsoft.com
More informationSelf-stabilizing Byzantine Agreement
Self-stabilizing Byzantine Agreement Ariel Daliot School of Engineering and Computer Science The Hebrew University, Jerusalem, Israel adaliot@cs.huji.ac.il Danny Dolev School of Engineering and Computer
More informationCombining Shared Coin Algorithms
Combining Shared Coin Algorithms James Aspnes Hagit Attiya Keren Censor Abstract This paper shows that shared coin algorithms can be combined to optimize several complexity measures, even in the presence
More informationA Lower Bound for the Distributed Lovász Local Lemma
A Lower Bound for the Distributed Lovász Local Lemma Sebastian Brandt, Orr Fischer, Juho Hirvonen, Barbara Keller, Tuomo Lempiäinen, Joel Rybicki, Jukka Suomela, Jara Uitto Aalto University, Comerge AG,
More informationDistributed Systems Byzantine Agreement
Distributed Systems Byzantine Agreement He Sun School of Informatics University of Edinburgh Outline Finish EIG algorithm for Byzantine agreement. Number-of-processors lower bound for Byzantine agreement.
More informationCS505: Distributed Systems
Cristina Nita-Rotaru CS505: Distributed Systems. Required reading for this topic } Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson for "Impossibility of Distributed with One Faulty Process,
More informationEarly-Deciding Consensus is Expensive
Early-Deciding Consensus is Expensive ABSTRACT Danny Dolev Hebrew University of Jerusalem Edmond Safra Campus 9904 Jerusalem, Israel dolev@cs.huji.ac.il In consensus, the n nodes of a distributed system
More informationDegradable Agreement in the Presence of. Byzantine Faults. Nitin H. Vaidya. Technical Report #
Degradable Agreement in the Presence of Byzantine Faults Nitin H. Vaidya Technical Report # 92-020 Abstract Consider a system consisting of a sender that wants to send a value to certain receivers. Byzantine
More informationDistributed Consensus
Distributed Consensus Reaching agreement is a fundamental problem in distributed computing. Some examples are Leader election / Mutual Exclusion Commit or Abort in distributed transactions Reaching agreement
More informationByzantine Agreement in Polynomial Expected Time
Byzantine Agreement in Polynomial Expected Time [Extended Abstract] Valerie King Dept. of Computer Science, University of Victoria P.O. Box 3055 Victoria, BC, Canada V8W 3P6 val@cs.uvic.ca ABSTRACT In
More informationEarly consensus in an asynchronous system with a weak failure detector*
Distrib. Comput. (1997) 10: 149 157 Early consensus in an asynchronous system with a weak failure detector* André Schiper Ecole Polytechnique Fe dérale, De partement d Informatique, CH-1015 Lausanne, Switzerland
More informationEfficient Metastability-Containing Gray Code 2-sort
Efficient Metastability-Containing Gray Code 2-sort Moti Medina Joint work with Christoph Lenzen Max Planck Institute For Informatics, Saarbrucken, Germany ASYNC 206 In The Beginning there was Metastability
More informationBroadcast and Verifiable Secret Sharing: New Security Models and Round-Optimal Constructions
Broadcast and Verifiable Secret Sharing: New Security Models and Round-Optimal Constructions Dissertation submitted to the Faculty of the Graduate School of the University of Maryland, College Park in
More informationAll-to-All Gradecast using Coding with Byzantine Failures
All-to-All Gradecast using Coding with Byzantine Failures John Bridgman Vijay Garg Parallel and Distributed Systems Lab (PDSL) at The University of Texas at Austin email: johnfbiii@utexas.edu Presented
More informationModel Checking of Fault-Tolerant Distributed Algorithms
Model Checking of Fault-Tolerant Distributed Algorithms Part I: Fault-Tolerant Distributed Algorithms Annu Gmeiner Igor Konnov Ulrich Schmid Helmut Veith Josef Widder LOVE 2016 @ TU Wien Josef Widder (TU
More informationarxiv: v1 [cs.dc] 14 Feb 2016
Self-Stabilizing Clock Synchronization with 3-bit messages Lucas Boczkowski Amos Korman Emanuele Natale Abstract arxiv:62.449v [cs.dc] 4 Feb 26 This paper studies the complexities of basic distributed
More informationFailure detectors Introduction CHAPTER
CHAPTER 15 Failure detectors 15.1 Introduction This chapter deals with the design of fault-tolerant distributed systems. It is widely known that the design and verification of fault-tolerent distributed
More informationLower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures
Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures Xianbing Wang 1, Yong-Meng Teo 1,2, and Jiannong Cao 3 1 Singapore-MIT Alliance, 2 Department of Computer Science,
More informationRound Complexity of Authenticated Broadcast with a Dishonest Majority
Round Complexity of Authenticated Broadcast with a Dishonest Majority Juan A. Garay Jonathan Katz Chiu-Yuen Koo Rafail Ostrovsky Abstract Broadcast among n parties in the presence of t n/3 malicious parties
More informationByzantine Vector Consensus in Complete Graphs
Byzantine Vector Consensus in Complete Graphs Nitin H. Vaidya University of Illinois at Urbana-Champaign nhv@illinois.edu Phone: +1 217-265-5414 Vijay K. Garg University of Texas at Austin garg@ece.utexas.edu
More informationLabelling grids locally
1 Joint work with: Sebastian Brandt 2, Orr Fischer 3, Juho Hirvonen 1, Janne H. Korhonen 1, Tuomo Lempiäinen 1, Joel Rybicki 4, Jukka Suomela 1, Patric Östergård1, Przemys law Uznański 2 1 Aalto University
More informationConsensus. Consensus problems
Consensus problems 8 all correct computers controlling a spaceship should decide to proceed with landing, or all of them should decide to abort (after each has proposed one action or the other) 8 in an
More information6.852: Distributed Algorithms Fall, Class 24
6.852: Distributed Algorithms Fall, 2009 Class 24 Today s plan Self-stabilization Self-stabilizing algorithms: Breadth-first spanning tree Mutual exclusion Composing self-stabilizing algorithms Making
More informationROBUST & SPECULATIVE BYZANTINE RANDOMIZED CONSENSUS WITH CONSTANT TIME COMPLEXITY IN NORMAL CONDITIONS
ROBUST & SPECULATIVE BYZANTINE RANDOMIZED CONSENSUS WITH CONSTANT TIME COMPLEXITY IN NORMAL CONDITIONS Bruno Vavala University of Lisbon, Portugal Carnegie Mellon University, U.S. Nuno Neves University
More informationFault-Tolerant Consensus
Fault-Tolerant Consensus CS556 - Panagiota Fatourou 1 Assumptions Consensus Denote by f the maximum number of processes that may fail. We call the system f-resilient Description of the Problem Each process
More informationVerification of clock synchronization algorithm (Original Welch-Lynch algorithm and adaptation to TTA)
Verification of clock synchronization algorithm (Original Welch-Lynch algorithm and adaptation to TTA) Christian Mueller November 25, 2005 1 Contents 1 Clock synchronization in general 3 1.1 Introduction............................
More informationRobustness of Distributed Systems Inspired by Biological Processes
Robustness of Distributed Systems Inspired by Biological Processes Thesis for the degree of DOCTOR of PHILOSOPHY by Ariel Daliot SUBMITTED TO THE SENATE OF THE HEBREW UNIVERSITY OF JERUSALEM November 2006
More informationTime. To do. q Physical clocks q Logical clocks
Time To do q Physical clocks q Logical clocks Events, process states and clocks A distributed system A collection P of N single-threaded processes (p i, i = 1,, N) without shared memory The processes in
More informationByzantine agreement with homonyms
Distrib. Comput. (013) 6:31 340 DOI 10.1007/s00446-013-0190-3 Byzantine agreement with homonyms Carole Delporte-Gallet Hugues Fauconnier Rachid Guerraoui Anne-Marie Kermarrec Eric Ruppert Hung Tran-The
More informationC 1. Recap: Finger Table. CSE 486/586 Distributed Systems Consensus. One Reason: Impossibility of Consensus. Let s Consider This
Recap: Finger Table Finding a using fingers Distributed Systems onsensus Steve Ko omputer Sciences and Engineering University at Buffalo N102 86 + 2 4 N86 20 + 2 6 N20 2 Let s onsider This
More informationReliable Broadcast for Broadcast Busses
Reliable Broadcast for Broadcast Busses Ozalp Babaoglu and Rogerio Drummond. Streets of Byzantium: Network Architectures for Reliable Broadcast. IEEE Transactions on Software Engineering SE- 11(6):546-554,
More informationSelf-Stabilizing Byzantine Asynchronous Unison
Self-Stabilizing Byzantine Asynchronous Unison Swan Dubois 1,3 Maria Gradinariu Potop-Butucaru 1,4 Mikhail Nesterenko 2,5 Sébastien Tixeuil 1,6 Abstract We explore asynchronous unison in the presence of
More informationTime Free Self-Stabilizing Local Failure Detection
Research Report 33/2004, TU Wien, Institut für Technische Informatik July 6, 2004 Time Free Self-Stabilizing Local Failure Detection Martin Hutle and Josef Widder Embedded Computing Systems Group 182/2
More informationBee s Strategy Against Byzantines Replacing Byzantine Participants
Bee s Strategy Against Byzantines Replacing Byzantine Participants by Roberto Baldoni, Silvia Banomi, Shlomi Dolev, Michel Raynal, Amitay Shaer Technical Report #18-05 September 21, 2018 The Lynne and
More informationTime. Today. l Physical clocks l Logical clocks
Time Today l Physical clocks l Logical clocks Events, process states and clocks " A distributed system a collection P of N singlethreaded processes without shared memory Each process p i has a state s
More informationFaster Agreement via a Spectral Method for Detecting Malicious Behavior
Faster Agreement via a Spectral Method for Detecting Malicious Behavior Valerie King Jared Saia Abstract We address the problem of Byzantine agreement, to bring processors to agreement on a bit in the
More informationTolerating Permanent and Transient Value Faults
Distributed Computing manuscript No. (will be inserted by the editor) Tolerating Permanent and Transient Value Faults Zarko Milosevic Martin Hutle André Schiper Abstract Transmission faults allow us to
More informationByzantine Agreement with Median Validity
Byzantine Agreement with Median Validity David Stolz 1 and Roger Wattenhofer 1 ETH Zürich, Zürich, Switzerland stolzda@ethz.ch ETH Zürich, Zürich, Switzerland wattenhofer@ethz.ch Abstract We introduce
More informationByzantine Agreement in Expected Polynomial Time
0 Byzantine Agreement in Expected Polynomial Time Valerie King, University of Victoria Jared Saia, University of New Mexico We address the problem of Byzantine agreement, to bring processors to agreement
More informationFinally the Weakest Failure Detector for Non-Blocking Atomic Commit
Finally the Weakest Failure Detector for Non-Blocking Atomic Commit Rachid Guerraoui Petr Kouznetsov Distributed Programming Laboratory EPFL Abstract Recent papers [7, 9] define the weakest failure detector
More information1 Introduction. 1.1 The Problem Domain. Self-Stablization UC Davis Earl Barr. Lecture 1 Introduction Winter 2007
Lecture 1 Introduction 1 Introduction 1.1 The Problem Domain Today, we are going to ask whether a system can recover from perturbation. Consider a children s top: If it is perfectly vertically, you can
More informationRandomized Protocols for Asynchronous Consensus
Randomized Protocols for Asynchronous Consensus Alessandro Panconesi DSI - La Sapienza via Salaria 113, piano III 00198 Roma, Italy One of the central problems in the Theory of (feasible) Computation is
More informationarxiv: v1 [cs.dc] 22 Oct 2018
FANTOM: A SCALABLE FRAMEWORK FOR ASYNCHRONOUS DISTRIBUTED SYSTEMS A PREPRINT Sang-Min Choi, Jiho Park, Quan Nguyen, and Andre Cronje arxiv:1810.10360v1 [cs.dc] 22 Oct 2018 FANTOM Lab FANTOM Foundation
More informationOn Expected Constant-Round Protocols for Byzantine Agreement
On Expected Constant-Round Protocols for Byzantine Agreement Jonathan Katz Chiu-Yuen Koo Abstract In a seminal paper, Feldman and Micali (STOC 88) show an n-party Byzantine agreement protocol tolerating
More informationOn Expected Constant-Round Protocols for Byzantine Agreement
On Expected Constant-Round Protocols for Byzantine Agreement Jonathan Katz Chiu-Yuen Koo Abstract In a seminal paper, Feldman and Micali show an n-party Byzantine agreement protocol in the plain model
More informationOn the Resilience and Uniqueness of CPA for Secure Broadcast
On the Resilience and Uniqueness of CPA for Secure Broadcast Chris Litsas, Aris Pagourtzis, Giorgos Panagiotakos and Dimitris Sakavalas School of Electrical and Computer Engineering National Technical
More informationarxiv: v1 [cs.cc] 8 Dec 2014
Homonym Population Protocols, or Providing a Small Space of Computation Using a Few Identifiers Olivier BOURNEZ 1, Johanne COHEN 2, and Mikaël RABIE 1 1 LIX, Ecole Polytechnique, 91128 Palaiseau Cedex,
More informationHow to solve consensus in the smallest window of synchrony
How to solve consensus in the smallest window of synchrony Dan Alistarh 1, Seth Gilbert 1, Rachid Guerraoui 1, and Corentin Travers 2 1 EPFL LPD, Bat INR 310, Station 14, 1015 Lausanne, Switzerland 2 Universidad
More informationTime. Lakshmi Ganesh. (slides borrowed from Maya Haridasan, Michael George)
Time Lakshmi Ganesh (slides borrowed from Maya Haridasan, Michael George) The Problem Given a collection of processes that can... only communicate with significant latency only measure time intervals approximately
More informationDistributed Computing with Imperfect Randomness
Distributed Computing with Imperfect Randomness Shafi Goldwasser, Madhu Sudan, and Vinod Vaikuntanathan MIT CSAIL, Cambridge MA 02139, USA {shafi,madhu,vinodv}@theory.csail.mit.edu Abstract. Randomness
More informationEfficient Unconditional Asynchronous Byzantine Agreement with Optimal Resilience
Noname manuscript No. (will be inserted by the editor) Efficient Unconditional Asynchronous Byzantine Agreement with Optimal Resilience Arpita Patra Ashish Choudhury C. Pandu Rangan Received: date / Accepted:
More informationProtocol for Asynchronous, Reliable, Secure and Efficient Consensus (PARSEC)
Protocol for Asynchronous, Reliable, Secure and Efficient Consensus (PARSEC) Pierre Chevalier, Bart lomiej Kamiński, Fraser Hutchison, Qi Ma, Spandan Sharma June 20, 2018 Abstract In this paper we present
More informationBroadcast Amplification
Broadcast Amplification Martin Hirt, Ueli Maurer, Pavel Raykov {hirt,maurer,raykovp}@inf.ethz.ch ETH Zurich, Switzerland Abstract. A d-broadcast primitive is a communication primitive that allows a sender
More informationHow can one get around FLP? Around FLP in 80 Slides. How can one get around FLP? Paxos. Weaken the problem. Constrain input values
How can one get around FLP? Around FLP in 80 Slides Weaken termination Weaken the problem use randomization to terminate with arbitrarily high probability guarantee termination only during periods of synchrony
More informationEventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony Antonio FERNÁNDEZ Ernesto JIMÉNEZ Michel RAYNAL LADyR, GSyC, Universidad Rey Juan Carlos, 28933
More informationMachine Checked Proofs of the Design and Implementation of a Fault-Tolerant Circuit
NASA Contractor Report 182099 Machine Checked Proofs of the Design and Implementation of a Fault-Tolerant Circuit William R. Bevier William D. Young Computational Logic, Inc. Austin, Texas Contract NAS1-18878
More informationCS505: Distributed Systems
Department of Computer Science CS505: Distributed Systems Lecture 10: Consensus Outline Consensus impossibility result Consensus with S Consensus with Ω Consensus Most famous problem in distributed computing
More informationNotes on BAN Logic CSG 399. March 7, 2006
Notes on BAN Logic CSG 399 March 7, 2006 The wide-mouthed frog protocol, in a slightly different form, with only the first two messages, and time stamps: A S : A, {T a, B, K ab } Kas S B : {T s, A, K ab
More informationByzantine Preferential Voting
Byzantine Preferential Voting Darya Melnyk, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Zurich, Switzerland {dmelnyk,yuwang,wattenhofer}@ethz.ch Abstract. In the Byzantine agreement problem, n nodes with
More informationCommunication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults
Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults Martin Hutle martin.hutle@epfl.ch André Schiper andre.schiper@epfl.ch École Polytechnique Fédérale de Lausanne
More informationSymmetric Rendezvous in Graphs: Deterministic Approaches
Symmetric Rendezvous in Graphs: Deterministic Approaches Shantanu Das Technion, Haifa, Israel http://www.bitvalve.org/~sdas/pres/rendezvous_lorentz.pdf Coauthors: Jérémie Chalopin, Adrian Kosowski, Peter
More informationKing Fahd University of Petroleum and Minerals College of Computer Science and Engineering Computer Engineering Department
King Fahd University of Petroleum and Minerals College of Computer Science and Engineering Computer Engineering Department Page 1 of 13 COE 202: Digital Logic Design (3-0-3) Term 112 (Spring 2012) Final
More informationSignature-Free Asynchronous Byzantine Consensus with t < n/3 and O(n 2 ) Messages
Signature-Free Asynchronous Byzantine Consensus with t < n/3 and O(n 2 ) Messages Achour Mostefaoui, Moumen Hamouna, Michel Raynal To cite this version: Achour Mostefaoui, Moumen Hamouna, Michel Raynal.
More informationSection 6 Fault-Tolerant Consensus
Section 6 Fault-Tolerant Consensus CS586 - Panagiota Fatourou 1 Description of the Problem Consensus Each process starts with an individual input from a particular value set V. Processes may fail by crashing.
More informationIterative Approximate Byzantine Consensus in Arbitrary Directed Graphs
Iterative Approximate Byzantine Consensus in Arbitrary Directed Graphs Nitin Vaidya 1,3, Lewis Tseng,3, and Guanfeng Liang 1,3 1 Department of Electrical and Computer Engineering, Department of Computer
More informationByzantine Vector Consensus in Complete Graphs
Byzantine Vector Consensus in Complete Graphs Nitin H. Vaidya Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign Urbana, Illinois, U.S.A. nhv@illinois.edu Vijay
More informationDistributed Systems Principles and Paradigms. Chapter 06: Synchronization
Distributed Systems Principles and Paradigms Maarten van Steen VU Amsterdam, Dept. Computer Science Room R4.20, steen@cs.vu.nl Chapter 06: Synchronization Version: November 16, 2009 2 / 39 Contents Chapter
More informationHEX: Scaling Honeycombs is Easier than Scaling Clock Trees
HEX: Scaling Honeycombs is Easier than Scaling Clock Trees Danny Dolev a,1, Matthias Függer b, Christoph Lenzen c,2, Martin Perner b,, Ulrich Schmid b a School of Engineering and Computer Science, The
More informationDistributed Systems Principles and Paradigms
Distributed Systems Principles and Paradigms Chapter 6 (version April 7, 28) Maarten van Steen Vrije Universiteit Amsterdam, Faculty of Science Dept. Mathematics and Computer Science Room R4.2. Tel: (2)
More informationBenny Pinkas. Winter School on Secure Computation and Efficiency Bar-Ilan University, Israel 30/1/2011-1/2/2011
Winter School on Bar-Ilan University, Israel 30/1/2011-1/2/2011 Bar-Ilan University Benny Pinkas Bar-Ilan University 1 What is N? Bar-Ilan University 2 Completeness theorems for non-cryptographic fault-tolerant
More informationLeader Election in Asymmetric Labeled Unidirectional Rings
Leader Election in Asymmetric Labeled Unidirectional Rings Karine Altisen Ajoy K. Datta Stéphane Devismes Anaïs Durand Lawrence L. Larmore Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, 38000 Grenoble,
More informationConsensus-Based Distributed Optimization with Malicious Nodes
Consensus-Based Distributed Optimization with Malicious Nodes Shreyas Sundaram Bahman Gharesifard Abstract We investigate the vulnerabilities of consensusbased distributed optimization protocols to nodes
More informationEarly stopping: the idea. TRB for benign failures. Early Stopping: The Protocol. Termination
TRB for benign failures Early stopping: the idea Sender in round : :! send m to all Process p in round! k, # k # f+!! :! if delivered m in round k- and p " sender then 2:!! send m to all 3:!! halt 4:!
More informationUnreliable Failure Detectors for Reliable Distributed Systems
Unreliable Failure Detectors for Reliable Distributed Systems A different approach Augment the asynchronous model with an unreliable failure detector for crash failures Define failure detectors in terms
More information6.852: Distributed Algorithms Fall, Class 25
6.852: Distributed Algorithms Fall, 2009 Class 25 Today s plan Partially synchronous (timed) distributed systems Modeling timed systems Proof methods Mutual exclusion in timed systems Consensus in timed
More informationReplication predicates for dependent-failure algorithms
Replication predicates for dependent-failure algorithms Flavio Junqueira and Keith Marzullo Department of Computer Science and Engineering University of California, San Diego La Jolla, CA USA {flavio,
More informationIntegrating External and Internal Clock Synchronization. Christof Fetzer and Flaviu Cristian. Department of Computer Science & Engineering
Integrating External and Internal Clock Synchronization Christof Fetzer and Flaviu Cristian Department of Computer Science & Engineering University of California, San Diego La Jolla, CA 9093?0114 e-mail:
More information