Horloge logique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique
Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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.