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. Q072 — Si L(a)=L(b) pour deux événements distincts sous des horloges de Lamport standard, que peut-on conclure sur a→b et b→a ?
Bonjour. Je vous remercie pour cette question portant sur les horloges de Lamport. **Réponse** Si L(a) = L(b) pour deux événements distincts a et b sous des horloges de Lamport standard, alors on ne peut conclure ni a→b, ni b→a. En d'autres termes, les deux relations de précédence causale sont fausses : ni a ne précède causalement b, ni b ne précède causalement a. **Justification** Rappelons la propriété fondamentale des horloges de Lamport : si a→b (a précède causalement b), alors L(a) < L(b). Cette implication est une conséquence directe de la règle de mise à jour de l'horloge : chaque processus incrémente son compteur local avant d'horodater un événement, et les messages transportent l'horloge de l'émetteur, le récepteur prenant le maximum de son compteur et de la valeur reçue, puis l'incrémentant. Par contraposition, si L(a) = L(b), alors on ne peut pas avoir a→b, car cela exigerait L(a) < L(b). De même, on ne peut pas avoir b→a, car cela exigerait L(b) < L(a). Les deux relations sont donc exclues. Il faut toutefois être précis sur la portée de cette conclusion. L'égalité des horodatages ne prouve pas à elle seule que les événements sont concurrents au sens strict de la définition (a ∥ b signifie ni a→b ni b→a). En effet, l'égalité L(a) = L(b) exclut bien les deux précédences, donc elle implique effectivement la concurrence a ∥ b. Mais l'inverse n'est pas vrai : deux événements concurrents peuvent très bien recevoir des horodatages différents. L'horloge de Lamport est un mécanisme de cohérence, pas une horloge vectorielle : elle ne capture pas complètement l'ordre causal, et c'est précisément la raison pour laquelle les horloges vectorielles ont été introduites. Ainsi, la conclusion exacte est : L(a) = L(b) implique que a et b sont concurrents (a ∥ b), c'est-à-dire ni a→b ni b→a. En revanche, la réciproque est fausse. **Confiance** Je place ma confiance à 97 %. Cette déduction repose sur une propriété standard et bien établie des horloges de Lamport, que je peux vérifier par le raisonnement de contraposition exposé ci-dessus. La petite marge restante tient au fait que j'énonce de mémoire une propriété classique de la littérature distribuée, sans pouvoir ici consulter la source originale. Je reste à votre disposition pour toute précision complémentaire.
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.