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

1. 1. Репликация и согласованность

   Какой ответ клиент вправе получить от реплик?

2. 2. После успешной записи другая реплика может отстать

   Клиент создал T7, затем прочитал «не найдено».

3. 3. Копии имеют собственный момент применения

   Получить запись и применить её — разные события.

4. 4. Лидер задаёт порядок команд своей группы

   Клиентская запись передаётся репликам по протоколу.

5. 5. Момент ответа выбирают вместе с гарантией

   Локальная запись, кворум и все копии имеют разную цену.

6. 6. Строгое чтение требует актуального авторитета

   Близость копии не доказывает актуальность ответа.

7. 7. Операция занимает интервал между вызовом и ответом

   Внутри интервала ищем объясняющий момент эффекта.

8. 8. Позднее чтение не может забыть завершённую запись

   Регистр x: write(1) завершилась до вызова read.

9. 9. Конкурентное чтение может увидеть старое значение

   Read начался до завершения write(1).

10. 10. Последовательная согласованность сохраняет порядок процессов

    Она не обязана сохранять все внешние интервалы.

11. 11. Итоговая согласованность обещает сходимость при условиях

    После прекращения обновлений доставка и восстановление должны продолжаться.

12. 12. Зависимое обновление не должно обгонять свою причину

    «Задача завершена» зависит от создания этой задачи.

13. 13. Сессия может защитить собственные наблюдения

    Read-your-writes и monotonic reads решают разные проблемы.

14. 14. Сессия сохраняет зависимости между своими действиями

    Monotonic writes и writes-follow-reads задают разные связи.

15. 15. Модель выбирают по запрещённой истории

    Одного слова «согласованность» недостаточно.

16. 16. Кворумы пересекаются при фиксированном наборе

    N=3, W=2, R=2: общая копия существует.

17. 17. Подмена недоступных реплик меняет множество

    Sloppy quorum может ответить через запасные узлы.

18. 18. CAP использует строгие определения C, A и P

    A относится к каждому неотказавшему узлу.

19. 19. Изолированный читатель не знает о завершённой записи

    G1 записала 1; G2 не получила ни одного сообщения.

20. 20. Строгий режим допускает недоступность меньшинства

    Живой изолированный узел не обязан обслужить строгий запрос.

21. 21. Устаревшее чтение должно быть сознательным выбором

    В etcd serializable read может обслуживаться локально.

22. 22. Без разделения остаётся цена согласованности

    PACELC добавляет обычный путь запроса.

23. 23. Проверка создания и просмотр списка имеют разные цели

    Одна система может предоставлять явно разные операции.

24. 24. Какая история нарушает выбранное обещание?

    Укажите интервал, режим и допустимый ответ.

25. 25. Эксперимент фиксирует режим, а не только число ответов

    История операций позволяет проверить обещание после сбоя.

    Вызов и ответ

    Клиент и ключ

    Режим чтения

    Сторона разделения

26. 26. Решения для нашего сервиса

    Проверить историю на линейризуемость.

    Различить гарантии порядка, сессии и сходимости.

    Объяснить CAP и обычную цену репликации.