A Combinatorial Study of Async/Await Processes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

A Combinatorial Study of Async/Await Processes

Matthieu Dien
  • Fonction : Auteur
  • PersonId : 1158794
Antoine Genitrini
Frederic Peschanski
  • Fonction : Auteur
  • PersonId : 1012844

Résumé

In this paper we study families of async/await concurrent processes using techniques and tools from (enumerative) combinatorics and order theory. We consider the count of process executions as the primary measure of "complexity", which closely relates to the (in general, difficult) problem of counting linear extensions of partial orders. Interestingly, the control structures of async/await processes fall into the subclass of what we call the BIT-decomposable posets, providing an effective way to count executions in practice. We also show that async/await processes can be seen as generalizations of families of interval orders, a well-studied class of partial orders. Based on this combinatorial study, we define a variety of uniform random generation algorithms. We consider on the one side the generation of process structures, and on the other side the generation of execution paths-which is performed without requiring the explicit construction of the state-space.
Fichier principal
Vignette du fichier
parco-ictac2022.pdf (626.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03767986 , version 1 (02-09-2022)

Identifiants

Citer

Matthieu Dien, Antoine Genitrini, Frederic Peschanski. A Combinatorial Study of Async/Await Processes. The 19th International Colloquium on Theoretical Aspects of Computing, Sep 2022, Tbilisi, Georgia. pp.170-187, ⟨10.1007/978-3-031-17715-6_12⟩. ⟨hal-03767986⟩
127 Consultations
137 Téléchargements

Altmetric

Partager

More