[发明专利]不同编译的可执行文件之间的软件检查点-恢复

说明书

公开了一种用于在不同编译的可执行文件之间进行软件检查点‑恢复的系统和方法。执行软件的第一编译版本，例如版本A。在此之后，进行检查点操作，以便生成检查点映像。在检查点操作之后，进行重启执行，其中使用切换函数使得软件的第二编译版本(例如版本B)中的至少一些被执行，该切换函数被配置成在重启时至少部分地将执行切换到软件的第二编译版本。这样，在重启期间可以使用与初始执行期间不同的可执行版本，例如重启期间的未经优化的构建与初始执行期间的经优化的构建，使得可以更高效地进行软件测试和/或调试。

相关申请的引用

本申请要求2019年1月10日提交的62/790,502号美国临时申请的权益，以引用的方式将该美国临时申请的全文并入本文。

技术领域

本公开涉及计算技术领域，并具体地涉及不同编译的可执行文件之间的软件检查点-恢复。

背景技术

软件的调试包括识别、分析和去除软件中的错误。通常，调试发生在软件测试期间，并且由于软件的复杂性而被认为是极其复杂且乏味的任务。调试过程可以包括以下过程中的任一者、任意组合或全部：问题识别；问题分析(包括使用建模、文档编制、发现和测试候选缺陷等)；缺陷纠正(例如，通过对软件进行所需的变更)；以及缺陷纠正的验证。

进一步地，在调试过程中可使用各种调试策略，包括以下策略中的任一者、任意组合或全部：软件的前向分析(例如，使用断点或打印语句向前跟踪问题并研究结果；获得不正确输出的区段是感兴趣的区段)；软件的反向分析(例如，从故障消息的位置向后跟踪程序，以便识别故障代码区段)；或对最近变更进行系统研究(例如，集中于对软件的最近变更)。

各种调试工具(例如开源调试工具或专有调试工具)是可用的(例如，GNU调试器等)。例如，WinDbg是用于被配置来调试软件的应用的专有调试器。

软件可以以各种形式出现，例如经优化的软件构建(可互换地被称为经优化的构建或生产构建)或未经优化的软件构建(可互换地被称为未经优化的构建)。例如，软件可被编译成其未经优化的构建或可被编译成其经优化的构建。这样，未经优化的构建和经优化的构建中的可执行文件可以不同，使得经优化的构建的执行在包括执行速度、存储器使用等的一个或多个方面得到改进。软件优化可以以若干方式之一来进行(perform)，包括通过使用优化编译器(例如，通过以下方式中的一个或多个来改进操作的编译器：局部优化；全局优化；循环优化；机器代码优化等)来进行。

调试可以在未经优化的构建上或在经优化的构建上进行。例如，未经优化的构建可使用可用的检查点工具并使用各种技术(例如代码中的打印语句)来调试。实际上，调试器从未经优化的软件的开始就在本地执行(execute)软件，以便在接近崩溃处进行单个检查点操作。然而，执行未经优化的构建可证明是较低效的，特别是对于花费较长时间来执行的大型应用。可替代地，可对经优化的构建进行调试，这导致比执行未经优化的构建时更快地进行到崩溃处。然而，一般而言，调试在对经优化的构建进行操作时可能更加困难，因为编译器在生成经优化的构建时已经进行了优化，这可能导致代码中的若干变量不可用于查看，并且导致某些函数变得内联(in-lined)并因此不可用于查看或修改。

附图说明

被并入本说明书并构成本说明书的一部分的附图例示了本发明的各个方面，并与说明书一起用于解释本发明的原理。在任意方便的地方，在所有附图中使用相同的附图标记来指代相同或类似的元件。

图1例示了可用于实现所公开的技术的各个实施例的计算系统的示例。

图2例示了软件测试功能的框图。

图3A至图3B例示了在检查点(图3A)和重启(图3B)处的应用进程存储器布局的第一示例的框图。

图4A至图4B例示了在检查点(图4A)和重启(图4B)处的应用进程存储器布局的第二示例的框图。