Время в машине, которую можно перемотать, — это счётчик ветвлений

A Clock Made of Branches

Создавая детерминированную виртуальную машину Rewind, автор столкнулся с вопросом: как измерять время внутри гостя, чтобы при повторном запуске он видел то же самое время и принимал те же решения? Обычные часы хоста не подходят — на них влияют нагрузка, прерывания и кэши. Счётчик инструкций тоже ненадёжен: он видит прерывания, которых не видит программа. А вот число выполненных условных переходов (conditional branches) одинаково при каждом прогоне и служит хорошим приближением реального времени. Именно этот счётчик Rewind использует по умолчанию.