Детерминистская имитационная проверка в ячеках

Детерминистское моделирование в камере: изучение распоряжений об исполнении и воспроизведения жуков. Мы сооружаем клетку, время работы для рабочих Cloudflare и продолжительных объектов на ваших собственных машинах. Она может работать с совместимым объектом S3 в качестве единственного внешнего сервиса. Ячейка — это распределенная система. Сделать распределенные системы надежными — это трудно, отчасти потому что мы можем непреднамеренно полагаться на предположения, которые не поддерживаются на практике даже тогда, когда знаем о проблемах. Peter Deutschuss The 8 Fallacies of Distributioned Computation перечисляет восемь таких предположений, включая ▪ Сеть надёжна, и ΔLatency ноль.> Ошибка может зависеть от конкретной последовательности запоздалых сообщений, неудачных записей и возобновления узла. Эти события могут произойти в другой последовательности на следующем тестовом прогоне, что затрудняет воспроизведение ошибки. Мы должны быть в состоянии повторить неудачный запуск, чтобы мы могли изучить причину и проверить действительно ли предлагаемое исправление решает проблему. Вот почему мы используем детерминистское моделирование (DST). Наш симулятор все еще находится в стадии разработки и не включен в общественное хранилище клеток, но он уже обнаружил ранее неизвестных насекомых. В этой статье мы пройдёмся по тому, как DST работает в клетке и как он помогает нам найти, воспроизвести и исправить одного из этих жуков. Как ДСТ работает в клетчатом DST, прогоняет код производства…