26) Come si inquadrano le problematiche di clock nella sincronizzazione?

Clock fisico, abbiamo un unico tempo se assumiamo di avere :

• un unico clock disponibile a tutti i nodi.
• un clock per ogni nodo e che i clock siano perfettamente sincronizzati.

purtroppo,

• orologi globali non esistono.
• garantire la sincronizzazione di orologi comporta un notevole overhead e un margine di errore.

  Uso di trasmissione radio dell'ora.

Clock logici, il clock assegna un numero ad ogni evento significativo

La funzione TS(i) assegna un valore ad ogni evento. Se a-> b, allora il timestamp logico degli eventi è tale che TS(a) < TS(b)

Condizione di clock: per qualunque a e b, se a-> b, allora LC(a) < LC(b)

La funzione di clock logico globale LC è tale che per ogni evento a che appartenga al processo i, si ha LC(a) = LC_i(a)

Condizioni

C1. per qualunque a e b, se a-> b nel processo P_i, allora LC_i(a) < LC_i(b)

C1.per qualunque a e b, se a è l'invio di un messaggio nel processo P_i e b la ricezione nel processo P_j, allora LC_i(a) < LC_j(b)

I1. ogni processo P_i incrementa LC_i tra due eventi

I2. per qualunque a, invio di un messaggio nel processo P_i, il messaggio contiene il clock come timestamp: TS = LC_i(a)

I3.per qualunque b, ricezione di un messaggio nel processo P_j, il processo mette il clock logico al valore maggiore del clock corrente e del timestamp: LC_j = max (TS_ricevuto, LC_jcorrente) + 1

Questo produce una relazione d'ordine parziale,

E' necessario introdurre una relazione di ordine totale tra tutti i processi del sistema

Relazione d'ordine totale: se a è un evento in un processo P_i e b un evento in un processo P_j, allora a=> b se e solo se

R1) LC_i(a) < LC_j(b) oppure

R2) LC_i(a) = LC_j(b) e P_i < P_j