c - 功能级检查点恢复

Question

我正在阅读有关检查点的信息。根据我现在阅读的内容，有两个主要的检查点：

• 系统级检查点 (SLC) – core-dump 风格的计算快照

• 应用程序级检查点（ALC）——程序是自检查点和自重启的

我有兴趣在 C 中实现函数级别的检查点恢复算法。我想知道是否可以在“应用程序级”类别中考虑这一点。

其次，是否有可用的开源库。

我在这里举一个简单的添加函数作为例子：

添加（int a0，int a1，int b0，int b1，int * res0，int * res1）

算法策略如下：

Store on buffer (a0, a1, b0, b1, res0, res1)
adding(int a0, int a1, int b0, int b1, int* res0, int* res1)
while (error_flag <> 0) && (trial < 10)
   Error_flag = 0;
   Trial ++;
   Get (a0, a1, b0, b1, res0, res1) from buffer;
   adding(int a0, int a1, int b0, int b1, int* res0, int* res1);
If (error_flag == 0)
   Unstore (a0, a1, b0, b1, res0, res1) on buf
Else error_message and stop program

有没有办法以一般格式编写“存储”部分（第一行）。如果函数获得不同的参数类型怎么样。