dbx コマンドによるデバッグ

付録 A プログラム状態の変更

ここでは、dbx を使用しないでプログラムを実行する場合と比べながら、プログラムまたはプログラムの動作を変更する dbx の使用法とコマンドについて説明します。プログラムに変更を加えるコマンドがどれかを理解する必要があります。

この付録は、次の各節から構成されています。

注意すべき動作と影響

アプリケーションは、dbx のもとで実行される場合、本来と動作が異なることがあります。dbx は被デバッグプログラムに対する影響を最小限に抑えようとはしますが、次の点に注意する必要があります。

-C オプション付きで起動しないでください。また、RTC は無効にしてください。 RTC のライブラリの librtc.so をプログラムに読み込むと、プログラムの動作が変わる可能性があります。

dbx 初期化スクリプトで環境変数が設定されていることを忘れないでください。スタックベースは、dbx のもとで実行する場合、異なるアドレスから始まります。これは、各自の環境と argv[] の内容によっても異なり、ローカル変数の割り当てが若干異なります。これらが初期化されていないと、異なる乱数を受け取ります。この問題は実行時検査によって検出できます。

dbx は LWP 作成イベントと dlopen イベントを捕獲しなければならず、これによって、タイミングに左右されやすいマルチスレッドアプリケーションが影響を受ける可能性があります。

プログラムは、mmap() が、マップされたセグメントについて常に同じベースアドレスを返すことを期待します。dbx のもとで実行すると、アドレス空間が混乱して、 mmap() は、dbx を使用しないでプログラムを実行したときと同じアドレスを返せなくなります。プログラムでこのことが問題になるかどうかを判断するには、mmap() の使用場所をすべて調べて、返される値がハードコードされたアドレスではなく、プログラムによって実際に使用されることを確認してください。

プログラムがマルチスレッド化されている場合、データの競合が存在するか、またはスレッドスケジュールに依存する可能性があります。dbx のもとで実行すると、スレッドスケジュールが混乱して、プログラムが通常の順序とは異なる順序でスレッドを実行するおそれがあります。このような状態を検出するには、lock_lint を使用してください。

あるいは、adb または truss を使用して実行した場合に同じ問題が起こるか確認してください。

dbx によって強いられる混乱を最小限に抑えるには、アプリケーションが自然な環境で実行されているときに dbx を接続するようにしてください。

dbx の assign コマンドは、exp の値を var に割り当てます。これを dbx で永続的に使用すると、var の値が変更され、プログラムが変更される可能性があります。

assign var = exp

dbx の pop コマンドは、スタックから 1 つまたは複数のフレームをポップ (解放) します。

ポップされた呼び出しはすべて、再開時に再び実行されて、プログラムに望ましくない変更が加えられる可能性があります。pop は、ポップされた関数にローカルなオブジェクトのデストラクタも呼び出します。

call コマンドを dbx で使用すると、ある手続きが呼び出されて、その手続きは指定通りに実行されます。

call proc([params])

この手続きは、プログラムの一部を変更する可能性があります。dbx は、プログラムソースに呼び出しを組み込んだ場合と同様に、実際に呼び出しを行います。

式の値を印刷するには、次のように入力します。

print exp, ...

式に関数呼び出しがある場合は、call コマンドと同じ考慮事項が適用されます。C++ では、多重定義演算子による予期しない副作用にも注意する必要があります。

when コマンドの一般的な構文は次のとおりです。

when event-specification [modifier] {cmd ... ;}

イベントが発生すると、cmd が実行されます。

ある行または手続きに到達すると、コマンドが実行されます。どのコマンドを出したかによって、プログラムの状態が変わる可能性があります。

fix を使用すると、プログラムに対して、実行中の変更を加えることができます。

fix

これは非常に便利なツールですが、fix は変更されたソースファイルを再コンパイルして、変更された関数をアプリケーションに動的にリンクすることに注意してください。

第 11 章「修正継続機能 (fix と continue)」を参照して、fix と continue の制限事項を必ず確認してください。

この dbx コマンドは、プログラムが実行される順序を変更します。実行を line で指定した行で続けられます。プログラムがマルチスレッド化されている場合は ID が必要です。

cont at line id

これにより、プログラムの結果が変更される可能性があります。