DIEN Matthieu

Docteur
Équipe : APR
Date de départ : 30/09/2017
https://www-apr.lip6.fr/~dien/
Direction de recherche : Michèle SORIA

Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire

Un programme concurrent est composé de plusieurs unités logiques : les processus. Chaque processus a un comportement qui lui est propre : il exécute ses actions de façon séquentielle.
Un objectif important est de s'assurer que de tels systèmes concurrents complexes soient cependant exempts de défaut. Cette problématique est étudiée dans le cadre de la théorie de la concurrence.
Quand plusieurs processus s’exécutent en parallèle, l’ordre d’exécution des actions du programme global n’est plus déterminé. On assiste au fameux phénomène "d’explosion combinatoire" faisant référence au très grand nombre d’exécutions globales possibles. Les diverses techniques et méthodes d'analyse existantes (model checking, analyse statique, tests automatisés, etc) se heurtent irrémédiablement à cette "explosion".
Cette thèse s'inscrit dans un projet à long terme d'étude quantitative de ce phénomène et de développement des techniques d’analyse statistique basées sur la génération aléatoire uniforme. Notre objectif dans cette thèse est de traiter une composante fondamentale de la concurrence : la synchronisation. Ce mécanisme permet aux processus de communiquer entre eux.
Dans cette thèse nous proposons un modèle combinatoire de structures croissantes pour modéliser les exécutions de programmes concurrents synchronisés. Avec des outils de combinatoire analytique nous obtenons plusieurs résultats exacts et asymptotiques sur le nombre moyen d'exécutions dans des sous-classes de programmes concurrents. Nous présentons aussi plusieurs algorithmes de génération aléatoire uniforme de structures croissantes et de leurs étiquetages.
Soutenance : 22/09/2017 - 16h30 - Site Jussieu 15-16/101
Membres du jury :
M. Cyril NICAUD & Professeur & Université Paris-Est, Marne-la-Vallée (Paris)-Rapporteur
M. Alain DENISE & Professeur & Université Paris-Sud (Paris)-Rapporteur

M. Olivier BODINI & Professeur & Université Paris-Nord (Paris)-Examinateur
M. Conrado MARTINEZ & Professeur & Universitat Politècnica de Catalunya (Barcelone)-Examinateur
M. Antoine MINÉ & Professeur & Université Pierre et Marie Curie (Paris)-Examinateur

M. Antoine GENITRINI (encadrant) & Maître de conférence & Université Pierre et Marie Curie (Paris)-Encadrant
M. Frédéric PESCHANSKI (encadrant) & Maître de conférence & Université Pierre et Marie Curie (Paris)-Encadrant
Mme Michèle SORIA (directrice) & Professeur & Université Pierre et Marie Curie (Paris)-Encadrant

Publications 2016-2017

 Mentions légales
Carte du site |