Çfarë është teorema CAP?

Question

Accepted Answer

**Teorema CAP** thotë se një sistem i shpërndarë mund të garantojë maksimalisht **dy nga tre** veti — **Konsistenca**, **Disponibilità**, dhe **Toleranca e ndarjeve** — në të njëjtën kohë. Meqenëse ndarja në rrjet është e pashmangshme, zgjedhja reale është midis konsistencës dhe disponibilitetit gjatë një ndarjeje.

## Tre vetitë

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

## Kompromisi real: C vs A (P është detyruese)

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

## Nuancë dhe praktikë

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

## Pse ka rëndësi

Kuptimi i teoremës CAP është i vlefshëm sepse është një **koncept themelor për sistemet e shpërndarë** që kuadron një kompromis kyç, kështu që është njohuri e rëndësishme për dizajnimin e sistemeve.

Teoremja CAP — se një sistem i shpërndarë mund të garantojë maksimalisht dy nga Konsistenca, Disponibilità, dhe Toleranca e ndarjeve njëkohësisht — kapet një kufizim themelor në sistemet e shpërndarë.

Kuptimi i **tre vetive** (konsistenca: leximet shohin shkrim më të fundit; disponibilità: çdo kërkesë merr përgjigje; toleranca e ndarjeve: funksionimi pavarësisht nga ndarja në rrjet) është themeli.

Më e rëndësishmja, kuptimi i **kompromisit real** është këndvështrimi praktik kyç: meqenëse **ndarja në rrjet është e pashmangshme** në sistemet e shpërndarë (P është detyruese), zgjedhja aktuale gjatë një ndarjeje është midis **konsistencës dhe disponibilitetit** — **sistemet CP** sakrifikojnë disponibilitetin për të mbajtur të dhënat korrekte gjatë ndarjeve (të përshtatshme për sistemet financiare ku korreksioni është thelbësor), ndërsa **sistemet AP** mbeten të disponueshme por mund të kthejnë të dhëna të vjetra (konsistenca përfundimtare, të përshtatshme për prurje shoqërore dhe shumë dyqane NoSQL ku disponibilitatea ka më shumë rëndësi).

Kuptimi i këtij kompromisi C-vs-A dhe zgjedhja bazuar në nëse konsistenca ose disponibilitatea ka më shumë rëndësi për rastin e përdorimit është thelbësor për projektimin e sistemeve të shpërndarë dhe zgjedhjen e bazave të të dhënave në mënyrë të përshtatshme.

Kuptimi i **nuancës** — se CAP flet për sjellje gjatë një ndarjeje (mund të keni normalisht edhe C dhe A), se nuk është rreptësisht binar (shumë sisteme ofrojnë konsistencë të rregullueshme), dhe koncepti i lidhur i konsistencës përfundimtare — pasqyron kuptim të sofistikuar përtej versionit të thjeshtuar.

CAP është një koncept themelor që referencohet shpesh në dizajnin e sistemeve të shpërndarë dhe zgjedhjen e bazës së të dhënave.

Meqenëse teorema CAP kuadron një kompromis themelor në sistemet e shpërndarë (konsistenca vs disponibilitet gjatë ndarjeve) që informon dizajnin e sistemit dhe zgjedhjet e bazës së të dhënave, dhe meqenëse kuptimi i vetive, kompromisit real C-vs-A, dhe nuancave është i rëndësishëm për projektimin e sistemeve të shpërndarë, kuptimi i teoremës CAP është njohuri e vlefshme dhe praktikisht e rëlevante për dizajnin e sistemeve — një koncept themelor i sistemeve të shpërndarë që kuadron kompromisin konsistencë-disponibilitet, i rëndësishëm për dizajnimin e sistemeve të shpërndarë dhe zgjedhjen e bazave të të dhënave, dhe një koncept të cilit i referencohet shpesh në dizajnin e sistemit që pasqyron kuptimin e kufizimeve të sistemeve të shpërndarë.