Protocole de validation en deux phases
Bases de données réparties

Dans un contexte distribué, la validation d’une requête globale qui se décompose en sous‐requêtes locales, nécessite la mise en œuvre d’un protocole de validation en deux phases (Two Phase Commit Protocol ou protocole 2PC).

Un module de contrôle global (MCG) supervise l’exécution de la requête et détermine si cette dernière s’est terminée correctement. Pour cela, ce module de contrôle communique avec des modules de contrôles locaux (MCL), spécifiques à chaque site où sont exécutées les sous‐requêtes. Selon que les sous‐requêtes se sont bien exécutées ou non, le MCG peut ou non signaler la fin correcte de la requête à l’utilisateur.

Le pseudo‐code qui suit précise le fonctionnement de ces modules. Une exécution correcte de la requête est validée par une opération de validation (COMMIT) qui rend effectives les modifications opérées sur la base. Une exécution incorrecte déclenche une opération de restauration (ROLLBACK) qui défait les modifications opérées par la requête et restaure la base de données dans un état cohérent antérieur.

• Pseudo‐code décrivant le fonctionnement du MCG

  MCG

     REP‐GLOBALE = "OK"

  FAIRE Pour chaque MCL TANT QUE REP‐GLOBALE = "OK"

           REP‐LOCALE = ""

           ENVOI‐MSG "état d’achèvement de la sous‐requête locale" au MCL ;

           Attente REP‐LOCALE ou signal de dépassement de temps

           SI REP‐LOCALE < > "OK" ALORS

           REP‐GLOBALE = ’| OK’

           FSI

  FINFAIRE

     SI REP‐GLOBALE = "OK" ALORS

     /* Délivrer la commande d’achèvement local COMMIT*/

     Forcer l’écriture de l’enregistrement point de validation

     "COMMIT" dans le journal du MCG (Commit Global) ;

     FAIRE pour chaque MCL

        REPETER JUSQU’À Accusé de réception positif

                 Envoi demande COMMIT local au MCL ;

                 Attente accusé de réception ou...