Une horloge logique est un dispositif logiciel qui sert à établir et mesurer une notion de temps établie selon la relation de causalité arrivé-avant dans un système réparti asynchrone. Différents types d'horloges logiques existent et fournissent plus ou moins d'information sur la causalité.
Horloges de Lamport
Horloges vectorielles
Horloges matricielles
Liens externes
Catégorie:Algorithmique répartie
de:Lamport-Uhr