Detoursでの非決定性の低減？

Question

私は任意のアプリケーションで非決定論を取り除くためにフック（Detoursのような）を使用することが可能かどうか疑問に思っていました。

（レースとスケジューリングによる非決定性を無視する）シングルスレッドアプリケーションを想定することができます。

私が最初に推測したのは、シードにかかわらず、擬似乱数を求めている任意の関数に対して予測可能で再現可能な出力を得るためにrand()をオーバーライドすることでした。

オーバーライドする必要がある他の一般的な機能はありますか？

私はここに完璧な解決策はないと知っていますが、ほとんどのアプリケーションでうまくいくでしょう。 また、この問題を解決する別の方法がある場合、私はそれについて読むことに興味があります。

Answer 1

rand()と友人は擬似乱数ジェネレータなので実際に削除する必要はありません。同じ種子の場合、rand（）は同じ結果を返すので、実際に捕捉する必要があるのは、RNGを初期化するために使用されるtime()への呼び出しです。

重要な洞察は、非決定論的な影響は、主にスケジューリング（シングルスレッドアプリケーションの大部分に影響を与えない）、プログラム内のシステムコールと初期化されていないメモリの結果に起因することです。プログラムの入力を制御するためにシステムコールの結果を制御する必要があります。 straceは、どの関数呼び出しを上書きする必要があるかを判断するための非常に優れたツールです。初期化されていないメモリが使用されているかどうかを確認するには、valgrindを使用します。