Deterministic Implementation of a .NET Runtime
SMRTR summary
WoofWare.PawPrint is an unfinished but functional .NET runtime that runs programs in a fully controlled, deterministic way — meaning every execution follows the same path given the same starting conditions. By eliminating randomness and controlling thread scheduling, it can automatically detect race conditions and concurrency bugs that are normally hard to reproduce. It currently supports basic features like console output, async tasks, and threading primitives, but lacks garbage collection.
SMRTR provides this summary for quick context. The original article belongs to Hacker News.
Read the original article