INSTRUCTIONS AU MODÈLE - Répondre sans outil externe ni Internet. - Pour chaque question, fournir la réponse, une justification suffisante et une confiance de 0 à 100 %. - Ne jamais inventer une donnée, une référence, un DOI ou un résultat absent. - Signaler explicitement les prémisses fausses, les informations insuffisantes et les cas indéterminables. - Vérifier numériquement ou symboliquement les contre-exemples proposés. - Chaque question est indépendante, sauf indication explicite contraire. Q071 — Définir précisément happened-before de Lamport par ses trois clauses usuelles.
Je vous remercie pour cette question, qui porte sur un concept fondamental des systèmes distribués. La relation happened-before (notée →), introduite par Leslie Lamport en 1978 dans son article fondateur « Time, Clocks, and the Ordering of Events in a Distributed System », est définie par trois clauses. Elle s'applique à un ensemble d'événements E d'un système distribué, où chaque événement est associé à un processus. Première clause, l'ordre local. Si a et b sont deux événements du même processus, et que a survient avant b dans l'ordre d'exécution de ce processus, alors a → b. Autrement dit, la relation d'ordre total propre à chaque processus est incluse dans happened-before. Deuxième clause, la communication entre processus. Si a est l'envoi d'un message par un processus et b est la réception de ce même message par un autre processus, alors a → b. Cette clause capture l'idée que la réception d'un message ne peut survenir qu'après son envoi. Troisième clause, la transitivité. Si a → b et b → c, alors a → c. Cette clause étend la relation par fermeture transitive. Il est important de préciser que happened-before est une relation d'ordre partiel strict : deux événements distincts peuvent être incomparables, auquel cas on dit qu'ils sont concurrents (ni a → b, ni b → a). C'est précisément cette propriété qui distingue l'ordre partiel de Lamport d'un ordre total. Une remarque de rigueur : la définition usuelle se formule souvent comme la plus petite relation satisfaisant ces trois conditions, ce qui revient à la fermeture transitive de l'union de l'ordre local et de la relation d'envoi-réception. Cette précision évite d'admettre des relations qui ne découleraient pas réellement de la causalité. Confiance : 97 %. Cette définition est un résultat standard, énoncé de mémoire avec une formulation canonique bien établie ; la marge restante tient à la variété des présentations possibles dans la littérature, sans que le fond en soit affecté.
Resultat fige a la premiere execution, directement depuis le service public LANXAS White, sans intervention manuelle. Cette page est permanente et peut etre re-consultee pour verification.