Contrôle de sérialisabilité dans des systèmes de transactions parallèles

par Christine Cornier

Thèse de doctorat en Informatique

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1985

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

Le président du jury était Guy Vidal-Naquet.

Le jury était composé de Jean-Claude Bermond, Marie-Paule Flé, Claude Girault, Gérard Roucairol.


  • Résumé

    Le but de cette thèse est de développer des algorithmes de construction d'un automate de reconnaissance du langage des comportements corrects ou sérialisables d'un système de transactions itérées, parallèles. Une relation de précédence entre transactions, associée à un préfixe de comportement, indépendante des occurrences de transactions, caractérise la correction de ce préfixe. Les états de l’automate sont ensuite caractérisés par des ensembles de mots ou à l’aide de la relation de précédence : une implantation est présentée. La complexité de ces algorithmes dépend de la taille de la relation de conflit du système : une définition de la notion d’utilité d’un conflit est fournie ainsi que des propriétés permettant de caractériser cette utilité. La transformation du système par suppression de conflits inutiles possède la propriété de confluence et, ainsi, le nombre de conflits d’un système de transactions peut être minimalisé.

  • Titre traduit

    Control of "serializability" in parallel transaction systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (139-[40] p.)
  • Annexes : Bilibliogr., 2 p. (12 réf.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1985)163
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-033992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.