トップ «前の日記(2008-11-07 [Friday]) 最新 次の日記(2008-11-10 [Monday])» 編集

Catra's Diary

2005|01|02|03|05|06|07|10|
2006|05|07|09|10|11|
2007|06|07|08|
2008|01|02|07|09|11|12|
2009|06|
2010|03|07|
2011|01|
2013|05|

2008-11-09 [Sunday]

_ spin による検証(3)

PAN のコンパイルオプション

PAN (Process ANalyser) をコンパイルするときに、いくつかの定義を渡すことで使用メモリのサイズや対応する機能などを変更できる。

動作を変更するコンパイルオプションとして、例えば以下がある。

gcc -DNP -o pan pan.c

これは non-progress サイクルを検出する検証器を含んだコードを生成する。

PAN の実行時オプション

pan の実行時にもいくつかのオプションを渡すことができる。

例えばコンパイル時に -DNP を指定し、pan 実行時にオプション -l を渡すことで、 non-progress cycle を検出する。

pan -l

トップ «前の日記(2008-11-07 [Friday]) 最新 次の日記(2008-11-10 [Monday])» 編集