https://aoli.al/tags/distributed-system-testing/ Recent content in Distributed System Testing on Ao Li Hugo en-us Sun, 31 May 2026 00:00:00 +0000 https://aoli.al/blogs/diorama/ Sun, 31 May 2026 00:00:00 +0000 https://aoli.al/blogs/diorama/ <h1 id="deterministic-simulation-testing-for-distributed-systems-the-good-the-bad-and-the-ugly">Deterministic Simulation Testing for Distributed Systems: The Good, the Bad, and the Ugly</h1> <p>During my PhD, I built <a href="https://github.com/cmu-pasta/fray">Fray</a>, a deterministic simulation testing framework for concurrent programs written in Java. Fray was quite successful and has found <a href="https://github.com/cmu-pasta/fray/blob/main/docs/bugs.md">many bugs</a> in mature concurrent programs. As an academic, a natural question for me was: can we use a similar idea to test distributed systems? This led to the last chapter of my PhD thesis: <a href="https://github.com/cmu-pasta/diorama-core">Diorama</a>, a deterministic simulation testing framework for distributed systems.</p>