Self Record Replay implementation on PintOS