El reloj de una máquina determinista cuenta ramas condicionales, no segundos

A Clock Made of Branches

Al construir Rewind, una VM determinista para depurar, el autor se topa con el problema de representar el tiempo: el reloj del host no sirve porque depende de la carga externa. La solución es contar las ramas condicionales ejecutadas, un contador que se mantiene idéntico entre ejecuciones. El artículo muestra con un bucle de mil millones de iteraciones que el contador de instrucciones varía por interrupciones, mientras que el de ramas condicionales no. Ese «tiempo de contador» es el reloj por defecto de Rewind.