Gestión Distribuida de Procesos (página 3)

Partes: 1, 2, 3

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