### Skapa referens, olika format (klipp och klistra)

**Harvard**

Asl, N., Villani, E., Pathan, R., Barbosa, R. och Karlsson, J. (2014) *On probabilistic analysis of disagreement in synchronous consensus protocols*.

** BibTeX **

@conference{

Asl2014,

author={Asl, Negin Fathollah Nejad and Villani, Emilia and Pathan, Risat Mahmud and Barbosa, Raul and Karlsson, Johan},

title={On probabilistic analysis of disagreement in synchronous consensus protocols},

booktitle={10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014},

isbn={978-147993803-2},

pages={23-34},

abstract={This paper presents a probabilistic analysis of disagreement for a family of simple synchronous consensus algorithms aimed at solving the 1-of-n selection problem in presence of unrestricted communication failures. In this problem, a set of n nodes are to select one common value among n proposed values. There are two possible outcomes of each node's selection process: decide to select a value or abort. We have disagreement if some nodes select the same value while other nodes decide to abort. Previous research has shown that it is impossible to guarantee agreement among the nodes subjected to an unbounded number of message losses. Our aim is to find decision algorithms for which the probability of disagreement is as low as possible. In this paper, we investigate two different decision criteria, one optimistic and one pessimistic. We assume two communication failure models, symmetric and asymmetric. For symmetric communication failures, we present the closed-form expressions for the probability of disagreement. For asymmetric failures, we analyse the algorithm using a probabilistic model checking tool. Our results show that the choice of decision criterion significantly influences the probability of disagreement for the 1-of-n selection algorithm. The optimistic decision criterion shows a lower probability of disagreement compare to the pessimistic one when the probability of message loss is less than 30% to 70%. On the other hand, the optimistic decision criterion has in general a higher maximum probability of disagreement compared to the pessimistic criterion.},

year={2014},

keywords={consensus; distributed algorithms; reliability analysis; symmetric and asymmetric communication failures},

}

** RefWorks **

RT Conference Proceedings

SR Electronic

ID 193078

A1 Asl, Negin Fathollah Nejad

A1 Villani, Emilia

A1 Pathan, Risat Mahmud

A1 Barbosa, Raul

A1 Karlsson, Johan

T1 On probabilistic analysis of disagreement in synchronous consensus protocols

YR 2014

T2 10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014

SN 978-147993803-2

SP 23

OP 34

AB This paper presents a probabilistic analysis of disagreement for a family of simple synchronous consensus algorithms aimed at solving the 1-of-n selection problem in presence of unrestricted communication failures. In this problem, a set of n nodes are to select one common value among n proposed values. There are two possible outcomes of each node's selection process: decide to select a value or abort. We have disagreement if some nodes select the same value while other nodes decide to abort. Previous research has shown that it is impossible to guarantee agreement among the nodes subjected to an unbounded number of message losses. Our aim is to find decision algorithms for which the probability of disagreement is as low as possible. In this paper, we investigate two different decision criteria, one optimistic and one pessimistic. We assume two communication failure models, symmetric and asymmetric. For symmetric communication failures, we present the closed-form expressions for the probability of disagreement. For asymmetric failures, we analyse the algorithm using a probabilistic model checking tool. Our results show that the choice of decision criterion significantly influences the probability of disagreement for the 1-of-n selection algorithm. The optimistic decision criterion shows a lower probability of disagreement compare to the pessimistic one when the probability of message loss is less than 30% to 70%. On the other hand, the optimistic decision criterion has in general a higher maximum probability of disagreement compared to the pessimistic criterion.

LA eng

DO 10.1109/EDCC.2014.26

LK http://dx.doi.org/10.1109/EDCC.2014.26

OL 30