Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 25 Septembre 2018

Aspects combinatoires des systèmes concurrents

par Matthieu Dien (GREYC, Caen)

Quand plusieurs processus concurrents 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".

Dans cet exposé, nous étudierons ce phénomène d'un point de vue combinatoire en proposant des modèles, de plus en plus riches, permettant d'étudier différentes sous-classes de programmes concurrents. Nous présenterons aussi des algorithmes de génération aléatoire uniforme d'exécutions de programmes concurrents pour ces différentes sous-classes.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr