Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency

In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomenon arising in concurrency. This paper is essential...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Discrete mathematics and theoretical computer science Ročník 22 no. 3, Computational...; číslo Special issues
Hlavní autoři: Bodini, OLivier, Dien, Matthieu, Genitrini, Antoine, Peschanski, Frédéric
Médium: Journal Article
Jazyk:angličtina
Vydáno: DMTCS 25.01.2021
Discrete Mathematics & Theoretical Computer Science
Edice:Computational Logic and Applications (CLA'19)
Témata:
[info.info-dm]computer science [cs]/discrete mathematics [cs.dm]
[info.info-ds]computer science [cs]/data structures and algorithms [cs.ds]
barrier synchronization
combinatorics
Computer Science
Data Structures and Algorithms
Discrete Mathematics
fork-join processes
partial order theory
promises
uniform random generation
Barrier synchronization
Fork-Join processes
Combinatorics
Uniform random generation
Partial Order Theory
Promises
ISSN:1365-8050, 1462-7264, 1365-8050
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomenon arising in concurrency. This paper is essentially focusing on the 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.
ISSN:1365-8050
1462-7264
1365-8050
DOI:10.46298/dmtcs.5820