К основному содержимому
PDF
ЦЕНТРАЛЬНЫЙ УНИВЕРСИТЕТ
Лекция

CAP, PACELC и модели консистентности

История про реальные компромиссы распределенных систем

/ CAP, PACELC и модели консистентности · Центральный университет

Содержание слайдов

  1. 1. CAP, PACELC и модели консистентности

    История про реальные компромиссы распределенных систем

  2. 2. Карта лекции

  3. 3. CAP-теорема в одной фразе

  4. 4. C, A и P: что внутри

  5. 5. Consistency в CAP = Linearizability

  6. 6. Availability в теореме

  7. 7. Как появилась CAP

  8. 8. Миф «выбери 2 из 3»

  9. 9. Partition: редкость, не экзотика

  10. 10. Решение принимается по операциям

  11. 11. C/A/P — спектры

  12. 12. Partition mode как явный state machine

  13. 13. Latency управляет CAP

  14. 14. ACID vs CAP: разная буква C

  15. 15. BASE: ответ на доступность

  16. 16. Gilbert–Lynch: формальные определения

  17. 17. Асинхронная невозможность

  18. 18. Частичная синхронность не спасает

  19. 19. Что берем из CAP в реальную архитектуру

  20. 20. CAP: что делать при сбое

  21. 21. PACELC formula

  22. 22. Зачем появилась PACELC

  23. 23. Latency vs Consistency в штатном режиме

  24. 24. Четыре категории PACELC

  25. 25. PA/EL: скорость и доступность в приоритете

  26. 26. PC/EC: консистентность прежде всего

  27. 27. PA/EC: надежность и строгая норма

  28. 28. PC/EL: редкий, но важный профиль

  29. 29. Как связать PACELC-профиль с продуктовой задачей

  30. 30. Как считать latency/consistency бюджет

  31. 31. Что PACELC добавляет к CAP

  32. 32. Jepsen: проверка распределенных систем

  33. 33. Зачем архитекторам Jepsen

  34. 34. Пятишаговый цикл Jepsen

  35. 35. Какие сбои обычно моделирует Jepsen

  36. 36. Типичные находки Jepsen

  37. 37. Jepsen-карта моделей: две ветки, одна вершина

  38. 38. Serializable vs Linearizable

  39. 39. Выбор модели под продукт

  40. 40. Общий framework: CAP + PACELC + Jepsen

  41. 41. Реальная БД: Cassandra через призму CAP/PACELC

  42. 42. Cassandra: tunable consistency

  43. 43. Как Cassandra держит масштаб и доступность

  44. 44. Ссылки и материалы

    CAP: https://system-design.space/chapter/cap-theorem

    PACELC: https://system-design.space/chapter/pacelc-theorem

    Модели консистентности (Jepsen): https://system-design.space/chapter/jepsen-consistency

    Cassandra: https://system-design.space/chapter/cassandra

    Все 4 исходные главы system-design.space в одном месте.