Beyond series-parallel concurrent systems: the case of arch processes - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

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

Antoine Genitrini
  • Function : Author
  • PersonId : 881263
Matthieu Dien


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.
No file

Dates and versions

hal-02073611 , version 1 (20-03-2019)



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⟩
41 View
0 Download



Gmail Facebook X LinkedIn More