Zusammenfassung der Ressource
Tiempo y estados globales
- Relojes eventos y estados de proceso
- Sincronización de relojes físicos
- Sincronización en un sistema síncrono
- Metodo de Cristían para sincronizar relojes
- El algoritmo de Berkeley
- El protocolo del tiempo de red
- Tiempo lógico y relojes lógicos
- Estados globales
- Estados globales y cortes consistente
- Predicados de estado global, estabilidad, seguridad y vitalidad
- El algoritmo de instanténea de Chandy y Lamport
- Depuración distribuido
- Observación de estados globales consistentes
- Evaluación posible
- Evaluado sin duda alguna
- Evaluando definitivamente y sin duda alguna en sistemas síncronos