Распределённые системы
Кворумы: тест на свободное воспроизведение
Воспроизведение по памяти сильнее перечитывания. На каждый вопрос проговорите или запишите полный ответ по памяти — включая арифметику R, W, N — прежде чем открыть модельный ответ. Именно усилие реконструкции закрепляет инвариант пересечения.
Восстановите хребет раздела — почему R + W > N принуждает к пересечению, почему QUORUM лучше ALL, что покупает tunable consistency и что именно теряет sloppy quorum — не подглядывая в урок.
- 01Сформулируйте инвариант R + W > N и докажите одним предложением, почему он гарантирует, что чтение видит последнюю запись.
- 02Почему QUORUM (W=2, R=2 при N=3) — производственный дефолт, а не запись в ALL или чтение из ALL?
- 03Что значит tunable consistency на практике, и что вы балансируете, выбирая R и W?
- 04Опишите sloppy quorum плюс hinted handoff и точно укажите, какую гарантию он приостанавливает и когда.
- 05Назовите три тихих режима сбоя кворума из раздела и скажите, почему каждый нигде не даёт ошибки.
- 06Как read repair и anti-entropy repair сходят реплики, и как они соотносятся с гарантией пересечения?
Если вы смогли восстановить каждый ответ по памяти, вы держите хребет раздела: R + W > N принуждает к пересечению по принципу Дирихле и должно быть строгим; QUORUM лучше ALL, потому что переживает отказ одного узла на обоих путях, сохраняя пересечение; tunable consistency значит задавать R и W пооперационно по треугольнику consistency/availability/latency; sloppy quorum плюс hinted handoff покупает доступность записи во время partition, приостанавливая пересечение, пока назначенный узел упал; три тихих режима сбоя (потеря записи при W=1, устаревшее чтение при sloppy, суб-пересекающийся дрейф) нигде не дают ошибки, потому что корректны-по-конфигурации; а read repair плюс anti-entropy на деревьях Меркла сводят разрывы потом, но никогда не заменяют гарантию в момент чтения.