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. Q075 — Dans Paxos/Raft, pourquoi l’intersection des majorités est-elle importante pour la sûreté ?
Je vous remercie pour cette question, qui touche au cœur de la conception des algorithmes de consensus répliqué. **Réponse** Dans Paxos et Raft, l'intersection des majorités est le mécanisme fondamental qui garantit la propriété de sûreté (safety), c'est-à-dire qu'aucune valeur conflictuelle ne peut être décidée à des étapes différentes. La raison est purement combinatoire : dans un système de N processus, toute paire de majorités (ensembles de plus de N/2 processus) a une intersection non vide. Cette propriété assure qu'un processus qui a participé à une décision passée sera nécessairement consulté lors de toute tentative ultérieure de décision. **Justification détaillée** Considérons N processus. Une majorité est un ensemble de taille strictement supérieure à N/2. Si deux majorités M₁ et M₂ étaient disjointes, on aurait |M₁| + |M₂| ≤ N, donc 2·(N/2) < |M₁| + |M₂| ≤ N, ce qui est impossible puisque |M₁| + |M₂| > N. L'intersection est donc toujours non vide. Cette propriété est exploitée de la manière suivante. Dans Paxos, un accepteur qui a accepté une valeur v pour un numéro de round n doit, lors de tout round ultérieur, communiquer cette valeur au proposant. Comme le quorum de préparation (prepare) du nouveau round et le quorum d'acceptation (accept) du round précédent se recoupent, le proposant apprend nécessairement la valeur déjà acceptée et doit la proposer à nouveau. Ainsi, une fois qu'une valeur est choisie, toute valeur choisie ultérieurement lui est identique : c'est la sûreté. Dans Raft, le même principe s'applique via l'élection du leader. Un candidat doit obtenir les votes d'une majorité pour devenir leader. Comme le leader précédent avait été élu par une majorité, et que le nouveau leader est élu par une autre majorité, ces deux majorités se recoupent. Le nouveau leader rencontre donc au moins un serveur qui connaît l'état du leader précédent, et il doit répliquer les entrées de journal de ce serveur avant d'en accepter de nouvelles. Cela empêche deux leaders successifs de commettre des entrées contradictoires. **Point de rigueur** Il faut distinguer sûreté et vivacité (liveness). L'intersection des majorités garantit la sûreté : elle empêche que deux valeurs différentes soient décidées. Elle ne garantit pas à elle seule la vivacité, c'est-à-dire qu'une décision soit effectivement prise ; c'est pourquoi Paxos et Raft imposent des conditions supplémentaires (comme l'unicité des numéros de round ou l'élection d'un leader unique à un instant donné) pour assurer le progrès. **Confiance : 96 %.** Cette explication repose sur une propriété combinatoire démontrable (l'intersection non vide des majorités) et sur la structure bien établie de Paxos et Raft, que je connais avec une grande fiabilité. La marge restante tient à la formulation des détails d'implémentation, qui varient selon les présentations. Je reste à votre disposition pour approfondir, par exemple sur la distinction entre les phases de Paxos ou sur la gestion des entrées de journal dans Raft.
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.