タイムトラベルのデバッグ

タイムトラベルデバッグとは、コンピュータプログラムの実行中に何が起こっているかを理解するために、ソースコードを遡って実行するプロセスです。^{[ 1 ]}通常、デバッグとデバッガは、ユーザーがデバッグプロセスを行う際に役立つツールで、実行中のソフトウェアの実行を一時停止し、プログラムの現在の状態を検査することができます。^{[ 2 ]}その後、ユーザーは時間を進んで、ステートメントにステップインまたはステップオーバーし、順方向に進めることができます。^{[ 3 ]}対話型デバッガには、コードを変更し、更新された情報に基づいてステップフォワードする機能が含まれています。^{[ 4 ]}リバースデバッグツールを使用すると、プログラムの特定のポイントに到達するまでの手順を遡って実行できます。タイムトラベルデバッガはこれらの機能を提供するだけでなく、ユーザーがプログラムと対話して、必要に応じて履歴を変更し、プログラムがどのように応答するかを観察することもできます。^{[ 5 ]}

時間を前後に移動できる能力を支える特性はいくつか存在する。

• 純粋関数の自己完結性という特性から、純粋関数型プログラミング言語を選択することは有益です。純粋関数は副作用がなく、関数に明示的に与えられた情報のみに依存するため、コードの実行経路が再現可能で信頼性が高く、繰り返し実行可能なものとなります。
• ホットスワップを可能にする言語やデバッガ、つまりコードの実行中にコードを変更する機能、巻き戻しに必要な要件の一部、そして場合によっては実行の書き換えを可能にする機能を提供する。^{[ 6 ] [ 7 ]}
• GNUデバッガ（GDB）に基づくツールは、 C、C++、Go、Fortranなどの互換性のある言語で利用可能であり、リバースデバッグが可能ですが、その作業は対話を著しく遅くします。^{[ 8 ]}
• 可逆計算を目的としたプログラミング言語は、ガベージビットが保持されている場合、逆演算によってプログラムを逆方向に実行することを本質的にサポートしています。これには命令セットのサポートが必要となる場合があります。

ステップバック機能を備えたデバッガーの例：

• 対話型コンピューティング
• 純粋関数型プログラミング言語の一覧
• デバッグの記録と再生