Qu'est-ce que le théorème CAP ?

Question

Accepted Answer

Le **théorème CAP** affirme qu'un système distribué peut garantir au maximum **deux des trois** propriétés — **Cohérence**, **Disponibilité** et **Tolérance aux partitions** — en même temps. Puisque les partitions réseau sont inévitables, le vrai choix se fait entre la cohérence et la disponibilité lors d'une partition.

## Les trois propriétés

```text
CONSISTENCY (C) → every read sees the latest write (all nodes agree on the data)
AVAILABILITY (A) → every request gets a response (the system stays responsive)
PARTITION TOLERANCE (P) → the system keeps working despite network partitions
  (communication breaks between nodes)
→ CAP: you can only fully guarantee TWO of these three simultaneously.
```

## Le vrai compromis : C vs A (P est obligatoire)

```text
In distributed systems, network PARTITIONS WILL happen → P is NOT optional (you must
tolerate partitions) → so the real choice during a partition is C vs A:
  CP (consistency over availability) → during a partition, refuse requests that can't be
    consistent (sacrifice availability to keep data correct) — e.g. financial systems
  AP (availability over consistency) → during a partition, stay available but may return
    stale/inconsistent data (eventual consistency) — e.g. social feeds, many NoSQL stores
→ choose based on whether CONSISTENCY or AVAILABILITY matters more for the use case.
```

## Nuance et pratique

```text
→ CAP is about behavior DURING a partition (normally you can have both C and A)
→ It's not strictly binary → many systems offer TUNABLE consistency (per-operation choices)
→ Related: EVENTUAL CONSISTENCY (AP systems converge to consistency over time)
→ Understand the trade-off to choose databases/designs appropriately
```

## Pourquoi c'est important

Comprendre le théorème CAP est précieux car c'est un **concept fondamental pour les systèmes distribués** qui encadre un compromis clé, c'est donc une connaissance importante en architecture système.

Le théorème CAP — qu'un système distribué peut garantir au maximum deux de Cohérence, Disponibilité et Tolérance aux partitions simultanément — capture une contrainte fondamentale des systèmes distribués.

Comprendre les **trois propriétés** (cohérence : les lectures voient la dernière écriture ; disponibilité : chaque requête reçoit une réponse ; tolérance aux partitions : fonctionnement malgré les partitions réseau) est la base.

Plus important encore, comprendre **le vrai compromis** est l'insight pratique clé : puisque **les partitions réseau sont inévitables** dans les systèmes distribués (P est obligatoire), le choix réel lors d'une partition se fait entre **cohérence et disponibilité** — les systèmes **CP** sacrifient la disponibilité pour garder les données correctes lors des partitions (convenant aux systèmes financiers où la correction est primordiale), tandis que les systèmes **AP** restent disponibles mais peuvent retourner des données obsolètes (cohérence à terme, convenant aux fils d'actualité et nombreux magasins NoSQL où la disponibilité importe davantage).

Comprendre ce compromis C-vs-A et choisir selon que la cohérence ou la disponibilité importe plus pour le cas d'usage est essentiel pour concevoir des systèmes distribués et choisir les bases de données appropriées.

Comprendre la **nuance** — que CAP concerne le comportement lors d'une partition (vous pouvez normalement avoir à la fois C et A), que ce n'est pas strictement binaire (de nombreux systèmes offrent une cohérence ajustable), et le concept associé de cohérence à terme — reflète une compréhension sophistiquée au-delà de la version simplifiée.

CAP est un concept fondamental fréquemment référencé dans la conception de systèmes distribués et la sélection de bases de données.

Puisque le théorème CAP encadre un compromis fondamental dans les systèmes distribués (cohérence vs disponibilité lors des partitions) qui informe la conception système et les choix de bases de données, et puisque comprendre les propriétés, le vrai compromis C-vs-A, et les nuances est important pour concevoir des systèmes distribués, comprendre le théorème CAP est une connaissance précieuse et pratique en architecture système — un concept distribué fondamental encadrant le compromis cohérence-disponibilité, important pour concevoir des systèmes distribués et choisir les bases de données, et un concept fréquemment référencé en conception système qui reflète une compréhension des contraintes des systèmes distribués.