5 Глава Time and Global states Flashcards
(22 cards)
Что такое внешняя синхронизация часов?
Синхронизация с авторитетным внешним источником времени (например, UTC).
Что такое внутренняя синхронизация?
Синхронизация всех часов в системе с известной точностью относительно друг друга.
Что такое clock skew?
Мгновенное различие показаний двух часов.
Что такое clock drift?
Постепенное расхождение часов из-за разных скоростей работы.
Что такое UTC?
Международное координированное время, основанное на атомных часах с поправками на астрономическое время.
Метод Кристиана для синхронизации
Клиент отправляет запрос на сервер, получает время и корректирует своё с учётом задержки.
Что такое алгоритм Беркли?
Внутренняя синхронизация через мастер, который опрашивает остальные узлы и отправляет поправки.
Что такое NTP?
Протокол синхронизации времени через интернет, использующий иерархию серверов (страты).
Что такое логические часы Лампорта?
Счётчики, увеличивающиеся при событиях и пересылаемые в сообщениях для фиксации порядка.
Что такое happened-before отношение?
Частичный порядок событий: локальный порядок + отправка → приём сообщения.
Что такое временная метка Лампорта?
Значение логических часов, присваиваемое событию.
Что такое векторные часы?
Массивы счётчиков по каждому процессу, передающиеся в сообщениях, отражают причинность.
Как сравниваются векторные часы?
Поэлементно: V ≤ V’, если все компоненты V меньше или равны соответствующим компонентам V’.
Что такое глобальное состояние?
Совокупность состояний всех процессов и каналов в распределённой системе.
Что такое consistent cut?
Срез истории, не включающий «следствие без причины» (например, приём сообщения без его отправки).
Что такое inconsistent cut?
Срез, содержащий приём сообщения, но не его отправку.
Что такое stable predicate?
Предикат, сохраняющий истинность во всех будущих состояниях (напр., завершение, дедлок).
Что такое snapshot алгоритм Чанди-Лампорта?
Алгоритм записи согласованного глобального состояния с помощью маркеров.
Что делает маркер в алгоритме snapshot?
Побуждает процесс сохранить своё состояние и начать запись каналов.
Как завершается алгоритм snapshot?
Когда каждый процесс получил маркер по всем входящим каналам.
Что такое safety-свойство?
Нежелательное состояние, которое система никогда не должна достичь (например, дедлок).
Что такое liveness-свойство?
Желательное состояние, которое система должна достичь (например, завершение).
