relojes logicos y fisicos
Los relojes físicos son relojes que:
- Deben ser iguales (estar sincronizados).
No deben desviarse del tiempo real más allá de cierta magnitud.
Para sincronizar los relojes lógicos, Lamport definió la relación ocurre antes de (happens-before):
- Si “a” y “b” son eventos en el mismo proceso y “a” ocurre antes de “b”, entonces “a –> b” es verdadero.
para que todo proceso funcione de manera correcta, es necesario tener en cuenta que los relojes tengan la misma hora, porque se sabe que no siempre se van a tener los relojes en la misma hora y por este motivo se generan fallos a la hora de hacer cualquier peticion entre usuario.
Los sucesos están ordenados e forma única por los tiempos mostrados en el reloj lógico. Puesto que no podemos sincronizar perfectamente los relojes a lo largo de un sistema distribuido, no podemos usar, en general, el tiempo físico para obtener el orden de cualquier par arbitrario de sucesos que ocurran en él.
Podemos utilizar un esquema que es similar a la causalidad física, pero que se aplica en los sistemas distribuidos, para ordenar algunos de los sucesos que ocurren en diferentes procesos.
Benitez Cruz Jonatan Elihu
^^