Kas yra CAP teorema?

Question

Accepted Answer

**CAP teorema** teigia, kad paskirstyta sistema gali garantuoti daugiausia **du iš trijų** savybių — **Konsistentumą**, **Prieinamumą** ir **Skaidinio toleranciją** — vienu metu. Kadangi tinklo skaidiniai yra neišvengiami, tikrasis pasirinkimas yra tarp konsistentumo ir prieinamumo skaidinio metu.

## Trys savybė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.
```

## Tikrasis kompromis: C prieš A (P yra privalomas)

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

## Niuansai ir praktika

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

## Kodėl tai svarbu

CAP teoremos supratimas yra vertingas, nes tai **pagrindinė paskirstytų sistemų koncepcija**, kuri nusako svarbų kompromisą, todėl tai yra svarbi sistemos projektavimo žinių sritis.

CAP teorema — kad paskirstyta sistema gali garantuoti daugiausia du iš Konsistentumo, Prieinamumo ir Skaidinio tolerancijos vienu metu — apima pagrindinį apribojimą paskirstytose sistemose.

Supratimas apie **tris savybes** (konsistentumas: skaitymai matys naujausią rašymą; prieinamumas: kiekvienas užklausa gauna atsakymą; skaidinio tolerancija: darbas nepaisant tinklo skaidinių) yra pagrindas.

Svarbiausias dalykas — suprasti **tikrąjį kompromisą** yra pagrindinė praktinė nuomonė: kadangi **tinklo skaidiniai yra neišvengiami** paskirstytose sistemose (P yra privalomas), tikrasis pasirinkimas skaidinio metu yra tarp **konsistentumo ir prieinamumo** — **CP sistemos** aukoja prieinamumą, kad išlaikytų duomenų teisingumą skaidinių metu (tinkamos finansų sistemoms, kur teisingumas yra svarbiausias), o **AP sistemos** lieka prieinamos, bet gali grąžinti pasenusias duomenis (galutinis konsistentumas, tinkamas socialinėms medžiagoms ir daugeliui NoSQL saugyklų, kur prieinamumas yra svarbesnis).

Supratimas apie C prieš A kompromisą ir pasirinkimas pagal tai, ar naudojimo atveju svarbesnis konsistentumas ar prieinamumas, yra labai svarbus paskirstytų sistemų projektavimui ir duomenų bazių pasirinkimui.

Supratimas apie **niuansus** — kad CAP apie elgesį skaidinio metu (paprastai galite turėti ir C, ir A), kad tai nėra griežtai binarinė (daugelį sistemų siūlo reguliuojamą konsistentumą), ir susijusią galutinio konsistentumo sąvoką — atspindi nuodugnų supratimą, viršijantį supaprastintą versiją.

CAP yra pagrindinė sąvoka, dažnai nurodoma paskirstytos sistemos projektavimo ir duomenų bazės pasirinkimo metu.

Kadangi CAP teorema nusako pagrindinį kompromisą paskirstytose sistemose (konsistentumas prieš prieinamumą skaidinių metu), kuris informuoja sistemos projektavimą ir duomenų bazės pasirinkimus, ir kadangi savybių, tikrojo C prieš A kompromiso ir niuansų supratimas yra svarbus paskirstytų sistemų projektavimui, CAP teoremos supratimas yra vertinga, praktiškai aktuali sistemos projektavimo žinių sritis — pagrindinė paskirstytų sistemų sąvoka, nusakanti konsistentumo-prieinamumo kompromisą, svarbi paskirstytų sistemų projektavimui ir duomenų bazių pasirinkimui, ir dažnai minima sistemos projektavimo sąvoka, atspindinti paskirstytų sistemų apribojimų supratimą.