Programme accédant et/ou modifiant des données persistantes (fichier ou BD) avec propriétés :

Transcription

1 Transaction réservation(date, nbplace) select reste into r from RESERVATION where dateresa=:date si (r >= nbplace) alors update RESERVATION set reste=reste-nbplace where dateresa=:date éditer-place(date, nbplace) valider transaction sinon imprimer réservation impossible annuler transaction finsi Fin transaction Programme accédant et/ou modifiant des données persistantes (fichier ou BD) avec propriétés : A : atomicité (tout ou rien) C : cohérence (respect des contraintes définies sur les données) I : isolation (garantie de non interférence entre des transactions s exécutant concurremment) D : durabilité (état produit par la transaction ne peut être perdu) Transaction centralisée : toutes les opérations d accès et de maj aux données persistantes ont lieu sur le même site (et le même système) Transaction répartie : les opérations d accès et/ou de maj aux données ont lieu sur au moins deux sites

2 Agence de voyage Réserver avion Réserver un voyage (transaction globale) Réserver hôtel Réserver voiture Transactions locales! Contrôle de concurrence gérer les accès simultanés de plusieurs transactions sur la même donnée sinon risque de perte de mise à jour, de violation de CI, de lecture impropre, de lecture de données sales,... gestion de l'atomicité globale Exécution séquentielle des transactions = pas de problème. Objectif: ordonnancer les actions des transactions concurrentes de façon à produire le même résultat qu'une exécution séquentielle (principe de sérialisation) Détection des conflits d'accès aux objets par des transactions concurrentes. $%& Méthodes de contrôle continu (pessimistes) Le contrôle de dépendance a lieu à chaque conflit pendant l'exécution d'une transaction: Verrouillage: les objets sont verrouillés avant utilisation; en cas de conflit, une transaction attend la libération du verrou associé à l'objet partagé; Estampillage: un ordre de sérialisation est défini à l'aide d'estampilles; en cas de conflit, on force les transactions à s'exécuter selon la relation d'ordre. Méthodes de contrôle à postériori (optimistes) contrôle a lieu lors de la validation de la transaction en observant si la transaction à valider entre en conflit avec les transactions ayant validé depuis le début de son exécution " #

3 (! Méthode utilisée dans les systèmes commerciaux bien connue et maîtrisée (verrouillage 2 phases) en cas de problème force l'attente mais pas l'abandon (au contraire d'estampillage et optimiste) nécessite de détecter les dead-locks (construction d'un graphe d'attente) Passage en réparti naturel sauf détection de deadlocks qui devient complexe pas possible de construire le graphe d'attente global revient à des solutions abruptes type timeout (!%*+, Prise de verrous Libération de verrous temps Si phase de libération lors de la validation : verrouillage 2 phases strict (cas des systèmes commerciaux) Efficace si durée de la transaction courte ' ) - Appli Gestion de comptes bancaires Appli Banque CCP Oracle Appli Banque CL Sybase Transaction globale TG : virement de 1000FR du CCP vers CL Transactions locales : retrait de 1000Fr du CCP (TL CCP) dépôt de 1000Fr sur CL (TL CL) TL CCP + TL CL = TG? -. *, Une transaction répartie se décompose en une séquence de transactions centralisées chaque transaction centralisée est atomique mais une somme de comportements atomiques n'est pas atomique! Besoin de protocoles de terminaison spécifique pour assurer l'atomicité globale protocole le plus utilisé : validation deux phases (2 Phase-)

4 /0123 Participant 1 Début T2 Participant 2 Début T1 (not ) (not ) (abort) décision (abort) Composition de transactions n est pas atomique atomicité d une transaction répartie doit être assurée par un protocole de synchronisation des sites impliqués dans la transaction (protocole de validation à deux phases ou V2P) les SGBD commerciaux implantent une version propriétaire du V2P $4/ Application program Interface native (SQL, ) Resource manager Interface XA Interface TX Transaction manager $4/ moniteurs transactionnels ouverts implantent DTP tout SGBD supportant l interface XA peut être piloté par un moniteur transactionnel (plupart des SGBD commerciaux) XA et TX ne gère que l aspect transactionnel (début et fin de la transaction, démarrage d un nouveau site, ) repris par OTS (Corba) et JTS (Java)

5 $ 5 extension des moniteurs transactionnels «anciens» (CICS d IBM par exemple) à la gestion de transactions réparties hétérogènes implantation du modèle DTP (Distributed Transaction Processing) de X/Open TUXEDO (BEA), CICS (IBM), ENCINA (Transarc), TopEnd (Nixdorf, ATT) 6 Celles d un middleware de données en environnement multi-serveurs équilibrage de charge administration centralisée des systèmes gestion répartie des transactions entre SGBD hétérogènes " # Participant : site (SGBD) qui a exécuté au moins une instruction de la transaction globale : site qui prend en charge la validation deux phases (peut être un site spécifique ou un participant) information nécessaire pour le : connaître le début et la fin de la transaction globale ainsi que tous les sites impliqués nombre de messages : 4 N (sauf multicast) abort peut être anticipé par un participant mais pas le commit Participant 1 Début T2 Participant 2 Début T1 décision ' )

6 .. Participant 1 Participant 2 timeout presume abort abort abort Recouvre Participant 1 Participant 2 décision Recouvre 4! Participant 1 Participant 2 (abort) Recouvre décision (abort) Transaction globale terminaison TL1 attente TL2 attente TL3 attente

7 - 7 But : améliorer la V2P en permettant la validation anticipée (empêche les blocages) chaque transaction peut valider (et abandonner) indépendament des autres problème si la décision globale est l'abandon, il faut pouvoir défaire les transactions validées possible si chaque transaction possède une transaction symétrique dite de compensation (pb n'existe pas toujours et plus de code à écrire) si des transactions ont accédées aux données modifiées par les transactions compensées elles doivent être abandonnées en cascade Avantages : assure l atomicité globale beaucoup d implantations Inconvénients : performances (beaucoup de messages échangés) blocage (site reste bloqué depuis la fin de la transaction locale jusqu au ) sensibilité aux s difficile à mettre en oeuvre sur Internet