Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)

08/17/2021
by   A. R. Balasubramanian, et al.
0

We show the equivalence of two distributed computing models, namely reconfigurable broadcast networks (RBN) and asynchronous shared-memory systems (ASMS), that were introduced independently. Both RBN and ASMS are systems in which a collection of anonymous, finite-state processes run the same protocol. In RBN, the processes communicate by selective broadcast: a process can broadcast a message which is received by all of its neighbors, and the set of neighbors of a process can change arbitrarily over time. In ASMS, the processes communicate by shared memory: a process can either write to or read from a shared register. Our main result is that RBN and ASMS can simulate each other, i.e. they are equivalent with respect to parameterized reachability, where we are given two (possibly infinite) sets of configurations C and C' defined by upper and lower bounds on the number of processes in each state and we would like to decide if some configuration in C can reach some configuration in C'. Using this simulation equivalence, we transfer results of RBN to ASMS and vice versa. Finally, we show that RBN and ASMS can simulate a third distributed model called immediate observation (IO) nets. Moreover, for a slightly stronger notion of simulation (which is satisfied by all the simulations given in this paper), we show that IO nets cannot simulate RBN.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/17/2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent

We show the equivalence of two distributed computing models, namely reco...
research
03/06/2022

Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms

This article addresses election in fully anonymous systems made up of n ...
research
01/25/2022

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version)

Reconfigurable broadcast networks (RBN) are a model of distributed compu...
research
12/15/2019

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Broadcast networks allow one to model networks of identical nodes commun...
research
06/02/2023

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability

We consider the parameterized verification of arbitrarily large networks...
research
11/30/2018

Parametric Timed Broadcast Protocols

In this paper we consider state reachability in networks composed of man...
research
07/10/2023

Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous

We consider networks of processes that all execute the same finite-state...

Please sign up or login with your details

Forgot password? Click here to reset