Kāda ir CAP teoremas jēga?

CAP teorija (Consistency, Availability, Partition Tolerance) apgalvo, kad paskirstytoje sistemoje vienu metu gali būti užtikrintos tik dvi iš trijų savybių:

• Suderinamumas (Consistency): Visi mazgai mato tuos pačius duomenis tuo pačiu metu. Jei duomenys pakeisti viename mazge, šis pakeitimas nedelsiant atsispindi visuose kituose.
• Prieinamumas (Availability): Sistema garantuoja, kad kiekvienas užklausas gauna atsakymą (be klaidų). Bet kuris darbo mazgas gali apdoroti užklausas.
• Partition Tolerance (Padalijimo atsparumas): Sistema toliau veikia net ir dėl tinklo problemų, kai įvyksta keli izoliaciniai klasteriai, ir mazgai negali tarpusavyje bendrauti.

Tinklo padalijimo (Partition Tolerance) atveju, sistema priversta pasirinkti tarp suderinamumo ir prieinamumo:

• CP sistema: pirmenybę teikia Consistent (Suderinamumas) prieš Available (Prieinamumas). Padalijimo metu sistema gali tapti neprieinama, kad užtikrintų, jog visi prieinami mazgai mato suderintus duomenis. Rašymo užklausos gali būti atmestos.
• AP sistema: pirmenybę teikia Available (Prieinamumas) prieš Consistent (Suderinamumas). Padalijimo metu sistema lieka prieinama, tačiau duomenys gali būti nesuderinti tarp skirtingų segmentų. Po padalijimo sprendimo duomenys turi būti sinchronizuoti.
• CA sistema: teoriniu požiūriu egzistuoja, bet realiuose tinkluose, kur padalijimai neišvengiami, ji neegzistuoja. Paskirstytoje sistemoje visada turi būti atsižvelgiama į Partition Tolerance.

CAP teorija nesako, kad sistemą neįmanoma padaryti vienu metu suderinta ir prieinama be padalijimų. Ji taikoma būtent tinklo padalijimo metu.

Pasirinkus tarp Consistent ir Available sąlygų Partition Tolerance, sprendimas priklauso nuo sistemos reikalavimų:

• Bankinės sistemos, kuriose svarbi duomenų tikslumas, dažnai renkasi CP.
• Socialinių tinklų ar internetinių parduotuvių sistemos, kur svarbi nuolatinė prieiga, net ir su tam tikru vėlavimu duomenų sinchronizavime, dažnai renkasi AP.