[发明专利]用于管理程序代码的实例的方法和系统

权利要求书

1.一种方法，包括：

在运行程序代码的实例的处理器处标识事件，所述处理器监视与所述实例相关联的应用状态；

将所述事件与所述应用状态进行比较；以及

当所述事件与所述应用状态匹配时，执行所述实例的执行的情节。

2.如权利要求1所述的方法，其特征在于，所述执行的情节得到一组输出、一组应用恢复点、以及经更新的应用状态。

3.如权利要求2所述的方法，其特征在于，所述执行的情节得到检查点，所述检查点包括一组输出、一组应用恢复点、以及经更新的应用状态。

4.如权利要求1所述的方法，其特征在于，所述执行的情节延续，直到所述实例中的所有控制流路径都在等待指定新输入，所述方法还包括：

监视附加事件；

将所述附加事件与所述指定新输入进行比较；以及

当附加事件与所述指定新输入匹配时，执行所述实例的另一情节。

5.如权利要求1所述的方法，其特征在于，将所述事件与所述应用状态进行比较包括：

将消息匹配到应用所使用的应用恢复点，以确定它是否准备好执行。

6.一种方法，包括：

完成处理器上运行的程序代码的实例的执行的情节；

标识要由所述处理器发送到一个或多个其他实例的一个或多个消息；

将至少一个消息发送到另一其他实例；

从所述其他实例接收确认，所述确认指示所述至少一个消息被接收；

将证实消息发送到所述其他实例，所述证实指示所述确认被接收；以及

从所述其他实例接收证实确认，所述证实确认指示所述证实消息被接收。

7.如权利要求6所述的方法，还包括：

生成所述至少一个消息的消息标识符；

将所述消息标识符包括在所述至少一个消息中以及所述证实消息中。

8.如权利要求7所述的方法，还包括：

使用所述消息标识符将所述确认消息或所述证实确认消息与所述至少一个消息相关联。

9.如权利要求6所述的方法，其特征在于，如果在预定时间内没有接收到所述确认或所述证实确认，则重发所述至少一个消息或所述证实消息。

10.一种存储用于管理程序代码的实例的执行的情节并且支持通过所述实例进行消息收发的计算机可执行指令的计算机可读存储介质，所述指令包括用于以下操作的代码：

运行所述执行的情节，直到检查点被获得，所述检查点包括一组输出、一组应用恢复点、以及经更新的应用状态；

标识要由所述处理器发送到一个或多个其他实例的一个或多个消息；

将至少一个消息发送到另一其他实例；

从所述其他实例接收确认，所述确认指示所述至少一个消息被接收；

将证实消息发送到所述其他实例，所述证实指示所述确认被接收；以及

从所述其他实例接收证实确认，所述证实确认指示所述证实消息被接收。