Not All Fair Probabilistic Schedulers Are Equivalent

We propose a novel, generic definition of probabilistic schedulers for population protocols. We then identify the consistent probabilistic schedulers, and prove that any consistent scheduler that assigns a non-zero probability to any transition i ***j , where i and j are configurations satisfying i *** j , is fair with probability 1. This is a new theoretical framework that aims to simplify proving specific probabilistic schedulers fair. In this paper we propose two new schedulers, the State Scheduler and the Transition Function Scheduler . Both possess the significant capability of being protocol-aware , i.e. they can assign transition probabilities based on information concerning the underlying protocol. By using our framework we prove that the proposed schedulers, and also the Random Scheduler that was defined by Angluin et al. [2], are all fair with probability 1. Finally, we define and study equivalence between schedulers w.r.t. performance and correctness and prove that there exist fair probabilistic schedulers that are not equivalent w.r.t. to performance and others that are not equivalent w.r.t. correctness.

[1]  Michael J. Fischer,et al.  Computation in networks of passively mobile finite-state sensors , 2004, PODC '04.

[2]  David Eisenstat,et al.  Fast computation by population protocols with a leader , 2006, Distributed Computing.

[3]  Rachid Guerraoui,et al.  Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures , 2009, ICALP.

[4]  Ioannis Chatzigiannakis,et al.  Brief Announcement: Decidable Graph Languages by Mediated Population Protocols , 2009, DISC.

[5]  W. Mccrea,et al.  XXII.—Random Paths in Two and Three Dimensions. , 1940 .

[6]  Paul G. Spirakis,et al.  Recent Advances in Population Protocols , 2009, MFCS.

[7]  David Eisenstat,et al.  Stably computable predicates are semilinear , 2006, PODC '06.

[8]  David Eisenstat,et al.  A Simple Population Protocol for Fast Robust Approximate Majority , 2007, DISC.

[9]  Paul G. Spirakis,et al.  Stably Decidable Graph Languages by Mediated Population Protocols , 2010, SSS.

[10]  Joseph Sifakis,et al.  Fairness and related properties in transition systems — a temporal logic to deal with fairness , 1983, Acta Informatica.

[11]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[12]  Paul G. Spirakis,et al.  Mediated Population Protocols , 2009, ICALP.

[13]  Paul G. Spirakis,et al.  The Dynamics of Probabilistic Population Protocols , 2008, DISC.

[14]  Michael J. Fischer,et al.  Stably Computable Properties of Network Graphs , 2005, DCOSS.

[15]  James Aspnes,et al.  An Introduction to Population Protocols , 2007, Bull. EATCS.