Horloge logique

Une horloge logique est un mécanisme permettant de capturer les relations chronologiques et causales dans un système distribué . Souvent, les systèmes distribués ne possèdent pas d'horloge globale physiquement synchrone. Dans de nombreuses applications (comme GNU Make distribué ), si deux processus n'interagissent jamais, l'absence de synchronisation est imperceptible et, dans ces applications, il suffit que les processus s'accordent sur l'ordre des événements (c'est-à-dire l'horloge logique) plutôt que sur l'heure système. L'idée des horloges logiques est due à Leslie Lamport , qui l'a introduite en 1978 avec son système d'horodatage .