Relojes lógicos Lamport definió una relación llamada ocurre antes de. A ? B “A ocurre antes que B” Si A y B son eventos en el mismo proceso y A ocurre antes que B, entonces A ? B. Si A es el evento del envío de un mensaje por un proceso y B es el evento de la recepción del mensaje, entonces A ? B. Si A ? B y B ? C, entonces A ? C. 31
Relojes lógicos Lo que necesitamos es una forma de medir el tiempo tal que, a cada evento A, le podamos asociar un valor de tiempo C(A) en el que todos los procesos estén de acuerdo. Si A ? B, entonces C(A) < C(B). 32
Relojes lógicos 33
Relojes lógicos Si A ocurre antes de B en el mismo proceso, C(A) < C(B). Si A y B son el envío y la recepción de un mensaje, C(A) < C(B). Para todos lo eventos A y B, C(A) ? C(B). 34
Relojes físicos Mediciones con base al sol. Reloj atómico ? 1948. Tiempo Atómico Internacional (TAI). Coordinated Universal Time (UTC). 35
Relojes físicos 36
| Página siguiente |