Controle des systemes de transactions imbriquees : conception, modelisation et preuve

par MARTA RUKOZ

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Dans cette these nous presentons la conception, la modelisation et la preuve des systemes transactionnels complexes en vue, d'une part de garantir la coherence des donnees, meme en cas de panne, et d'autre part, de detecter les phenomenes d'interblocage lors du partage d'objets entre transactions. Nous etudions le modele de transactions imbriquees reparties qui integre a la fois le parallelisme interne a une transaction et la tolerance aux pannes. La structure arborescente d'une transaction imbriquee et l'execution independante de ses sous-transactions permettent par combinaison avec une technique de synchronisation de processus paralleles, de construire un protocole de controle d'execution. Le nombre de messages echanges par le processus est inferieur a celui obtenu dans les protocoles actuels. La modelisation et la preuve de ce protocole au moyen de reseaux de petri colores permettent de partir de bases solides pour la construction du protocole final. L'extension progressive du protocole pour considerer la duplication et la perte de massages, puis les pannes de sites integre differentes techniques de tolerance aux pannes. La modelisation et la preuve au moyen des reseaux de petri colores, a chaque extension montrent que les regles de comportement ajoutees permettent le traitement des transactions imbriquees sans en alterer les resultats. Lorsque plusieurs sous-transactions peuvent utiliser les memes objets, le probleme de garantir la coherence du systeme se pose. Apres avoir etudie la technique classique de verrouillage a deux phases, nous presentons un nouvel algorithme de detection d'interblocage. Cet algorithme est base sur la construction d'une hierarchie des graphes representatifs des attentes d'une transaction imbriquee

  • Titre traduit

    Control of nested transactions systems. Design, modelling and proof


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 56 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 61989 439
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.