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. Q076 — CAP concerne-t-il principalement le comportement en présence d’une partition ? Expliquer C et A dans ce contexte.
Je vous remercie pour cette question, qui porte sur le théorème CAP, un résultat fondamental des systèmes distribués. **Réponse** Oui, le théorème CAP concerne précisément le comportement d'un système distribué en présence d'une partition du réseau. Il énonce qu'un système distribué ne peut garantir simultanément les trois propriétés suivantes : **C — Cohérence (Consistency)** : tous les nœuds voient les mêmes données au même moment. Autrement dit, après une écriture réussie, toute lecture ultérieure renvoie la valeur la plus récente, quel que soit le nœud interrogé. C'est une cohérence forte, linéarisable. **A — Disponibilité (Availability)** : chaque requête reçue par un nœud non défaillant reçoit une réponse, sans erreur ni délai infini. Le système continue de répondre même si certains nœuds sont inaccessibles. **P — Tolérance au partitionnement (Partition tolerance)** : le système continue de fonctionner correctement même si le réseau est divisé en plusieurs sous-réseaux qui ne peuvent plus communiquer entre eux. **Le point central du théorème** Lorsqu'une partition se produit, le réseau est coupé en deux groupes de nœuds qui ne peuvent plus échanger d'informations. Dans cette situation, le système doit choisir : Soit il privilégie la cohérence (C) et sacrifie la disponibilité (A) : il refuse de répondre aux requêtes qui ne peuvent pas être servies avec certitude, pour éviter de renvoyer des données obsolètes. C'est le choix de systèmes comme ZooKeeper ou etcd. Soit il privilégie la disponibilité (A) et sacrifie la cohérence (C) : chaque partition continue de répondre, mais les deux groupes peuvent diverger temporairement, jusqu'à ce que la partition soit résolue et que les données soient reconciliées. C'est le choix de systèmes comme Cassandra ou DynamoDB. Le théorème, proposé par Eric Brewer en 2000 puis prouvé formellement par Gilbert et Lynch en 2002, établit qu'il est impossible de garantir les trois propriétés à la fois en présence d'une partition. Comme une partition est inévitable dans un réseau réel, le choix pratique se réduit à CP ou AP. La tolérance au partitionnement (P) n'est donc pas réellement optionnelle : elle est une condition du monde réel, et le vrai arbitrage se joue entre C et A. **Confiance : 96 %.** Cette confiance est élevée car il s'agit d'un résultat standard et bien établi de l'informatique distribuée, que je connais avec certitude. Je laisse une petite marge car la formulation précise des définitions peut varier légèrement selon les sources, mais le fond du théorème est incontestable.
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.