Marc Brooker, engenheiro da Amazon Web Services que trabalha com segurança e políticas de IA agêntica, usa animações para ajudar engenheiros a desenvolver intuição sobre como os sistemas distribuídos funcionam e falham. Ele observa que as animações podem esclarecer comportamentos difíceis de compreender apenas pelo texto.
Um exemplo mostra que um cluster Raft pode perder escritas se até um único membro tiver sua camada de armazenamento informando falsamente que o fsync() foi concluído. A ferramenta Stability Sim, criada anteriormente por Brooker, ilustrava falhas metaestáveis de forma abstrata, mas os engenheiros costumam duvidar que esses comportamentos ocorram em sistemas comprovados em produção.
Para responder a essa dúvida, ele apresenta rastros de sistemas reais. No Postgres 16 executando em uma Micro VM, um pico de carga preenche a memória com consultas, empurra os dados para fora do cache de páginas e para o disco, de modo que um banco de dados que antes processava 20 consultas por segundo já não consegue acompanhar. No etcd, um pico de carga de escrita faz com que pares sobrecarregados pareçam indisponíveis, o que dispara reenvios no nível da aplicação que mantêm a sobrecarga.
Outro exemplo no etcd mostra um ciclo de realimentação do coletor de lixo: um pico de leituras de 500 para 1000 por segundo aumenta o tempo de GC e reduz a CPU disponível, e o sistema não se recupera sem intervenção. Brooker suspeita que runtimes sem GC possam apresentar comportamento semelhante por meio do overhead do alocador, mas ainda não reproduziu isso. Todas as animações foram geradas com Kiro e Kiro Crew, usando rastros capturados em um ambiente de teste real.
Fonte: Hacker News · Resumido por HeadlinesBriefing