Relojes lógicos

Lo que te llevas

• Happens-before es el único orden que un sistema distribuido puede establecer de verdad: mismo proceso, o envío antes de recepción, más transitividad.

Y 3 ideas más dentro de la clase, en Pro.

Cómo está armada la clase

1. El problema
2. La versión simple
3. Relojes de Lamport, y lo que no pueden hacer
4. Los relojes vectoriales hacen visible la concurrencia
5. Relojes lógicos híbridos, en la práctica
6. Comprueba lo que entendiste