¿Qué es el teorema CAP?

Question

Accepted Answer

El **teorema CAP** establece que un sistema distribuido puede garantizar como máximo **dos de tres** propiedades — **Consistencia**, **Disponibilidad** y **Tolerancia a particiones** — al mismo tiempo. Dado que las particiones de red son inevitables, la elección real es entre consistencia y disponibilidad durante una partición.

## Las tres propiedades

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

## El verdadero compromiso: C vs A (P es obligatorio)

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

## Matices y práctica

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

## Por qué es importante

Comprender el teorema CAP es valioso porque es un **concepto fundamental para sistemas distribuidos** que define un compromiso clave, por lo que es importante conocimiento de diseño de sistemas.

El teorema CAP — que un sistema distribuido puede garantizar como máximo dos de Consistencia, Disponibilidad y Tolerancia a particiones simultáneamente — captura una restricción fundamental en sistemas distribuidos.

Comprender las **tres propiedades** (consistencia: las lecturas ven la escritura más reciente; disponibilidad: cada solicitud obtiene una respuesta; tolerancia a particiones: funcionamiento a pesar de particiones de red) es la base.

Lo más importante es comprender **el verdadero compromiso**, que es la idea práctica clave: dado que **las particiones de red son inevitables** en sistemas distribuidos (P es obligatorio), la elección real durante una partición es entre **consistencia y disponibilidad** — los **sistemas CP** sacrifican disponibilidad para mantener los datos correctos durante particiones (adecuados para sistemas financieros donde la corrección es primordial), mientras que los **sistemas AP** permanecen disponibles pero pueden devolver datos antiguos (consistencia eventual, adecuados para feeds sociales y muchas tiendas NoSQL donde la disponibilidad importa más).

Comprender este compromiso C-vs-A y elegir basándose en si la consistencia o la disponibilidad importan más para el caso de uso es esencial para diseñar sistemas distribuidos y elegir bases de datos apropiadamente.

Comprender los **matices** — que CAP se refiere al comportamiento durante una partición (normalmente puedes tener tanto C como A), que no es estrictamente binario (muchos sistemas ofrecen consistencia ajustable), y el concepto relacionado de consistencia eventual — refleja una comprensión sofisticada más allá de la versión simplificada.

CAP es un concepto fundamental frecuentemente referenciado en el diseño de sistemas distribuidos y la selección de bases de datos.

Dado que el teorema CAP define un compromiso fundamental en sistemas distribuidos (consistencia vs disponibilidad durante particiones) que informa el diseño de sistemas y las opciones de bases de datos, y dado que comprender las propiedades, el verdadero compromiso C-vs-A, y los matices es importante para diseñar sistemas distribuidos, comprender el teorema CAP es valioso, conocimiento práctico relevante de diseño de sistemas — un concepto fundamental de sistemas distribuidos que define el compromiso consistencia-disponibilidad, importante para diseñar sistemas distribuidos y elegir bases de datos, y un concepto frecuentemente referenciado en diseño de sistemas que refleja comprensión de las restricciones de sistemas distribuidos.