Analyse des phénomènes de concurrence dans les systèmes parallèles : le principe de sérialisation

par Marie-Paule Flé

Thèse de doctorat en Informatique

Sous la direction de Gérard Roucairol.

Soutenue en 1986

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .


  • Résumé

    Cette thèse concerne la formalisation des problèmes de concurrence dans les systèmes parallèles. Un comportement parallèle de plusieurs processus étant représenté par un mot obtenu par mélange des actions de ces processus, sont considérés comme corrects les comportements sérialisables, i. E. Pour lesquels l'ordre des actions dites conflictuelles est le même que pour un comportement résultant d'une exécution séquentielle de ces processus. Des exemples d'application montrent que l'on peut ainsi aborder des problèmes de synchronisation de nature aussi différente que les accès concurrents à une Base de données, le partage de ressources ou encore certains problèmes de robotique. Dans un premier temps les processus sont des suites d'actions autorisées à se répéter un nombre arbitrairement grand de fois et l'on montre que l'ensemble des calculs sérialisables est reconnaissable par un automate fini. Ce modèle est ensuite généralisé dans deux directions: -on affine le critère de sérialisabilité en le définissant à partir d'un ensemble de relations de conflit différentes. Cette nouvelle notion permet de caractériser le problème de l'exclusion mutuelle. - on aborde le problème de la synchronisation de programmes concurrents en considérant les processus comme des ensembles (finis ou infinis) de mots. Après avoir étendu la notion de sérialisabilité à ce nouveau modèle, on montre que le contrôle optimal de tels processus peut également être obtenu à partir d'un automate fini. D'autres algorithmes de synchronisation sont étudiés et l'on montre en particulier l'existence d'un algorithme de sérialisation équitable au sens où les processus du système considéré sont exécutés au terme d'un délai fini

  • Titre traduit

    Analysis of concurrency phenomena in parallel systems : the serialization principle


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (184 p.)
  • Annexes : Bibliogr. p. 181-184

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1986)26
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034247
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.