awkの確定的な実行

Question

私は確かに決定論的な方法でawkを実行する方法を探しています。つまり、結果は入力のみで判断する必要があります。言い換えれば、プログラムが出力されていることを前提に、繰り返し可能であることを知りたい。

これは、システム時刻や/dev/randomなどの変更内容のファイルなど、非決定的な入力ソースへのアクセスを削除することを意味します。

私はgawkのサンドボックスフラグを見ましたが、これは助けにならないと思っています。ZeroVM。

Answer 1

一般的には可能ではないと思います。実行するとたとえば、このスクリプトは、それが依存していないにもかかわらず、異なる値を出力します任意の入力ファイルの

awk 'BEGIN{print systime()}' 

しかし、あなただけの入力ファイルに依存する機能、繰り返し可能な方法でスクリプトを書くことができますし、あらかじめ定義された出力順序を持つ（配列の順序の反復は予測できない）、システムコールを行わない、またはランダムを使用しない。

Answer 2

ZeroVMは、アプリケーションをサンドボックス化し、すべての非決定性システムコールを削除します。例として、スケジューリングがない（そのスケジューリングが非決定論につながるので）、実行は毎回1970年1月1日から開始されます（特定のシステムコールによって時刻が進められます）。

私はもうZeroVMがインストールされたシステムを持っていませんが、awkをコンパイルするのは難しいことではありません。事実、私はbusyboxがZeroVMで動作していたことを覚えています。busyboxはsome form of awkです。