Modelisation et optimisation de methodes de controle de concurrence dans les modeles de transactions multibases

par RABAH BENAMARA

Thèse de doctorat en Sciences et techniques

Sous la direction de Kamel Barkaoui.

Soutenue en 1999

à CNAM .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Ce travail est consacre a l'etude du controle de concurrence dans les modeles de transactions multibases. Un systeme multibase est une collection de sgbd preexistants et autonomes. En raison de l'autonomie locale, les mecanismes classiques de controle des executions concurrentes des transactions globales dans les sgbd repartis deviennent inoperants. On a d'abord evalue les performances de la methode dite du graphe des sites qui garantit la serialisabilite globale sous la condition que les protocoles transactionnels mis en uvre par les sgbd locaux soient fortement serialisables. Cette evaluation, fondee sur un algorithme calculant la probabilite d'acceptation d'une transaction globale prete a l'execution, a confirme le caractere restrictif de cette methode sur le debit transactionnel. On etudie ensuite le probleme de la detection des interblocages globaux sous l'hypothese realiste que les sgbd locaux sont bloquants. On demontre alors par la theorie des graphes aleatoires que la detection des interblocages globaux peut se limiter a la recherche de circuits de longueur deux dans le graphe des conflits potentiels (pcg). Ce resultat nous permet de proposer une methode de detection probabiliste des interblocages globaux potentiels reduisant le nombre de faux interblocages. Enfin, nous traitons le probleme du controle de concurrence dans un modele de transactions multibase integrant des dependances structurelles entre sous-transactions derivees du formalisme acta. A partir d'une representation, en termes de reseaux de petri, des relations d'attente issues des dependances de donnees et des dependances structurelles, on etablit une caracterisation de l'interblocage global potentiel plus fine que celle qui pourrait etre deduite du pcg. Cette caracterisation nous permet d'etablir un algorithme efficace de detection des interblocages globaux pour les systemes multibases utilisant ce modele de transaction etendu.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 169 p.
  • Annexes : 114 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 346
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 346 double
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • PEB soumis à condition
  • Cote : MFT 263
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.