Cos'è il teorema CAP?

Question

Accepted Answer

Il **teorema CAP** afferma che un sistema distribuito può garantire al massimo **due delle tre** proprietà — **Consistenza**, **Disponibilità** e **Tolleranza ai partizionamenti** — contemporaneamente. Poiché i partizionamenti di rete sono inevitabili, la scelta reale è tra consistenza e disponibilità durante un partizionamento.

## Le tre proprietà

```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.
```

## Il vero compromesso: C vs A (P è obbligatorio)

```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.
```

## Sfumature e pratica

```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
```

## Perché è importante

Comprendere il teorema CAP è prezioso perché è un **concetto fondamentale per i sistemi distribuiti** che inquadra un compromesso chiave, quindi è una conoscenza importante per il system design.

Il teorema CAP — secondo cui un sistema distribuito può garantire al massimo due tra Consistenza, Disponibilità e Tolleranza ai partizionamenti contemporaneamente — cattura un vincolo fondamentale nei sistemi distribuiti.

Comprendere le **tre proprietà** (consistenza: le letture vedono la scrittura più recente; disponibilità: ogni richiesta ottiene una risposta; tolleranza ai partizionamenti: funzionare nonostante i partizionamenti di rete) è la base.

Più importante ancora, comprendere **il vero compromesso** è l'insight pratico chiave: poiché i **partizionamenti di rete sono inevitabili** nei sistemi distribuiti (P è obbligatorio), la scelta reale durante un partizionamento è tra **consistenza e disponibilità** — i **sistemi CP** sacrificano la disponibilità per mantenere i dati corretti durante i partizionamenti (adatti ai sistemi finanziari dove la correttezza è fondamentale), mentre i **sistemi AP** rimangono disponibili ma potrebbero restituire dati obsoleti (eventual consistency, adatti ai social feed e a molti store NoSQL dove la disponibilità conta di più).

Comprendere questo compromesso C-vs-A e scegliere in base al fatto che la consistenza o la disponibilità importi di più per il caso d'uso è essenziale per progettare sistemi distribuiti e scegliere i database in modo appropriato.

Comprendere la **sfumatura** — che CAP riguarda il comportamento durante un partizionamento (normalmente puoi avere sia C che A), che non è strettamente binario (molti sistemi offrono consistenza regolabile) e il concetto correlato di eventual consistency — riflette una comprensione sofisticata oltre la versione semplificata.

CAP è un concetto fondamentale frequentemente citato nella progettazione di sistemi distribuiti e nella selezione dei database.

Poiché il teorema CAP inquadra un compromesso fondamentale nei sistemi distribuiti (consistenza vs disponibilità durante i partizionamenti) che informa la progettazione dei sistemi e le scelte dei database, e poiché comprendere le proprietà, il vero compromesso C-vs-A e le sfumature è importante per progettare sistemi distribuiti, comprendere il teorema CAP è una conoscenza utile e praticamente rilevante per il system design — un concetto fondamentale dei sistemi distribuiti che inquadra il compromesso consistenza-disponibilità, importante per progettare sistemi distribuiti e scegliere i database, e un concetto comunemente citato nel system design che riflette la comprensione dei vincoli dei sistemi distribuiti.