Algorithme Chandy-Lamport


Horaires logiques et montre VectoreDitatar

dans l’impossibilité de se synchroniser parfaitement des montres dans un système distribué, le temps physique ne peut pas être utilisé dans leur commande d’obtenir la commande de tout événement qui se produit. Pour éviter ce problème, Lamport suggère l’utilisation des temps logiques pour obtenir la synchronisation. L’objectif est d’associer à tous les événements une marque d’heure indépendante de l’horloge physique et de pouvoir les commander au moyen de relations « survient avant ». Avec logique. fois, si cela se produit avant B, l’horloge est moins, mais si une montre est inférieure à celle de B, cela n’implique pas que cela s’est passé avant b. Les montres de vecteur peuvent faire certaines hypothèses. Une horloge vectorielle pour un système de n Les processus sont un vecteur entier. Chaque processus garde votre propre vecteur Watch VI, où vous mettez vos propres marques de temps de vos événements locaux. Pour partager, il existe 4 règles de base pour mettre à jour les montres:

  • rv1 : Initialement vi = 0 pour J = 1, 2, …, n.
  • RV2: Avant qu’un événement se produit: VI = VI + 1.
  • RV3: PI comprend le Horodatage T = VI dans chaque message d’envoi.
  • RV4: Quand PI a une épreuve de réception avec horodatage t, vi = max (vi, t) pour j = 1,2, …, n.

statut global et réductions cohérentes à

Un global cohérent état est que cela correspond à une coupe constante. Nous pouvons caractériser l’exécution d’un système distribué en tant que série de transactions entre le système mondial des États: S0-S1-S2-S3 …

Coupe constante: Si l’événement de réception d’un message est « à l’intérieur » de la coupe, puis l’événement d’envoi de ce message doit également être. Un corte C est cohérent si, pour chaque événement qu’il contient, il contient également tous les événements « de ce qui précède ».

Coupe constante pour des montres logiques vectorielles: une coupure C est cohérente si, pour chaque processus P, son horloge logique à ce moment est supérieure ou comme les valeurs qui ont stocké le reste de la p.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *