Horloge logique

Cet article est une ébauche concernant l’informatique.

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.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (mai 2023).

Histoire

Le concept d’horloge logique est attribué à Leslie Lamport^[1], qui l’a introduit en 1978 avec son système d’horodatage.

Dans un système réparti, chaque ordinateur ou application possède sa propre horloge, et celles-ci ne sont pas forcément réglées exactement à la même heure. Si deux processus ne communiquent pas entre eux, cette différence n’a généralement aucune conséquence. Mais lorsque les processus communiquent, il est souvent inutile de connaître l’heure exacte de chaque événement. Il suffit de savoir dans quel ordre les événements se sont produits, par exemple, qu’une tâche a eu lieu avant une autre. Cet ordre peut être suivi avec une horloge logique, sans nécessiter une synchronisation des horloges réelles^[2].