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

第 12 章

マルチスレッドアプリケーションのデバッグ

dbx では Solaris スレッドや POSIX スレッドを使用するマルチスレッドアプリケーションをデバッグできます。dbx には、各スレッドのスタックトレースの確認、全スレッドの再実行、特定のスレッドに対する step や next の実行、スレッド間の移動をする機能があります。

dbx は、libthread.so が使用されているかどうかを検出することによって、マルチスレッドプログラムかどうかを認識します。プログラムは、-lthread または -mt を使用してコンパイルすることによって明示的に、あるいは -lpthread を使用してコンパイルすることによって暗黙的に libthread.so を使用します。

この章では、dbx の thread コマンドを使用して、スレッドに関する情報を入手したり、デバッグを行う方法について説明します。

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

• マルチスレッドデバッグについて
• LWP 情報について

マルチスレッドデバッグについて

dbx は、マルチスレッドプログラムを検出すると、libthread_db.so の dlopen を試行します。これは、/usr/lib にあるスレッドデバッグ用の特別なシステムライブラリです。

dbx は同期的に動作します。つまり、スレッドか軽量プロセス (LWP) のいずれかが停止すると、ほかのスレッドおよび LWP もすべて自動的に停止します。この動作は、「世界停止」モデルと呼ばれる場合があります。

---

注 - マルチスレッドプログラミングと LWP については、『Solaris マルチスレッドのプログラミング』を」参照してください。

---

スレッド情報

dbx では、次のスレッド情報を入手できます。

(dbx) threads     t@1 a l@1 ?() 実行中：現在の関数 main()     t@2 ?() 0xef751450 でスリープ：現在の関数 in_swtch()     t@3 b l@2 ?() 実行中：現在の関数 sigwait()     t@4 consumer() 0x22bb0 でスリープ：現在の関数 _lwp_sema_wait()   *>t@5 b l@4 consumer() ブレークポイント：現在の関数 Queue_dequeue()     t@6 b l@5 producer() 実行中：現在の関数 _thread_start() (dbx)

情報の各行の内容は次のとおりです。

• * (アスタリスク) は、ユーザーの注意を必要とするイベントがこのスレッドで起こったことを示します。通常は、ブレークポイントに付けられます。

  アスタリスクの代わりに「o」が示される場合は、dbx 内部イベントが発生しています。

• > (矢印) は現在のスレッドを示します。
• t@num はスレッド ID であり、特定のスレッドを指します。number は、thr_create によって返された thread_t の値になります。
• b l@num はそのスレッドが指定の LWP に結合されていることを表し、a l@num はそのスレッドがアクティブであることを表します。すなわちそのスレッドはオペレーティングシステムにて実行可能です。
• thr_create に渡されたスレッドの開始関数。?() は開始関数が不明であることを示します。
• スレッドの状態。(スレッドの状態については、表 12-1 参照)。
• スレッドが現在実行している関数。

  表 12-1   スレッドの状態と LWP の状態

  スレッドの状態と LWP の状態	解説
  中断	スレッドは明示的に中断されています。
  実行可能	スレッドは実行可能であり、コンピューティング可能なリソースとして LWP を待機しています。
  ゾンビ	結合されてないスレッド (thr_exit)) がある場合、thr_join() で再結合するまでゾンビ状態になります。THE_DETACHED は、スレッド作成時に指定するフラグです (thr_create())。非結合のスレッドは、再実行されるまでゾンビ状態です。
  syncobj でスリープ中	スレッドは所定の同期オブジェクトでブロックされています。libthread と libthread_db によるサポートレベルにより、syncobj が伝える情報は単純な 16 進アドレスになったり、より詳細な内容になります。
  アクティブ	LWP でスレッドがアクティブですが、dbx は LWP をアクセスできません。
  未知	dbx では状態を判定できません。
  lwpstate	結合スレッドやアクティブスレッドの状態に、LWP の状態が関連付けられています。
  実行中	LWP が実行中でしたが、他の LWP と同期して停止しました。
  システムコール num	所定のシステムコール番号の入口で LWP が停止しました。
  システムコール num 戻り	所定のシステムコール番号の出口で LWP が停止しました。
  ジョブコントロール	ジョブコントロールにより、LWP が停止しました。
  LWP 中断	LWP がカーネルでブロックされています。
  シングル中断	LWP により、1 ステップが終了しました。
  ブレークポイント	LWP がブレークポイントに達しました。
  障害 num	LWP に所定の障害番号が発生しました。
  シグナル name	LWP に所定のシグナルが発生しました。
  プロセス sync	この LWP が所属するプロセスの実行が開始しました。
  LWP デス	LWP は終了プロセス中です。

  
  

別のスレッドのコンテキストの表示

表示コンテキストを別のスレッドに切り替えるには、thread コマンドを使用します。この構文は次のとおりです。

thread [-info] [-hide] [-unhide] [-suspend] [-resume] tid

現在のスレッドを表示するには、次のように入力します。

thread

スレッド tid に切り替えるには、次のように入力します。

thread tid

thread コマンドの詳細については、Sun WorkShop オンラインヘルプの「 dbx コマンドの使い方」の「thread コマンド」を参照してください。

スレッドリストの表示

次のコマンドは、threads リストを表示するためのものです。構文は次のとおりです。

threads [-all] [-mode [all|filter] [auto|manual]]

既知のスレッドすべてのリストを表示するには、次のように入力します。

threads

通常は表示されないスレッド (ゾンビ) などを表示するには、次のように入力します。

threads -all

threads コマンドの詳細については、Sun WorkShop オンラインヘルプの「 dbx コマンドの使い方」の「threads コマンド」を参照してください。

実行の再開

プログラムの実行を再開するには、cont コマンドを使用します。現在、スレッドは同期ブレークポイントを使用して、すべてのスレッドが実行を再開するようにしています。

LWP 情報について

通常は LWP を意識する必要はありません。ただし、スレッドレベルでの問い合わせが完全にできない場合には、lwps コマンドを使用して、LWP に関する情報を入手できます。

(dbx) lwps     l@1 実行中：現在の関数 main()     l@2 実行中：現在の関数 sigwait()     l@3 実行中：現在の関数 _lwp_sema_wait()   *>l@4 ブレークポイント：現在の関数 Queue_dequeue()     l@5 実行中：現在の関数 _thread_start() (dbx)

LWP リストの各行の内容は、次のとおりです。

• * (アスタリスク) は、ユーザーの注意を要するイベントが この LWP で起こったことを示します。
• 矢印は現在の LWP を表します。
• l@num は特定の LWP を示します。
• 「スレッドの状態と LWP の状態」では詳しい LWP の状態を説明しています。
• func_name() は、LWP が現在実行している関数を示します。