Распределённые системы
Часы: тест с множественным выбором
Суть Синтез по юниту в формате множественного выбора: clock skew, физические vs логические часы, Lamport vs vector clock, happens-before, детекция конкурентности и TrueTime.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на senior-высоте — в орбитеШесть вопросов через весь юнит. Каждый — это реальное решение при проектировании или отладке распределённого хранилища, а не определение для зубрёжки: как упорядочить события, когда настенные часы врут.
Цель
Убедись, что связываешь clock skew, выбор между физическими и логическими часами, семантику Lamport vs vector clock, happens-before и TrueTime — синтез, к которому вёл урок.
Викторина
Completed
Кластер Cassandra использует last-write-wins по клиентским timestamp. Часы одного узла отстают на 1.5с. Поздний апдейт пользователя, прошедший через этот узел, исчезает после рефреша, при этом вернулся 200 OK. В чём корневая причина?
Heads-up Запись была принята и подтверждена; ничего не откатывалось. Она потеряна позже при разрешении конфликта по timestamp — тихий drop, а не сбой записи.
Heads-up NTP уменьшает skew в среднем, но LWW падает на худшем случае. Step может сдвинуть часы назад на сотни мс, а зависший ntpd или приостановленная VM оставляют секунды skew — ровно то окно, где данные теряются.
Heads-up Более новая запись была навсегда отброшена правилом LWW, а не просто отстаёт. Read-repair разносит выжившее (неверное) значение; он не воскрешает отброшенное.
Викторина
Completed
Нужно разрешение конфликтов в реплицированном KV-хранилище, которое никогда не должно молча терять конкурентный апдейт. Lamport clock или vector clock?
Heads-up Тотальный порядок здесь — проблема, а не решение: Lamport навязывает произвольный порядок конкурентным записям и не отличает их от причинной цепочки, поэтому хранилище детерминированно выберет одну и отбросит другую.
Heads-up Семантика различается фундаментально. Lamport вообще не детектирует конкурентность; vector clock — детектирует. Выбрать Lamport здесь — значит молча терять конкурентные записи, независимо от памяти.
Heads-up Настенный LWW — это ровно та ошибка, которую избегаем; более точный NTP лишь сужает окно потерь. Требование — ДЕТЕКТИРОВАТЬ конкурентность, для чего нужны логические часы.
Викторина
Completed
Lamport clock гарантирует: если A happens-before B, то L(A) < L(B). Почему нельзя из L(A) < L(B) заключить, что A вызвало B?
Heads-up Ничьи разрешаются детерминированно (например, по node id) для тотального порядка. Реальный пробел в том, что порядок тотален даже над событиями без причинной связи — конкурентность невидима.
Heads-up Переполнение — это деталь реализации, а не семантический пробел. Фундаментальная проблема: Lamport кодирует тотальный порядок, который не различает причинность и конкурентность.
Heads-up Это и есть то самое заблуждение. Lamport даёт согласованность с причинностью (A до B даёт меньший timestamp), но не обратное; конкурентным событиям порядок всё равно назначается.
Викторина
Completed
Твои vector clock корректны, но кластер из 200 узлов теперь возит 200 счётчиков метаданных с каждой записью, и это растёт с добавлением узлов. Какой реальный компромисс ты принял?
Heads-up Lamport — это O(1), но он не детектирует конкурентность — возврат к нему вновь приводит к тихим drop конфликтов. Цена — размер метаданных, а не корректность; ответ — прунить, а не отказываться от детекции.
Heads-up Метаданные — это ровно то, что покупает детекцию конкурентности, нужную тебе выгоду по корректности. Компромисс — это память, а не напрасная трата.
Heads-up Vector clock по построению O(n) от числа узлов; именно этот рост — причина, по которой продакшен-системы прунят или скоупят векторы.
Викторина
Completed
Что отдаёт TrueTime в Spanner и что делает с этим commit-wait?
Heads-up TrueTime никогда не заявляет точный момент; он возвращает ограниченный интервал. Сброс на диск — это durability, отдельная забота; commit-wait именно пережидает интервал неопределённости ε.
Heads-up Это конкуренция за локи, а не commit-wait. Commit-wait про неопределённость часов и перекрывается с репликацией Paxos, поэтому часто добавляет мало реальной задержки.
Heads-up Нет точного показания, к которому можно сойтись — TrueTime это интервал. Commit-wait пережидает интервал, а не гоняется за совпадением чтений.
Викторина
Completed
Удаление в LWW-хранилище иногда подавляет каждую реальную запись по ключу на дни, даже записи, пришедшие задолго после удаления. В чём механизм?
Heads-up LWW-хранилища разрешают по timestamp, а не по локам. Подавление идёт от tombstone с будущей датой, выигрывающего каждое сравнение, а не от удерживаемого лока.
Heads-up Эти записи не отстают — они сохранены и затем проигрывают сравнение LWW tombstone с будущим timestamp. Догон не помогает; tombstone всё равно побеждает.
Heads-up Индексация ни при чём. Записи находятся и сравниваются; они проигрывают большему timestamp tombstone, пока его не уберёт compaction.
Итог
Сквозная линия: настенное время не примитив упорядочивания, поэтому LWW превращает skew в тихую потерю данных (а tombstone с будущей датой — в многодневное подавление ключа). Логические часы упорядочивают по причинности: Lamport даёт дешёвый O(1) тотальный порядок, но не детектирует конкурентность, поэтому vector clock добавляют счётчик на узел, чтобы флагать конкурентные записи ценой O(n) метаданных, которые надо прунить. TrueTime идёт третьим путём: квантует неопределённость часов как ограниченный интервал ε и пережидает его commit-wait ради настоящей external consistency. Выбирай механизм по тому, что обязан знать — порядок, конкурентность или глобальную истину.