O que é o teorema CAP?

Question

Accepted Answer

O **teorema CAP** afirma que um sistema distribuído pode garantir no máximo **dois de três** atributos — **Consistência**, **Disponibilidade** e **Tolerância a partições** — ao mesmo tempo. Como as partições de rede são inevitáveis, a escolha real é entre consistência e disponibilidade durante uma partição.

## As três propriedades

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

## O trade-off real: C vs A (P é obrigatório)

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

## Nuances e prática

```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 que isso importa

Entender o teorema CAP é valioso porque é um **conceito fundamental para sistemas distribuídos** que enquadra um trade-off importante, portanto é um conhecimento essencial de design de sistemas.

O teorema CAP — que um sistema distribuído pode garantir no máximo dois de Consistência, Disponibilidade e Tolerância a partições simultaneamente — captura uma restrição fundamental em sistemas distribuídos.

Entender as **três propriedades** (consistência: leituras veem a escrita mais recente; disponibilidade: cada requisição recebe uma resposta; tolerância a partições: funcionamento apesar de partições de rede) é a base.

Mais importante ainda, entender o **trade-off real** é a visão prática-chave: como **partições de rede são inevitáveis** em sistemas distribuídos (P é obrigatório), a escolha real durante uma partição é entre **consistência e disponibilidade** — **sistemas CP** sacrificam disponibilidade para manter os dados corretos durante partições (adequado para sistemas financeiros onde a correção é primordial), enquanto **sistemas AP** permanecem disponíveis mas podem retornar dados desatualizados (eventual consistency, adequado para feeds sociais e muitos armazenamentos NoSQL onde a disponibilidade importa mais).

Entender esse trade-off C-vs-A e escolher baseado em se consistência ou disponibilidade importa mais para o caso de uso é essencial para projetar sistemas distribuídos e escolher bancos de dados apropriadamente.

Entender a **nuance** — que CAP é sobre comportamento durante uma partição (normalmente você pode ter tanto C quanto A), que não é estritamente binário (muitos sistemas oferecem consistência configurável), e o conceito relacionado de eventual consistency — reflete um entendimento sofisticado além da versão simplificada.

CAP é um conceito fundamental frequentemente referenciado no design de sistemas distribuídos e seleção de banco de dados.

Como o teorema CAP enquadra um trade-off fundamental em sistemas distribuídos (consistência vs disponibilidade durante partições) que informa o design de sistemas e escolhas de banco de dados, e como entender as propriedades, o trade-off real C-vs-A e as nuances é importante para projetar sistemas distribuídos, entender o teorema CAP é um conhecimento valioso e praticamente relevante de design de sistemas — um conceito fundamental de sistemas distribuídos enquadrando o trade-off consistência-disponibilidade, importante para projetar sistemas distribuídos e escolher bancos de dados, e um conceito frequentemente referenciado em design de sistemas que reflete entendimento das restrições de sistemas distribuídos.