Simulating Population Protocols in Sub-Constant Time per Interaction

05/07/2020
by   Petra Berenbrink, et al.
0

We consider the problem of efficiently simulating population protocols. In the population model, we are given a distributed system of n agents modeled as identical finite-state machines. In each time step, a pair of agents is selected uniformly at random to interact. In an interaction, agents update their states according to a common transition function. We empirically and analytically analyze two classes of simulators for this model. First, we consider sequential simulators executing one interaction after the other. Key to the performance of these simulators is the data structure storing the agents' states. For our analysis, we consider plain arrays, binary search trees, and a novel Dynamic Alias Table data structure. Secondly, we consider batch processing to efficiently update the states of multiple independent agents in one step. For many protocols considered in literature, our simulator requires amortized sub-constant time per interaction and is fast in practice: given a fixed time budget, the implementation of our batched simulator is able to simulate population protocols several orders of magnitude larger compared to the sequential competitors, and can carry out 2^50 interactions among the same number of agents in less than 400s.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 13

05/28/2019

On Counting the Population Size

We consider the problem of counting the population size in the populatio...
02/26/2019

Population protocols with unreliable communication

Population protocols are a model of distributed computation intended for...
02/19/2018

Almost logarithmic-time space optimal leader election in population protocols

The model of population protocols refers to a large collection of simple...
05/25/2021

Smoothed Analysis of Population Protocols

In this work, we initiate the study of smoothed analysis of population p...
05/10/2021

ppsim: A software package for efficiently simulating and visualizing population protocols

We introduce ppsim, a software package for efficiently simulating popula...
11/23/2021

Modular population protocols

Population protocols are a model of distributed computation intended for...
08/23/2019

Immediate Observation in Mediated Population Protocols

In this paper we analyze the computational power of variants of populati...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.