Czy znasz twierdzenie CAP? Czy używałeś go w pracy?

Twierdzenie CAP stwierdza, że system rozproszony nie może jednocześnie gwarantować wszystkich trzech właściwości: spójności (Consistency), dostępności (Availability) i tolerancji na podziały sieci (Partition Tolerance). Można zapewnić tylko dwie z nich.

• Spójność — wszystkie węzły widzą te same dane w tym samym czasie.
• Dostępność — każde żądanie otrzymuje odpowiedź (sukces lub błąd), bez długich opóźnień.
• Tolerancja na podziały — system nadal działa, mimo przerw w sieci między węzłami.

W rzeczywistych systemach rozproszonych, gdzie możliwe są podziały sieci, zwykle wybiera się między spójnością a dostępnością. Na przykład, w niektórych projektach trzeba było poświęcić natychmiastową spójność na rzecz wysokiej dostępności i odporności na awarie.