Analysis of distributed systems via quasi-stationary distributions

Autor: Denis Villemonais, René Schott, Nicolas Champagnat
Přispěvatelé: Biology, genetics and statistics (BIGS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Élie Cartan de Lorraine (IECL), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Department of Networks, Systems and Services (LORIA - NSS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Rok vydání: 2021
Předmět:
Zdroj: Stochastic Analysis and Applications
Stochastic Analysis and Applications, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2021, 36 (6), pp.981-998. ⟨10.1080/07362994.2020.1861952⟩
Stochastic Analysis and Applications, 2021, 36 (6), pp.981-998. ⟨10.1080/07362994.2020.1861952⟩
ISSN: 1532-9356
0736-2994
Popis: International audience; We present a new probabilistic analysis of distributed systems. Our approach relies on the theory of quasi-stationary distributions (QSD) and the results recently developed by the first and third authors. We give properties on the deadlock time and the distribution of the model before deadlock, both for discrete and diffusion models. Our results apply to any finite values of the involved parameters (time, numbers of resources, number of processors, etc.) and reflect the real behavior of these systems, with potential applications to deadlock prevention.
Databáze: OpenAIRE