[发明专利]基于回放的代码调试方法

权利要求书

1.一种基于回放的代码调试方法，其特征在于，包括以下步骤：

S1、通过识别插桩点，在插桩点植入探针，对源程序进行插桩，为代码回放做准备；

S2、应用向量时间戳标识并行程序的每一个同步事件，进行同步事件的追踪与记录；

S3、进行并行程序的确定性回放；

步骤S1具体包括以下步骤：

源程序插桩：采用将源程序中的标准库函数替换为自定义函数的方法进行源程序插桩；

捕获动态信息：将插桩后的源程序进行编译和链接，运行程序，随着探针的逐步插入，记录探针抛出的动态信息，写进事件记录库；

数据处理与分析：通过对所述事件记录库中的数据进行提取和分析，揭露程序内部的行为和特征，为代码回放做准备；

步骤S2具体包括以下步骤：

同步事件的标识：通过为并行程序的每一个同步事件打上一个向量时间戳的方式对事件进行标识，然后根据这些事件的向量时间戳判断事件之间的时序关系，将时序关系进行记录；

同步事件的追踪与记录：在追踪程序运行时判断每个消息接受操作所接受消息的来源及去向信息，并进行记录，每一个进程维护一个同步事件信息，用于追踪该进程当前运行到的同步事件以及向量时间戳；并且在追踪时，为每一个进程设置一个周期性的检查点，每隔预设时间，调用函数sigsuspend()自动挂起，调用检查点程序，保存当前进程的信息后，继续唤醒进程执行；

步骤S 3中，当程序在运行过程中遇到错误终止，或者运行结束时，通过访问事件记录库中的信息，在回放模块与错误模块的相互协调下进行并行程序错误状态的回放与调试；

步骤S3具体为：当程序开始执行时，目标进程的执行请求在请求队列中排队；回放模块从事件记录库中读取记录阶段所记录的事件信息，并与目标进程提交的执行请求进行比较，决定是允许此次并行操作的执行，还是将其在进程等待队列中执行挂起状态，等待下一次的响应，错误模块接收调试指令，控制进程的执行情况，在单步执行的基础上，读取进程的状态。