時間とは条件分岐のカウンタである — 決定論的VM「Rewind」が選んだ時計

A Clock Made of Branches

決定論的VM「Rewind」では、ホストの実時間は使えない。外部負荷や割り込みで毎回変わるからだ。そこで着目したのがゲストの命令ストリームで、中でも条件分岐のリタイア数は実行ごとに完全に一致する。命令数カウンタは割り込みやページフォールトの分だけずれるが、条件分岐カウンタは動じない。この「分岐で刻む時計」をタイムアウトやレースの再現性向上のためデフォルトに据えた経緯を解説する。