The Combinatorics of Barrier Synchronization

07/03/2019
by   Olivier Bodini, et al.
0

In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synchronization barriers. We elaborate a systematic decomposition of processes that produces a symbolic integral formula to solve the problem. Based on this procedure, we develop a generic algorithm to generate process executions uniformly at random. For some interesting sub-classes of processes we propose very efficient counting and random sampling algorithms. All these algorithms have one important characteristic in common: they work on the control graph of processes and thus do not require the explicit construction of the state-space.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/17/2020

Sampling Arborescences in Parallel

We study the problem of sampling a uniformly random directed rooted span...
08/19/2020

Simple Counting and Sampling Algorithms for Graphs with Bounded Pathwidth

In this paper, we consider the problem of counting and sampling structur...
03/02/2018

Beyond series-parallel concurrent systems: the case of arch processes

In this paper we focus on concurrent processes built on synchronization ...
11/26/2018

Interacting reinforced stochastic processes: statistical inference based on the weighted empirical means

This work deals with a system of interacting reinforced stochastic proce...
10/04/2019

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)

We propose an efficient algorithm for determinising counting automata (C...
02/12/2018

Is Compare-and-Swap Really Necessary?

The consensus number of a synchronization primitive, such as compare-and...
06/03/2021

Efficient ℤ_2 synchronization on ℤ^d under symmetry-preserving side information

We consider ℤ_2-synchronization on the Euclidean lattice. Every vertex o...
This week in AI

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