Salta ai contenuti

0010. A show recorder (flight recorder) with deterministic replay

Questa pagina è in inglese: in italiano ci sono per ora i tutorial e il glossario; menu, ricerca e navigazione sono in italiano.

  • Status: accepted
  • Date: 2026-10-02

After a show, “what happened at 01:12:03?” usually has no answer. Bugs that appear only on stage cannot be reproduced.

Every command, external input, device event and transport start is recorded with absolute time and sample index, as line-oriented text, without blocking any thread (spec commands.md §3.10). Because state changes only through commands and the cores are deterministic, a recording replays into the same sequence of states, in real time or as a fast simulation.

  • Post-show analysis and exact bug reproduction.
  • Recorded shows become regression tests and the input of the fault-injection suite.
  • A hot-standby machine can follow the same command stream.