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

Abstract : In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allowing to delay some computations. The structure of a general concurrent process is a directed acyclic graph (DAG). Since the quantitative study of increasingly labeled DAG (directly related to processes) seems out of reach (this is a #P-complete problem), we restrict ourselves to the study of arch processes, a simplistic model of processes with futures. They are based on two parameters related to their sizes and their numbers of arches. The increasingly labeled structures seems not to be specifiable in the classical sense of Analytic Combinatorics, but we manage to derive a recurrence equation for the enumeration. For this model we first exhibit an exact and an asymptotic formula for the number of runs of a given process. The second main contribution is composed of a uniform random sampler algorithm and an unranking one that allow efficient generation and exhaustive enumeration of the runs of a given arch process.
Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-02073611
Contributor : Antoine Genitrini <>
Submitted on : Wednesday, March 20, 2019 - 9:41:01 AM
Last modification on : Tuesday, July 16, 2019 - 1:33:04 AM

Identifiers

Citation

Olivier Bodini, Antoine Genitrini, Matthieu Dien, Alfredo Viola. Beyond series-parallel concurrent systems: the case of arch processes. 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Jun 2018, Uppsala, Sweden. pp.14:1--14:14, ⟨10.4230/LIPIcs.AofA.2018.14⟩. ⟨hal-02073611⟩

Share

Metrics

Record views

18