Инженер AWS показал на анимациях, как Raft теряет записи из-за лживого fsync()

Animations for System Builders

Марк Брукер из AWS использует LLM для создания анимаций, которые помогают интуитивно понять, как системы дают сбои. На реальных примерах — Postgres 16, etcd и Raft — он демонстрирует метастабильные отказы: кластер Raft может потерять записи, если хотя бы один узел имеет слой хранения, который лжёт о вызове fsync(). Анимации сгенерированы с помощью Kiro и KiroCrew на основе трассировок из реальной тестовой среды.