I R I S A P U B L I C A T I O N I N T E R N E THE NOTION OF VETO NUMBER FOR DISTRIBUTED AGREEMENT PROBLEMS
|
|
- Everett Carr
- 6 years ago
- Views:
Transcription
1 I R I P U B L I C A T I O N I N T E R N E N o 1599 S INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES A THE NOTION OF VETO NUMBER FOR DISTRIBUTED AGREEMENT PROBLEMS ROY FRIEDMAN, ACHOUR MOSTEFAOUI, MICHEL RAYNAL ISSN I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU RENNES CEDEX - FRANCE
2
3 The Notion of Veto Number for Distributed Agreement Problems Roy Friedman, Achour Mostefaoui, Michel Raynal Thème 1 Réseaux et systèmes Projet Adept Publication interne n 1599 Janvier pages Abstract: This paper introduces the notion of veto number that can be associated with a- greement problems. An agreement problem has veto number l when l is the minimal number of processes that control the allowed decision values, i.e., if each of them changes its mind on the value it proposes, then it forces deciding on a different value. The paper presents and investigates this concept. Key-words: Agreement problem, Asynchronous distributed system, Consensus, Distributed algorithm, One shot problem, Process crash, Failure detector. (Résumé : tsvp) {rfriedma,mostefaoui,raynal}@irisa.fr Centre National de la Recherche Scientifique (UMR 6074) Université de Rennes 1 Insa de Rennes Institut National de Recherche en Informatique et en Automatique unité de recherche de Rennes
4 La notion de nombre véto dans les problèmes d accord Résumé : Cet article définit la notion de nombre véto qui peut être associé à chaque problème d accord. Il représente en quelque sorte la difficulté de celui-ci. Un problème d accord a un nombre véto l si l est le nombre minimum de processus qui contrôlent toute valeur de décision. Si l un de ces processus change d avis sur la valeur qu il propose, il force les autres à en faire de même. Cet article investigue ce concept. Mots clés : Problème d accord, système asynchrone, consensus, vecteur d entrée, défaillance de processus.
5 1 Introduction Agreement problems are central issues when one is interested in designing fault-tolerant applications in asynchronous distributed systems prone to failures. The most know of these problems is consensus: each process proposes a value, and (at least) the non-faulty processes have to decide a value (termination), such that no two different values are decided (uniform agreement), and a decided value has to be a proposed value (validity). Many results have been produced on this problem. The most famous of them is the so-called FLP impossibility [4] that states that consensus cannot be solved in asynchronous distributed systems as soon as even a single process can crash. An important concept that has been introduced to prove this result is the notion of valence that can be associated with a global state: a state is x-valent if set of values that can be decided from it includes x different values. This means that a single value can be decided from a 1-valent state, while no definitive choice has yet been done in a x-valent state where x > 1. Another notion of number that has been introduced in the context of agreement problems is the notion of consensus number [9]. This notion allows ranking the power synchronization primitives (or synchronization objects) in asynchronous shared memory systems prone to process crashes. An object has consensus number k if k is the greatest integer such that this object allows solving consensus among k processes in presence of up to k 1 crashes. It is shown in [9] that (among other objects) read/write objects have consensus number 1, while compare&swap objects have consensus number +. This paper presents and investigates the notion of veto number (denoted l) that can be associated with agreement problems. This notion captures the minimal number of processes that control the decision taking in the sense that, if each of these processes changes its mind on the value it proposes, then the decision can no longer be the same. The veto number notion is interesting to understand and solve agreement problems in asynchronous distributed systems where up to f processes can crash. Several results provided by the veto number notion are presented. Moreover, the paper introduces agreement protocols whose design is based on their veto number. Interestingly, this study shows a borderline separating the cases f < l and f l (where f is the maximum number of processes that can crash). The paper is made up of six sections. Section 2 presents the computation model and defines the agreement problems we are interested in. Section 3 presents the l-veto concept. Then, Section 4 presents results obtained thanks to this concept. Section 5 presents protocols solving l-veto problems. Finally, Section 6 provides a few concluding remarks. 2 Computation Model and Definitions 2.1 Asynchronous Distributed Systems with Process Crash Failures We consider a system consisting of a finite set Π of n processes, namely, Π = {p,q,... }. A process can fail by crashing, i.e., by prematurely halting. It behaves correctly (i.e., according to its specification) until it (possibly) crashes. By definition, a correct process is a process that does not crash. A faulty process is a process that is not correct; f denotes the maximum number of processes that can crash (1 f < n). Processes communicate and synchronize by sending and receiving messages through channels. Every pair of processes is connected by a channel. Channels are assumed to be reliable: they do PI n 1599
6 not create, alter or lose messages. There is no assumption about the relative speed of processes or message transfer delays. Let AS n,f ( ) denotes such an asynchronous distributed system. 2.2 One-shot Agreement Problems In a one-shot agreement problem, each process p starts with an individual input value v p. The input values are from a particular value set V in. Moreover, let denote a default value (such that / V in ), and V in, denote the set V in { }. All the correct processes are required to produce outputs from a value set V out. We say that a process decides when it produces an output value. Let I = [v 1,...,v p,...,v n ] Vin n be a vector whose pth entry contains the value proposed by process p. Such a vector is called an input vector [11]. Let B fail be a subset of processes, and let F(I, B fail ) be a mapping from Vin n into a non-empty subset of V out. The mapping F(I, B fail ) associates a set of possible output values with each input vector in runs in which the processes of B fail fail. For simplicity, we denote F(I) = F(I, ), or in other words, F(I) is the set of possible decision values from I when there are no failures. We also assume that for any Bfail 1 and B2 fail, if Bfail 1 B2 fail, then for any vector I, we have F(I, B1 fail ) F(I, B2 fail ). Essentially, this means that having a certain number of failures cannot prevent a decision value that is allowed with fewer (or no) failures. F(I) is called the decision value set associated with I. If it contains x values, the corresponding input vector I is said to be x-valent. For x = 1, I is said to be univalent. Definition A one-shot agreement problem is characterized by a set V in, a set V out, and a particular mapping F(I, B fail ) with the following properties: Termination: Each correct process decides. Agreement: No two processes decide different values (sometimes called Uniform Agreement). Validity: In runs in which processes in B fail fail, the value decided on from the input vector I is a value from the set F(I, B fail ). In particular, in failure free runs, the value decided on from the input vector I is a value from the set F(I). Examples We consider here three examples of well-known one-shot agreement problems. Each is defined by specific values of V in, V out, and a particular function F(). Consensus: V in = V out = the set of values that can be proposed. I ( an input vector): B fail : F(I, B fail ) = {x where x appears in I}. Interactive Consistency: V in is the set of values that can be proposed, V out = V n in,. I, B fail : F(I, B fail ) is the set of all vectors J that satisfy the following: k : if k / B fail then J: J[k] = I[k], k : if k B fail then J[k] {I[k], }. In particular, this means that I : F(I) = I. Non-Blocking Atomic Commit: Irisa
7 V in = {yes,no}, V out = {commit,abort}. F([yes,...,yes]) =commit. B fail : F([yes,...,yes], B fail ) = {commit,abort}. B fail, I such that I includes at least one abort : F(I, B fail ) =abort. Thus, in the Consensus problem, there is no distinction between the allowed set of decision values in runs with and without failures. On the other hand, Non-Blocking Atomic Commit and Interactive Consistency allow a different output when there are failures. Let us observe that not all agreement problems are one-shot. As an example, the membership problem [2] is an agreement problem that is not one-shot: its specification is not limited to a single invocation of a membership primitive, but rather involves the entire execution of the application in which it is used. 3 The Concept of Veto Number 3.1 Irreconcilable Input Vectors Let {I i } 1 i k (k > 1) be a set of input vectors, {V i } 1 i k the corresponding set of decision value sets, i.e., V i = F(I i ) for 1 i k. Definition 1 Set {I i } 1 i k is said to be made up of irreconcilable input vectors if 1 i k V i =. Let us note that, when the set of decision values V out is binary, only sets of univalent input vectors can be irreconcilable. The following lemma directly follows from the above definition: Lemma 1 Let {I i } be a minimal set of irreconcilable input vectors, and let I 1 {I i }. For any decision value v 1 V 1 = F(I 1 ), there is a vector I 2 in {I i } such that v 1 V 2 = F(I 2 ). (We then say that I 2 counters I 1 on v 1.) 3.2 Veto Number The intuition that underlies the veto number notion is simple. It is defined for failure-free runs, and concerns the minimal number of processes such that the decided value can no longer be the same when each of these processes changes its mind on the value it proposes. So, the veto number l of a one-shot agreement problem is the size of the smallest set of processes that, in worst case scenarios, control the decision value. For example, in the non-blocking atomic commit problem, as soon as a single process votes no, the decision is abort whatever the votes of the other processes. Hence, l = 1 for this problem. Similarly, the veto number of the interactive consistency problem is 1: if a single process changes its initial value, the decided vector changes accordingly. Differently, the veto number of the binary Consensus problem is n, since in failure-free runs, the only input vectors that enforce specific decision values are when all processes propose the same input value. More formally, to have a veto number, a one-shot agreement problem P needs to have at least one set of irreconcilable input vectors. Given S x a minimal set of irreconcilable input vectors of a problem P, let l(s x ) be the number of distinct entries for which at least two vectors of S x differ 1, i.e., the number of entries k such that there are two vectors I a and I b of S x with I a [k] I b [k]. As an example let S x = {[a,a,a,a,e,b,b],[a,a,a,a,e, c,c],[a,a, a,f,e,b, c]}. We have l x = 3. 1 Let us notice that the Hamming distance is defined on pair of vectors: it measures the number of their entries that differ. Here we consider the whole set of vectors defining S x. PI n 1599
8 Definition 2 Let P be an agreement problem whose minimal sets of irreconcilable input vectors are S x, 1 x m. The veto number of P is the integer l = min(l(s 1 ),...,l(s m )). When we consider the previous example, this means that there is a set of 3 processes that control the decision value. Therefore, intuitively, we show that no decision can be made without first consulting these processes, or knowing definitely that a failure has occurred. If a one-shot agreement problem has no set of irreconcilable input vectors, we say that its veto number is + (by definition). We also say that a one-shot agreement problem is an l-veto problem if its veto number is l. 4 Results Based on the Veto Number Concept Lemma 2 Let P be a one-shot agreement problem for which there is no set of irreconcilable input vectors (hence, its veto number is + ). Then P can be solved in AS n,f ( ) with f < n. Proof Since there is no set of irreconcilable input vectors, there is at least one value that appears in the decision sets of all possible input vectors. Therefore, it is always possible to deterministically decide on the smallest such value. Lemma Results on Failure Detectors Two classes of failure detectors with eventual accuracy Failure detectors have been formally defined by Chandra and Toueg who have introduced several classes of failure detectors [1]. A failure detector class is formally defined by two abstract properties, namely a Completeness property and an Accuracy property. In this paper, we are interested in the following properties: Strong Completeness: Eventually, every process that crashes is permanently suspected by every correct process. Eventual Strong Accuracy: There is a time after which no correct process is suspected. Eventual Weak Accuracy: There is a time after which some correct process is never suspected. Combining the completeness property with every accuracy property provides us with the following three classes of failure detectors [1]: P: The class of Eventually Perfect failure detectors. This class contains all the failure detectors that satisfy strong completeness and eventual strong accuracy. S: The class of Eventually Strong failure detectors. This class contains all the failure detectors that satisfy strong completeness and eventual weak accuracy. In the following, AS n,f (X) denotes an asynchronous distributed system made up of n processes communicating through reliable links, where up to f processes may crash, and equipped with a failure detector of the class X (X being S or P). Irisa
9 On a limitation of P The following theorem is proved in [5] using a proof that is centered around the concept of l-veto. Theorem 1 [5] f, there is no one-shot agreement problem that can be solved in AS n,f ( P) and cannot be solved in AS n,f ( S). The corollary that follows is an immediate consequence of this theorem. Corollary 1 P cannot be the weakest class of failure detectors that allow to solve one-shot a- greement problems in asynchronous distributed systems prone to process crash failures. 4.2 A Class of Non-Wait-Free Problems Wait-free implementation The notion of wait-free implementation has been formalized by Herlihy in [9]. A wait-free implementation of an object solving a problem (e.g., a consensus object) is one that guarantees that any process can complete its operations in a finite number of steps, regardless of the execution speed of the other processes. Hence, in a wait-free computation, no process can be prevented from terminating by undetected process crashes or arbitrary variations in their speed [9]. This means that wait-free implicitly considers the case f = n 1. A class of problems that cannot have wait-free implementation The following theorem characterizes a class of agreement problems that cannot have a wait-free implementation (and consequently cannot have a sequential specification [9, 10]). Theorem 2 Let P be a one-shot agreement problem with veto number l < n. P has no wait-free implementation. Proof The theorem follows directly from the definition of l-veto number. That is, such problems have distinct input vectors such that no decision can be safely taken by a process until its causal history includes at least n l + 1 processes. In particular, no decision can be safely taken when more than l processes crash. Theorem 2 The next corollary follows from the previous theorem and the fact that interactive consistency and non-blocking atomic commit have veto number 1. Corollary 2 The interactive consistency problem and the non-blocking atomic commit problem have no wait-free implementation. Consequently, they also cannot have sequential specifications. We would like to point out that l-veto problems with l < n have no wait-free implementation in an inherent and profound manner. That is, for many problems, having a wait-free implementation or not depends on the level of abstraction used for solving them. For example, in asynchronous shared memory systems, as mentioned before, consensus can be implemented in a wait-free fashion using compare&swap objects, but not with read/write objects, and definitely not in a pure message passing model. However, unless processes can guess the input values of each other, an l-veto problem cannot have a wait-free implementation regardless of the communication abstraction used or failure detection capabilities. This is because wait-freeness means that a process can always terminate even if it is the only one currently participating in the protocol, be the other processes faulty or alive (i.e., wait-freeness implies (n 1)-fault tolerance, but not vice-versa). PI n 1599
10 5 Solving Agreement Problems with Veto Number This section focuses on solving l-veto problems when l < n in asynchronous distributed systems equipped with a consensus black box 2. Two cases are considered according to the value of l with respect to f. Let V be a vector with no entry equal to. The notation V V means j {1,...,n} : V [j] V [j] = V [j]. 5.1 Solving l-veto Problems when f < l < n When f < l < n it is relatively simple to reduce an l-veto problem to consensus. Such a reduction is described in Figure 1. It is made up of three parts. V i is the local view p i has of the actual input vector I. This view is built at lines 1-4. This part (lines 5-7) is the core of the reduction protocol. Each process p i first computes the set V i including all the input vectors from which its local view V i can be obtained (line 5). Then, p i computes the intersection of the values that can be decided from each of these possible input vectors (line 6). Finally, p i takes arbitrarily one of these values and keeps it in w i (line 7). The last part (lines 8-9) is a consensus invocation where p i proposes the value w i it has previously computed. Function Reduction 1 (v i) (1) V i [,..., ]; (2) for 1 j n do send value (v i) to p j enddo; (3) wait until (value( ) has been received from at least (n l + 1) processes); (4) for 1 j n do if (value(v j) received from p j) then V i[j] v j endif enddo; (5) let V i = T {V i V i has no entries equal to V i V i }; (6) let X = V i V F(V i i ); (7) w i any value from X; (8) output i Consensus (w i); (9) return (output i) Figure 1: Reducing l-veto Problems to Consensus when f < l < n Theorem 3 Let P be an l-veto problem (l < n). Let us consider an asynchronous message-passing system where consensus can be solved and such that f < l. The protocol described in Figure 1 solves P. Proof As f < l, we have n f n l + 1, from which we conclude that no process can block forever at line 3. The termination property follows directly from this observation and the fact that consensus can be solved in the system. The agreement property follows directly from consensus agreement. 2 Such a black box can be built in asynchronous message-passing systems equipped with a failure detector of the class S when f < n/2 [1]. When f < n, it can be built in asynchronous message-passing systems equipped with a failure detector of the class P f + S [3, 6]. Irisa
11 The validity property follows from the very definition of veto number. As the veto number is l, it follows from the lines 5-6 that all the vectors in V i are not irreconcilable. Moreover, due to the very construction of V i, the actual input vector I is a member of V i. As the vectors in V i are not irreconcilable, it follows that the sets of values that can be decided from each vector of V i have a non-empty intersection. Consequently, X is not empty and contains values that can be decided from the actual input vector I. Finally, due to the consensus validity, the value that is decided is one of these values, and the validity property follows. Theorem Solving l-veto Problems when n > f l We now consider the case of l-veto problems in systems where f l. When we consider the protocol described in Figure 1, the new constraint f l creates two new problems we have to solve (these problems are implicitly solved when l > f). One is to prevent the permanent blocking that could appear at line 3 of Figure 1 (as now n f < n l + 1), and the second is the fact that some value has to be decided even when l or more processes crash, i.e., when a set of processes that could change the decision value have crashed. We solve the first of these problems by introducing an appropriate class of failure detectors, and the second by restricting the class of l-veto problems. The Failure Detector Class?P l This class extends the class of anonymously perfect failure detectors (denoted?p) that has been introduced in [7] to solve the non-blocking atomic commit problem (the class?p is actually?p 1 ). Let each process be equipped with a flag initialized to false. Any failure detector belonging to?p l satisfies the following properties: Anonymous completeness: If at least l crashes occur, eventually the flag of every correct process remains permanently equal to true. Anonymous accuracy: No flag is set to true, unless at least l processes crash. A sub-class of l-veto problems The sub-class of the l-veto problems we consider in the following includes the l-veto problems for which a predetermined value can be decided in the runs where l or more processes crash. That value is not necessarily related to the input vector. An example of such a problem is non-blocking atomic commit. This is a 1-veto problem where, in presence of one (or more) crash, the predetermined value abort can be decided even if all processes have proposed yes. Let predet val the set of these predetermined values. In the non-blocking atomic commit problem, this set comprises a single value (namely, abort). In the general case, this set can contain several values. A?P l -Based Protocol The protocol described in Figure 2 enriches the protocol of Figure 1 in order to solve the l-veto problems of interest. A process p i first sends its input value v i to all (line 2) and then waits until it has received values from at least (n l + 1) processes or is informed by?p l (through the boolean flag i ) that there are at least l crashes (line 3). Then, there are two cases, according to the number x of processes from which p i has received values. In each case, p i sets a local variable w i to a value that could be decided in this run, and then, as before, participates in a consensus where it proposes w i. PI n 1599
12 Function Reduction 2 (v i) (1) V i [,..., ]; (2) for 1 j n do send value (v i) to p j enddo; (3) wait until (value( ) has been received from at least (n l + 1) processes flag i); (4) for 1 j n do if (value(v j) received from p j) then V i[j] v j endif enddo; (5) if (values have been received from at least (n l + 1) processes) (6) then let V i = {V i V i has no entries equal to V i V T (7) let X = V i V F(V i i ); (8) w i any value from X (9) else w i any value taken from predet val (10) endif; (11) output i Consensus (w i); (12) return (output i) i }; Figure 2: A?P l -Based Reduction of l-veto Problems to Consensus when f l x n l + 1. This case is the same as the previous one: despite the fact that f l, p i has enough proposed values in its view. x n l. In that case, p i sets w i to a value taken from the set of predetermined values (e.g., the value abort in the case of the non-blocking atomic commit problem). The proof that this protocol is correct is left to the reader. It is a straightforward extension of the proof of the previous reduction protocol. Remark The protocol described in Figure 2 can be seen as a generalization of the non-blocking atomic commit protocol described in [7] that reduces atomic commit to consensus with the help of?p (which does correspond to?p 1 ). Let us also remark that, differently from the non-blocking atomic commit problem, the interactive consistency problem does not belong to the class of l-veto problems that the protocol of Figure 2 can reduce to consensus 3. 6 Concluding Remark This paper has presented the notion of l-veto number that can be associated with agreement problems. An interesting problem that remains open is the following one: Is?P l the weakest failure detector to reduce l-veto problems to consensus when f l?. Other interesting questions concern the use of the l-veto number to rank the difficulty of agreement problems. References [1] Chandra T.D. and Toueg S., Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, 43(2): , [2] Chockler G., Keidar I. and Vitenberg R., Group Communication Specifications: a Comprehensive Study. ACM Computing Surveys, 33(4): , Let us also observe that, differently from the non-blocking atomic commit problem, the interactive consistency problem is equivalent to the construction of a perfect failure detector [8]. Irisa
13 [3] Delporte-Gallet C., Fauconnier H. and Guerraoui R., Failure Detection Lower Bounds on Registers and Consensus. Proc. 16th Int. Symposium on Distributed Computing (DISC 02), Springer-Verlag LNCS #2508, pp , [4] Fischer M.J., Lynch N. and Paterson M.S., Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, 32(2): , [5] Friedman R., Mostéfaoui A. and Raynal M., On the Respective Power of P and S to Solve One-Shot Agreement Problems. Research Report #1547, irisa, Université de Rennes 1 (France), 2003, 20 pages. [6] Friedman R., Mostéfaoui A. and Raynal M., A Weakest Failure Detector-Based Asynchronous Consensus Protocol for f < n. Research Report #1557, irisa, Université de Rennes 1 (France), 2003, 11 pages. To appear in Information Processing Letters. [7] Guerraoui R., Non-Blocking Atomic Commit in Asynchronous Distributed Systems with Failure Detectors. Distributed Computing, 15:17-25, [8] Hélary J.-M., Hurfin M., Mostefaoui A., Raynal M. and Tronel F., Computing Global Functions in Asynchronous Distributed Systems with Process Crashes. IEEE Transactions on Parallel and Distributed Systems, 11(9): , [9] Herlihy M.P., Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 13(1): , [10] Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Prog. Languages and Systems, 12(3): , [11] Mostéfaoui A., Rajsbaum S. and Raynal M., Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems. Journal of the ACM, 50(6): , PI n 1599
Finally 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 informationA simple proof of the necessity of the failure detector Σ to implement a register in asynchronous message-passing systems
A simple proof of the necessity of the failure detector Σ to implement a register in asynchronous message-passing systems François Bonnet, Michel Raynal To cite this version: François Bonnet, Michel Raynal.
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 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 informationSynchrony Weakened by Message Adversaries vs Asynchrony Restricted by Failure Detectors
Synchrony Weakened by Message Adversaries vs Asynchrony Restricted by Failure Detectors Michel RAYNAL, Julien STAINER Institut Universitaire de France IRISA, Université de Rennes, France Message adversaries
More informationA Short Introduction to Failure Detectors for Asynchronous Distributed Systems
ACM SIGACT News Distributed Computing Column 17 Sergio Rajsbaum Abstract The Distributed Computing Column covers the theory of systems that are composed of a number of interacting computing elements. These
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 informationShared Memory vs Message Passing
Shared Memory vs Message Passing Carole Delporte-Gallet Hugues Fauconnier Rachid Guerraoui Revised: 15 February 2004 Abstract This paper determines the computational strength of the shared memory abstraction
More informationSimultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus Yehuda Afek 1, Eli Gafni 2, Sergio Rajsbaum 3, Michel Raynal 4, and Corentin Travers 4 1 Computer Science Department, Tel-Aviv
More informationA Realistic Look At Failure Detectors
A Realistic Look At Failure Detectors C. Delporte-Gallet, H. Fauconnier, R. Guerraoui Laboratoire d Informatique Algorithmique: Fondements et Applications, Université Paris VII - Denis Diderot Distributed
More informationSYNCHRONOUS SET AGREEMENT: A CONCISE GUIDED TOUR (WITH OPEN PROBLEMS)
I R I P U B L I C A T I O N I N T E R N E N o 1791 S INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES A SYNCHRONOUS SET AGREEMENT: A CONCISE GUIDED TOUR (WITH OPEN PROBLEMS) MICHEL RAYNAL CORENTIN
More informationSignature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value
Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value Achour Mostefaoui, Michel Raynal To cite this version: Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based
More informationA Timing Assumption and two t-resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems
A Timing Assumption and two t-resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan To cite
More informationCrash-resilient Time-free Eventual Leadership
Crash-resilient Time-free Eventual Leadership Achour MOSTEFAOUI Michel RAYNAL Corentin TRAVERS IRISA, Université de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France {achour raynal travers}@irisa.fr
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 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 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 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 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 informationThe Weakest Failure Detector to Solve Mutual Exclusion
The Weakest Failure Detector to Solve Mutual Exclusion Vibhor Bhatt Nicholas Christman Prasad Jayanti Dartmouth College, Hanover, NH Dartmouth Computer Science Technical Report TR2008-618 April 17, 2008
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 informationWeakening Failure Detectors for k-set Agreement via the Partition Approach
Weakening Failure Detectors for k-set Agreement via the Partition Approach Wei Chen 1, Jialin Zhang 2, Yu Chen 1, Xuezheng Liu 1 1 Microsoft Research Asia {weic, ychen, xueliu}@microsoft.com 2 Center for
More informationConditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems
Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems ACHOUR MOSTEFAOUI Irisa/Ifsic, Université de Rennes, France SERGIO RAJSBAUM Instituto de Matemáticas, UNAM, Mexico
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 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 informationApproximation of δ-timeliness
Approximation of δ-timeliness Carole Delporte-Gallet 1, Stéphane Devismes 2, and Hugues Fauconnier 1 1 Université Paris Diderot, LIAFA {Carole.Delporte,Hugues.Fauconnier}@liafa.jussieu.fr 2 Université
More informationOn the weakest failure detector ever
On the weakest failure detector ever The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Guerraoui, Rachid
More informationValency Arguments CHAPTER7
CHAPTER7 Valency Arguments In a valency argument, configurations are classified as either univalent or multivalent. Starting from a univalent configuration, all terminating executions (from some class)
More informationI R I S A P U B L I C A T I O N I N T E R N E N o NORMALITY: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS VIJAY K. GARG, MICHEL RAYNAL
I R I P U B L I C A T I O N I N T E R N E 1015 N o S INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES A NORMALITY: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS VIJAY K. GARG, MICHEL RAYNAL
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 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 informationEventually consistent failure detectors
J. Parallel Distrib. Comput. 65 (2005) 361 373 www.elsevier.com/locate/jpdc Eventually consistent failure detectors Mikel Larrea a,, Antonio Fernández b, Sergio Arévalo b a Departamento de Arquitectura
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 informationConsensus and Universal Construction"
Consensus and Universal Construction INF346, 2015 So far Shared-memory communication: safe bits => multi-valued atomic registers atomic registers => atomic/immediate snapshot 2 Today Reaching agreement
More informationDistributed Computing in Shared Memory and Networks
Distributed Computing in Shared Memory and Networks Class 2: Consensus WEP 2018 KAUST This class Reaching agreement in shared memory: Consensus ü Impossibility of wait-free consensus 1-resilient consensus
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 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 informationGenuine atomic multicast in asynchronous distributed systems
Theoretical Computer Science 254 (2001) 297 316 www.elsevier.com/locate/tcs Genuine atomic multicast in asynchronous distributed systems Rachid Guerraoui, Andre Schiper Departement d Informatique, Ecole
More informationLower Bound on the Step Complexity of Anonymous Binary Consensus
Lower Bound on the Step Complexity of Anonymous Binary Consensus Hagit Attiya 1, Ohad Ben-Baruch 2, and Danny Hendler 3 1 Department of Computer Science, Technion, hagit@cs.technion.ac.il 2 Department
More informationOn the weakest failure detector ever
Distrib. Comput. (2009) 21:353 366 DOI 10.1007/s00446-009-0079-3 On the weakest failure detector ever Rachid Guerraoui Maurice Herlihy Petr Kuznetsov Nancy Lynch Calvin Newport Received: 24 August 2007
More informationI R I S A P U B L I C A T I O N I N T E R N E N o VIRTUAL PRECEDENCE IN ASYNCHRONOUS SYSTEMS: CONCEPT AND APPLICATIONS
I R I P U B L I C A T I O N I N T E R N E 079 N o S INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES A VIRTUAL PRECEDENCE IN ASYNCHRONOUS SYSTEMS: CONCEPT AND APPLICATIONS JEAN-MICHEL HÉLARY,
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 informationEasy Consensus Algorithms for the Crash-Recovery Model
Reihe Informatik. TR-2008-002 Easy Consensus Algorithms for the Crash-Recovery Model Felix C. Freiling, Christian Lambertz, and Mila Majster-Cederbaum Department of Computer Science, University of Mannheim,
More informationTermination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures Technical Report Department for Mathematics and Computer Science University of Mannheim TR-2006-008 Felix C. Freiling
More informationarxiv: v1 [cs.dc] 2 Jul 2015
Publications Internes de l IRISA ISSN : 2102-6327 PI 2027 January 2015 arxiv:1507.00474v1 [cs.dc] 2 Jul 2015 Anonymous Obstruction-free (n, k)-set Agreement with n k + 1 Atomic Read/Write Registers Zohir
More informationIrreducibility and Additivity of Set Agreement-oriented Failure Detector Classes
Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes [Extended Abstract] Achour Mostefaoui Sergio Rajsbaum Michel Raynal Corentin Travers {achour raynal ctravers}@irisa.fr rajsbaum@math.unam.mx
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 informationWhich Broadcast Abstraction Captures k-set Agreement?
Which Broadcast Abstraction Captures k-set Agreement? Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal To cite this version: Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal.
More informationAtomic m-register operations
Atomic m-register operations Michael Merritt Gadi Taubenfeld December 15, 1993 Abstract We investigate systems where it is possible to access several shared registers in one atomic step. We characterize
More informationImpossibility of Distributed Consensus with One Faulty Process
Impossibility of Distributed Consensus with One Faulty Process Journal of the ACM 32(2):374-382, April 1985. MJ Fischer, NA Lynch, MS Peterson. Won the 2002 Dijkstra Award (for influential paper in distributed
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 informationDo we have a quorum?
Do we have a quorum? Quorum Systems Given a set U of servers, U = n: A quorum system is a set Q 2 U such that Q 1, Q 2 Q : Q 1 Q 2 Each Q in Q is a quorum How quorum systems work: A read/write shared register
More informationWait-Free Dining Under Eventual Weak Exclusion
Wait-Free Dining Under Eventual Weak Exclusion Scott M. Pike, Yantao Song, and Srikanth Sastry Texas A&M University Department of Computer Science College Station, TX 77843-3112, USA {pike,yantao,sastry}@cs.tamu.edu
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 informationAbstract. The paper considers the problem of implementing \Virtually. system. Virtually Synchronous Communication was rst introduced
Primary Partition \Virtually-Synchronous Communication" harder than Consensus? Andre Schiper and Alain Sandoz Departement d'informatique Ecole Polytechnique Federale de Lausanne CH-1015 Lausanne (Switzerland)
More informationA Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability Roberto BALDONI Jean-Michel HELARY y Achour MOSTEFAOUI y Michel RAYNAL y Abstract Considering an application
More informationConsensus when failstop doesn't hold
Consensus when failstop doesn't hold FLP shows that can't solve consensus in an asynchronous system with no other facility. It can be solved with a perfect failure detector. If p suspects q then q has
More informationA Message-Passing and Adaptive Implementation of the Randomized Test-and-Set Object
A Message-Passing and Adaptive Implementation of the Randomized Test-and-Set Object Emmanuelle Anceaume, François Castella, Achour Mostefaoui, Bruno Sericola To cite this version: Emmanuelle Anceaume,
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 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 informationThe Heard-Of Model: Computing in Distributed Systems with Benign Failures
The Heard-Of Model: Computing in Distributed Systems with Benign Failures Bernadette Charron-Bost Ecole polytechnique, France André Schiper EPFL, Switzerland Abstract Problems in fault-tolerant distributed
More informationNontrivial and Universal Helping for Wait-Free Queues and Stacks
Nontrivial and Universal Helping for Wait-Free Queues and Stacks Hagit Attiya 1, Armando Castañeda 2, and Danny Hendler 3 1 Technion 2 UNAM 3 BGU Abstract This paper studies two approaches to formalize
More informationFailure Detectors. Seif Haridi. S. Haridi, KTHx ID2203.1x
Failure Detectors Seif Haridi haridi@kth.se 1 Modeling Timing Assumptions Tedious to model eventual synchrony (partial synchrony) Timing assumptions mostly needed to detect failures Heartbeats, timeouts,
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 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 informationCan an Operation Both Update the State and Return a Meaningful Value in the Asynchronous PRAM Model?
Can an Operation Both Update the State and Return a Meaningful Value in the Asynchronous PRAM Model? Jaap-Henk Hoepman Department of Computer Science, University of Twente, the Netherlands hoepman@cs.utwente.nl
More informationFailure Detection and Consensus in the Crash-Recovery Model
Failure Detection and Consensus in the Crash-Recovery Model Marcos Kawazoe Aguilera Wei Chen Sam Toueg Department of Computer Science Upson Hall, Cornell University Ithaca, NY 14853-7501, USA. aguilera,weichen,sam@cs.cornell.edu
More informationTechnical Report. Anti-Ω: the weakest failure detector for set agreement. Piotr Zieliński. Number 694. July Computer Laboratory
Technical Report UCAM-CL-TR-694 ISSN 1476-2986 Number 694 Computer Laboratory Anti-Ω: the weakest failure detector for set agreement Piotr Zieliński July 2007 15 JJ Thomson Avenue Cambridge CB3 0FD United
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 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 informationarxiv: v2 [cs.dc] 18 Feb 2015
Consensus using Asynchronous Failure Detectors Nancy Lynch CSAIL, MIT Srikanth Sastry CSAIL, MIT arxiv:1502.02538v2 [cs.dc] 18 Feb 2015 Abstract The FLP result shows that crash-tolerant consensus is impossible
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 informationInformation-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation
Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation Viveck R. Cadambe EE Department, Pennsylvania State University, University Park, PA, USA viveck@engr.psu.edu Nancy Lynch
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 Leasing
Asynchronous Leasing Romain Boichat Partha Dutta Rachid Guerraoui Distributed Programming Laboratory Swiss Federal Institute of Technology in Lausanne Abstract Leasing is a very effective way to improve
More informationTechnical Report. Automatic classification of eventual failure detectors. Piotr Zieliński. Number 693. July Computer Laboratory
Technical Report UCAM-CL-TR-69 ISSN 476-986 Number 69 Computer Laboratory Automatic classification of eventual failure detectors Piotr Zieliński July 007 5 JJ Thomson Avenue Cambridge CB 0FD United Kingdom
More information(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains
(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains Tyler Crain Vincent Gramoli, Mikel Larrea, Michel Raynal, University of Sydney, Australia {tyler.crain,vincent.gramoli}@sydney.edu.au
More informationTHE WEAKEST FAILURE DETECTOR FOR SOLVING WAIT-FREE, EVENTUALLY BOUNDED-FAIR DINING PHILOSOPHERS. A Dissertation YANTAO SONG
THE WEAKEST FAILURE DETECTOR FOR SOLVING WAIT-FREE, EVENTUALLY BOUNDED-FAIR DINING PHILOSOPHERS A Dissertation by YANTAO SONG Submitted to the Office of Graduate Studies of Texas A&M University in partial
More informationA Weakest Failure Detector for Dining Philosophers with Eventually Bounded Waiting and Failure Locality 1
A Weakest Failure Detector for Dining Philosophers with Eventually Bounded Waiting and Failure Locality 1 Hyun Chul Chung, Jennifer L. Welch Department of Computer Science & Engineering Texas A&M University
More informationFailure detection and consensus in the crash-recovery model
Distrib. Comput. (2000) 13: 99 125 c Springer-Verlag 2000 Failure detection and consensus in the crash-recovery model Marcos Kawazoe Aguilera 1, Wei Chen 2, Sam Toueg 1 1 Department of Computer Science,
More informationOn Equilibria of Distributed Message-Passing Games
On Equilibria of Distributed Message-Passing Games Concetta Pilotto and K. Mani Chandy California Institute of Technology, Computer Science Department 1200 E. California Blvd. MC 256-80 Pasadena, US {pilotto,mani}@cs.caltech.edu
More informationBenchmarking Model Checkers with Distributed Algorithms. Étienne Coulouma-Dupont
Benchmarking Model Checkers with Distributed Algorithms Étienne Coulouma-Dupont November 24, 2011 Introduction The Consensus Problem Consensus : application Paxos LastVoting Hypothesis The Algorithm Analysis
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 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 informationInformation and Computation
Information and Computation 209 (2011) 927 950 Contents lists available at ScienceDirect Information and Computation journal homepage:www.elsevier.com/locate/ic The impossibility of boosting distributed
More informationarxiv: v1 [cs.dc] 3 Oct 2011
A Taxonomy of aemons in Self-Stabilization Swan ubois Sébastien Tixeuil arxiv:1110.0334v1 cs.c] 3 Oct 2011 Abstract We survey existing scheduling hypotheses made in the literature in self-stabilization,
More informationBounded Normal Approximation in Highly Reliable Markovian Systems
Bounded Normal Approximation in Highly Reliable Markovian Systems Bruno Tuffin To cite this version: Bruno Tuffin. Bounded Normal Approximation in Highly Reliable Markovian Systems. [Research Report] RR-3020,
More informationThe Weakest Failure Detector for Wait-Free Dining under Eventual Weak Exclusion
The Weakest Failure Detector for Wait-Free Dining under Eventual Weak Exclusion Srikanth Sastry Computer Science and Engr Texas A&M University College Station, TX, USA sastry@cse.tamu.edu Scott M. Pike
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 informationThe Extended BG-Simulation and the Characterization of t-resiliency
The Extended BG-Simulation and the Characterization of t-resiliency Eli Gafni November 17, 2008 Abstract A distributed task T on n processors is an input/output relation between a collection of processors
More informationConsistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. CS 249 Project Fall 2005 Wing Wong
Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms CS 249 Project Fall 2005 Wing Wong Outline Introduction Asynchronous distributed systems, distributed computations,
More informationTitle: Randomized k-set Agreement in Crash-prone and Byzantine Asynchronous Systems. Section/Category: A - Algorithms, automata, complexity and games
Theoretical Computer Science Manuscript Draft Manuscript Number: TCS-D--00 Title: Randomized k-set Agreement in Crash-prone and Byzantine Asynchronous Systems Article Type: SI: ICDCN 0 Section/Category:
More informationarxiv:cs/ v1 [cs.dc] 29 Dec 2004
Reductions in Distributed Computing Part I: Consensus and Atomic Commitment Tasks arxiv:cs/0412115v1 [cs.dc] 29 Dec 2004 Bernadette Charron-Bost Abstract We introduce several notions of reduction in distributed
More informationColorless Wait-Free Computation
Colorless Wait-Free Computation Companion slides for Distributed Computing Through Maurice Herlihy & Dmitry Kozlov & Sergio Rajsbaum Distributed Computing through 1 Colorless Tasks 32 19 21 19-Apr-14 2
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 informationTheoretical Computer Science
Theoretical Computer Science 503 (2013) 89 108 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs On the power of breakable objects Wei Chen a,guangdahu
More informationWait-Free Dining Under Eventual Weak Exclusion
Wait-Free Dining Under Eventual Weak Exclusion Scott M. Pike, Yantao Song, and Kaustav Ghoshal Texas A&M University Department of Computer Science College Station, TX 77843-3112, USA {pike, yantao, kghoshal}@tamu.edu
More informationUnreliable Failure Detectors for Reliable Distributed Systems
Unreliable Failure Detectors for Reliable Distributed Systems Tushar Deepak Chandra I.B.M Thomas J. Watson Research Center, Hawthorne, New York and Sam Toueg Cornell University, Ithaca, New York We introduce
More informationEfficient Notification Ordering for Geo-Distributed Pub/Sub Systems
R. BALDONI ET AL. 1 Efficient Notification Ordering for Geo-Distributed Pub/Sub Systems Supplemental material Roberto Baldoni, Silvia Bonomi, Marco Platania, and Leonardo Querzoni 1 ALGORITHM PSEUDO-CODE
More informationDEXON Consensus Algorithm
DEXON Consensus Algorithm Infinitely Scalable, Low-Latency Byzantine Fault Tolerant Blocklattice DEXON Foundation Aug 9 2018, v1.0 Abstract A blockchain system is a replicated state machine that must be
More information