Horloge logique

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 28 décembre 2018 à 13:20 et modifiée en dernier par HerculeBot (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

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