c - 関数レベルのチェックポイント回復

Question

チェックポイントについて読んでいます。私が今読んだ内容に基づいて、2 つの主要なチェックポイントがあります。

• システム レベル チェックポイント (SLC) – 計算のコア ダンプ スタイルのスナップショット

• アプリケーション レベル チェックポイント (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

「保存」セクション（最初の行）を一般的な形式で記述する方法はありますか。関数が異なる引数の型を取得する場合はどうですか。