Horloge logique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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[modifier | modifier le code]

Article détaillé : horloge de Lamport.

Horloges vectorielles[modifier | modifier le code]

Article détaillé : horloge vectorielle.

Horloges matricielles[modifier | modifier le code]

Article détaillé : horloge matricielle.