[seanmcdirmid]

Replay frameworks are common in the systems community; the trick is to capture and record non-determinism somehow.