Marc Brooker, insinyur di Amazon Web Services yang bekerja pada keamanan dan kebijakan AI agentik, menggunakan animasi untuk membantu para insinyur membangun intuisi tentang cara sistem terdistribusi bekerja dan gagal. Ia mencatat bahwa animasi dapat memperjelas perilaku yang sulit dipahami hanya dari teks.
Salah satu contoh menunjukkan bahwa klaster Raft dapat kehilangan penulisan jika bahkan satu anggota saja lapisan penyimpanannya secara keliru melaporkan bahwa fsync() telah selesai. Alat Stability Sim buatan Brooker sebelumnya menggambarkan kegagalan metastabil secara abstrak, tetapi para insinyur sering meragukan bahwa perilaku tersebut terjadi pada sistem yang sudah teruji di lingkungan produksi.
Untuk menjawab keraguan itu, ia memaparkan jejak dari sistem nyata. Pada Postgres 16 yang berjalan di Micro VM, lonjakan beban memenuhi memori dengan kueri, mendorong data keluar dari page cache ke disk, sehingga basis data yang sebelumnya mampu menangani 20 kueri per detik tidak lagi sanggup mengimbanginya. Pada etcd, lonjakan beban penulisan membuat rekan yang kelebihan beban tampak tidak tersedia, yang memicu pengiriman ulang di tingkat aplikasi dan mempertahankan kelebihan beban tersebut.
Contoh etcd lainnya memperlihatkan loop umpan balik garbage collection: lonjakan pembacaan dari 500 menjadi 1000 pembacaan per detik meningkatkan waktu GC dan mengurangi CPU yang tersedia, dan sistem tidak pulih tanpa intervensi. Brooker menduga runtime tanpa GC dapat menunjukkan perilaku serupa melalui overhead alokator, tetapi belum mereproduksinya. Semua animasi dibuat dengan Kiro dan Kiro Crew, menggunakan jejak yang diambil dari lingkungan pengujian nyata.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing