25) In cosa consiste la relazione happened before?

È un ordinamento degli eventi per un insieme di processi che comunicano attraverso message passing. È derivato dalla causalità:
  1. Se a e b sono eventi dello stesso processo ed a è eseguito prima di b , allora a-> b
  2. Se a è l'evento di invio e b l'evento di spedizione di un messaggio, allora a-> b
  3. Se a-> b e b-> c, allora a-> c

La relazione introduce un ordinamento parziale degli eventi di un sistema

Due eventi sono concorrenti se: non a-> b e non b-> a

Poiché non esiste un unico orologio globale (tempo globale) ma un insieme di clock locali (tempi locali), con possibili variabili ritardi di trasmissione, cíè la necessità di un ordinamento globale o totale per la sincronizzazione.

 


Back
Index
Next