1. A computer-implemented method, comprising: creating a shadow process for a program process being executed; in response to an accessed memory page being modified by the program process, recording an original copy of the modified memory page obtained from the shadow process in a partial checkpoint; and replaying a program execution in a different operating system using the partial checkpoint.