[发明专利]虚拟机分支和并行执行

摘要

本发明描述了虚拟机分支和并行执行。本文描述了在充分利用投入的时间来设置开始状态的同时允许复杂状态转换的并行执行的状态分支系统。通过允许在虚拟机级上进行分支，状态分支系统允许在虚拟机中设置特定条件或状态，随后复制虚拟机的并行实例并分支到虚拟机的并行实例以探索不同的可能的后续状态。在检测到具有未知结果的大的状态改变之后，状态分支系统指令系统管理程序将正在执行的虚拟机复制到一个或多个分开的虚拟机中。该系统随后允许在两个或更多个虚拟机之间的分叉分支以探索从相似开始点的不同状态。一旦执行已经到达了下一状态，系统就进行协调以确定哪些副本要继续执行。因此，状态分支系统允许对复杂状态改变的更快速的探索。

主权项

一种用于从原始虚拟机分支到一个或多个克隆虚拟机以考虑分叉状态的计算机实现的方法，所述方法包括：接收(210)应用代码以供在所述原始虚拟机上执行，其中所述应用代码包括得到虚拟机的两个或更多个可能的状态的至少一个分支；执行(220)包括接收到的应用代码的所述原始虚拟机；标识(230)在所述原始虚拟机上运行的应用代码中得到所述虚拟机的两个或更多个可能的状态的分支；创建(240)复制所述原始虚拟机的当前状态的一个或多个克隆虚拟机，然后每一克隆虚拟机在所创建的克隆虚拟机中处理所述分支的一条路径以探索后续状态；将每一克隆虚拟机设置(250)为执行所标识的分支的不同路径；执行(260)所述原始虚拟机和克隆的虚拟机以并行地探索所标识的分支的至少两条路径；以及从所述克隆的虚拟机接收(270)至少一个执行结果，其中，前面的步骤由至少一个处理器执行。