Abstract FR:

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.