[PL] CAP theorem or: we all make distributed systems

Many web and mobile applications nowadays are de facto distributed systems, It is important thus to remember about limitations typical for distributed computing. An important one is described by CAP theorem that says you cannot have consistency, availability and partition tolerance at once.

The slides are in Polish, they were used during my lightning talk at PGS Software.

Transcript

1. 1.0 CAP THEOREM WE ALL MAKE DISTRIBUTED SYSTEMS Maciej Rząsa PGS Software 10.08.2016 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0
2. 1.0 1.0 SYSTEM ROZPROSZONY? źródło: https://www.flickr.com/photos/54125007@N08/15634745431 ostatni taki pisałem na studiach! 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0 1.0
3. SYSTEM ROZPROSZONY Zestaw niezależnych komputerów, sprawiający na jego użytkownikach wrażenie jednego, logicznie zwartego systemu.
4. PRZYKŁADY aplikacja mobilna z backendem aplikacja webowa z zaawansowanym frontendem
5. CECHY SYSTEMU ROZPROSZONEGO spójność (consistency) dostępność (availability) odporność na podziały (partition tolerance)
6. TWIERDZENIE CAP: WYBIERZ DWA
7. SKUTKI CA (consistency-availability): tylko jeden host CP (consistency-partitioning): aplikacja nie działa offline AP (availability-partitioning) synchronizacja i odtwarzanie po podziale (partition recovery)
8. JAK NA TO TRAFILIŚMY? aplikacja mobilna z dostępem offline funkcje offline: AP z rozwiązywanie konfliktów, pozostałe: CP wymagana synchronizacja i rozwiązywanie konfliktów
9. WYZWANIA ZWIĄZANE Z SYNCHRONIZACJĄ rozmiar danych (paginacja, optymalizacja, cache) osłabienie walidacji spójność danych na kliencie identyfikacja danych edycja offline
10. CAP: KIEDY MNIE TO DOTYCZY? aplikacje aplikacje webowe i mobilne z trybem offline wspólna edycja jednego dokumentu (np. wiki) brak odpowiedzi po istotnej akcji (np. po kliknięciu "Kup") infrastruktura klastry baz danych (zwłaszcza NoSQL) kolejki komunikatów (nie ma once and only once) Ciekawostka: cześć systemów bankowych jest AP.
11. PODSUMOWANIE aplikacje webowe i mobilne to systemy rozproszone w przypadku błędu sieci trzeba wybrać pomiędzy dostępnością a spójnością sieć jest zawodna, więc wcześniej czy później dojdzie do błedu
12. MATERIAŁY Ikony na ilustracjach pochodzą z CAP twelve year later Jepsen: testy bezpieczeństwa (safety) systemów rozproszonych Dlaczego nie można zrezygnować z odporności na podziały Algorytmy używane w rozproszonych bazach danych (m. in. zapewniające spójność) https://icons8.com