Algoritmo Chandy-Lamport


Times logici e vettore Watcheseditar

Nell’impossibilità di sincronizzare perfettamente gli orologi in un sistema distribuito, il tempo fisico non può essere utilizzato in essi ottenere l’ordine di qualsiasi evento che si verifica. Per evitare questo problema, Lamport suggerisce l’uso dei tempi logici per ottenere la sincronizzazione. L’obiettivo è quello di associarsi a tutti gli eventi un marchio di tempo indipendente dell’orologio fisico ed essere in grado di ordinarli tramite le relazioni “si verifica prima”. Con logico volte, se succede prima di B, l’orologio è meno, ma se un orologio è inferiore a quello di B, non implica che sia successo prima di b. Gli orologi vettoriali possono fare certe assunzioni. Un orologio vettoriale per un sistema di N I processi è un intero vettore. Ogni processo mantiene il tuo orologio vettoriale VI, dove inserisci i tuoi segni di tempo dai tuoi eventi locali. Per condividere, ci sono 4 regole di base per aggiornare gli orologi:

  • rv1 : Inizialmente VI = 0 per J = 1, 2, …, n.
  • rv2: prima che si verifichi un evento: vi = vi + 1.
  • rv3: PI include il Timestamp T = VI in ogni messaggio di invio.
  • rv4: quando PI ha un evento di ricezione con TimeStamp t, vi = max (vi, t) per j = 1,2, …, n.

stato globale e tagli coerenti a

un globale coerente Lo stato è che corrisponde a un taglio coerente. Possiamo caratterizzare l’esecuzione di un sistema distribuito come una serie di transazioni tra gli stati del sistema globale: S0-S1-S2-S3 …

CUT coerente: se l’evento di ricezione di un messaggio è “dentro” del taglio, allora anche l’evento di invio di questo messaggio deve essere. Un Corte C è coerente se, per ogni evento contiene, contiene anche tutti gli eventi che “è successo prima”.

Taglio coerente per gli orologi logici vettoriali: un taglio C è coerente se, per ogni processo P, il suo orologio logico in quel momento è maggiore di o come valori che hanno memorizzato il resto del p. p Igienico

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *