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

1. 1. Время и порядок событий

   Какие зависимости можно восстановить из журналов трёх узлов?

2. 2. Журнал может поставить приём раньше отправки

   Часы A и B могут иметь разное смещение.

3. 3. Момент события и длительность требуют разных часов

   Монотонные часы измеряют интервал внутри одного процесса.

4. 4. Синхронизация ограничивает ошибку при своих предположениях

   Сеть и дрейф влияют на оценку времени.

5. 5. События принадлежат процессам и сообщениям

   A, B и C имеют известный локальный порядок.

6. 6. Причинное предшествование строится тремя правилами

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

7. 7. Конкурентность означает, что пути нет ни в одну сторону

   Она не требует одинакового физического времени.

8. 8. Счётчик увеличивается на каждом событии

   При приёме L := max(L, Lmsg) + 1.

9. 9. Приём m поднимает часы B до трёх

   A: a1=1, a2=2; B начинает с b1=1.

10. 10. Ответ через C переносит границу обратно в A

    C начинает с c1=1; A после a3 имеет L=3.

11. 11. Меньшая метка не доказывает зависимость

    L(c1)=1 < L(b3)=4, но пути нет: события конкурентны.

12. 12. Полный порядок добавляет правило разрешения равенства

    Сравниваем пару (L, processId).

13. 13. Вектор хранит известные события каждого процесса

    Три компоненты соответствуют A, B и C.

14. 14. Приём объединяет знания и отмечает новый шаг

    V := max(V,Vmsg); затем V[self] += 1.

15. 15. B объединяет свою историю с двумя событиями A

    До приёма: B=[0,1,0], m=[2,0,0].

16. 16. Обратное сообщение объединяет три истории

    После a3 у A вектор [3,0,0].

17. 17. Порядок векторов требует всех компонент

    u < v: все компоненты ≤ и хотя бы одна <.

18. 18. Несравнимые версии требуют решения приложения

    Вектор обнаруживает ветви, но не выбирает правильное значение.

19. 19. Физическое время можно возвращать интервалом

    TrueTime обещает, что истинный момент находится внутри.

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

    Неперекрытие даёт физический порядок, но не путь сообщения.

21. 21. Ожидание может превратить границу времени в гарантию

    При s=104 и earliest=103 отвечать ещё рано.

22. 22. Журнал должен сохранять связи, а не только часы

    Идентификаторы операций и сообщений восстанавливают трассу.

    Процесс + ID события

    Операция + ID попытки

    Связь отправки и приёма

    Часы и их смысл

23. 23. Пропущенная связь ограничивает вывод расследования

    Без send/receive нельзя восстанавливать зависимость по догадке.

24. 24. Вычислите часы и найдите несравнимые события

    Новая трасса содержит девять событий и три сообщения.

25. 25. Тип часов выбирают по вопросу к системе

    Не требуйте от одной метки всех гарантий сразу.

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

    Вычислить метки Лэмпорта и полные векторы.

    Различить причинный, полный и физический порядок.

    Назвать выводы, которые журнал не поддерживает.