Probabilistic Analysis of a 1-of-n Selection Algorithm using a Moderately Pessimistic Decision Criterion
Paper in proceeding, 2013

In this paper we are concerned with the fundamental problem of reaching agreement among a set of distributed processes in presence of an unbounded number of communication failures. We present a probabilistic analysis of a family of synchronous consensus algorithms that aim to solve the 1-ofn selection problem. In this problem, a set of n nodes are to select one common value among a set of n proposed values. There are two possible outcomes of each node's selection process: it can decide either to select a value, or to abort. Agreement implies that all nodes select the same value, or all nodes decide to abort. We know from previous research that it is impossible to guarantee agreement if there is no upper bound on the number of communication failures that can occur. Our aim is to study how the probability of disagreement varies for different decision criteria. The decision criterion consists of the logical expressions that determine whether a process will select a value or decide to abort based on its view of the system state. In this paper we propose and analyse a moderately pessimistic decision criterion. We compared this decision criterion with an optimistic and a pessimistic decision criterion, which we have investigated in our previous work. Our results show that the moderately pessimistic decision criterion for most configurations has a lower maximum probability of disagreement compared with the two other decision criteria. Furthermore, it provides a compromise between the optimistic and the pessimistic approaches since it reduces the probability of disagreement without increasing excessively the probability of agreeing to abort.

communication failures

probabilistic analysis


distributed algorithms


Negin Fathollah Nejad Asl

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

Emilia Villani

Instituto Tecnológico de Aeronáutica (ITA)

Risat Pathan

University of Gothenburg

Raul Barbosa

University of Coimbra

Johan Karlsson

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

15410110 (ISSN)

978-076955130-2 (ISBN)

Subject Categories

Computer Engineering

Areas of Advance

Information and Communication Technology





More information

Latest update

1/3/2024 9