[发明专利]一种结合全量型检查点与增量型重做的目标程序逆向执行实现方法

摘要

本发明公开了一种结合全量型检查点与增量型重做技术的逆向执行功能实现，主要思想是(1)通过定期保存全量型检查点，使系统迅速恢复到某个时刻的状态；(2)通过增量型重做，可以使系统恢复到两个检查点之间的任何一个时刻的状态。(3)结合全量型检查点，使系统恢复到之前的任何一个时刻的状态，从而实现负载逆向执行的功能。通过结合全量型检查点与增量型重做，可以弥补传统全量型检查点带来的记录内容量过大的问题，同时也避免了采用逆操作等方法带来的实现不优雅、易出错、不易维护调试等问题。本发明在正确实现功能的基础上，使得检查点记录的量与系统恢复速度之间有一个较好的平衡，即在时间效率与空间效率上取得一个较好的平衡。

主权项

一种结合全量型检查点与增量型重做的目标程序逆向执行功能实现方法，其特征在于，具体包括如下步骤：(1)加载目标程序到模拟器。(2)生成第一个全量型检查点，全量型检查点记录的内容包括CPU状态、内存状态和系统时钟，将第一个全量型检查点记录的内容作为模拟器的初始状态。(3)开始执行目标程序，每次向前迭代一个时钟，且每隔一定的系统时钟数生成一个全量型检查点，保存相应时刻的全量型检查点，将这些全量型检查点作为模拟器的对应时刻的状态。(4)在执行过程中，遇到断点时目标程序暂停执行，用户可选择逆向单步执行，首先，下一次目标程序暂停时的时钟数为当前时钟数减一，其次，模拟器恢复到最近的一个已保存状态，即从最近生成的一个全量型检查点中，恢复CPU状态、内存状态和系统时钟；然后，模拟器从恢复的状态开始继续正向执行程序，并且判断当前的系统时钟数是否与下一次目标程序暂停的时钟数一致，若一致则表示逆向单步执行完毕，否则目标程序继续正向执行。