Hyperscale Weekly
Ранее: flightofthefox закрыл огромную неделю со 124 коммитами, в которой перестроил cross-shard вердикты так, что сертификаты больше ничего не решают поодиночке, и довёл сетевой бэкенд iroh почти до продакшн-состояния.
На этой неделе та же «сантехника» двинулась дальше и разошлась по новой территории: как расписание beacon'а вычисляется на каждом хосте, как сущности-подписанты подключаются к запущенным шардам, и как записи о cross-shard переходах выводятся из оборота только при реальном доказательстве. В чате тише, но код рассказывает историю о том, как механизмы координации сети подтягиваются со всех сторон.
Каждый хост делает свой fold
Координатор beacon'а был разделён: теперь каждый хост запускает собственный beacon-цикл и независимо вычисляет расписание — один fold на хост, один участник на идентичность, каждый блок коммитится ровно один раз. Меньше поводов у нод разойтись во мнениях о том, кто главный.
→ смотрите «The Census» на hyperscale.rsПереходы уходят в отставку по доказательству
Запись о переходе — след, который оставляет после себя cross-shard-перевод — теперь выводится из оборота только когда заверенный сертификат подтверждает, что перевод действительно состоялся, с минимальной границей в секции клеймов. Никаких больше «наверное, к этому моменту всё в порядке».
→ смотрите «The Generals» на hyperscale.rsОдин реплика, много подписантов
Каждый размещённый шард теперь держит единственный работающий реплика, и на него подселяются validator-подписанты, подписывая артефакты шарда и исполнения. Модель validator-идентичности теперь описана в документации.
→ смотрите «The Overlap» на hyperscale.rsМедленные симуляции получили три часа
Симулятор получил более длинные CI-бюджеты, более строгие правила по времени — запуск, который перестаёт продвигать свой clock, теперь проваливается — и обновления трейсов сведены в один шаг, так что более редкие баги ловятся до того, как уедут в прод.
→ смотрите «The Crash Lab» на hyperscale.rs- Шарды теперь нарезаются только когда ни одна строка шарда больше не слышит нарезку.
- Восстановление после halt выполняется до тасовки комитета и reshuffle-жеребьёвок.
- Архивные ноды теперь декодируют и хранят каждый закоммиченный блок, с копиями заголовков, ключованными по дайджесту.
- Синхронизация блоков стартует только на сертификате, который реально проходит верификацию.
- Durability хранилища теперь отслеживается только в тестовых запусках, которые могут потерять питание.
Настроение: На этой неделе в канале в основном спам-боты и мемы; flightofthefox бросил бодрое «gm hyperscalers» и однострочник о том, что проект — общественное благо.
Справка — карта концепций, дорожная карта и ссылки▾
Есть вопросы? flightofthefox всегда рад обсудить в Telegram сообщества.