시간이란 결국 jnz 카운터다: Rewind VM이 분기로 시계를 만든 이유

A Clock Made of Branches

결정론적 VM인 Rewind를 만들다 보면 시간을 어떻게 표현할지가 핵심 문제가 된다. 호스트의 wall-clock은 외부 요인에 흔들리므로, 저자는 명령어 스트림의 진행을 시간으로 삼는다. 그중 조건 분기 카운터는 인터럽트나 페이지 폴트에도 흔들리지 않아 결정론적이며, 실제 시간에 가까운 근사치를 제공한다. exit time에서는 CPU 작업이 공짜가 되어 타임아웃 버그나 레이스가 재현되지 않기 때문에, Rewind는 counter time을 기본 시계로 채택했다.