こんにちは!日々の開発、本当にお疲れ様です。
マルチスレッドプログラムのデバッグ、頭を抱えた経験はありませんか?
「ある条件の時だけデッドロックする」「特定のタイミングでデータ競合(レースコンディション)が起きるけれど、どこが原因かわからない……」。シングルスレッドなら `printf` を並べるだけでもどうにかなりますが、スレッドが何個も動き出すと、ログの順番がバラバラになり、もはや迷宮入りです。
今回は、C/C++などの低レイヤ開発における最強の相棒 GDB(GNU Debugger) を使って、この並行処理の魔境をスマートに攻略する方法を解説します。
これをマスターすれば、カオスなマルチスレッドの動きが手に取るように分かり、毎日のデバッグ作業が劇的に楽になりますよ。さあ、一緒に低レイヤの世界の扉を開きましょう!
—
1. なぜマルチスレッドデバッグは難しいのか?
私たちが普段書くマルチスレッドプログラムは、OSのスケジューラによって「どのスレッドが、どのタイミングで動くか」が完全にブラックボックス化されています。
普通のデバッガでブレークポイントを貼ると、どうなるでしょうか?
「特定のスレッドを止めたいのに、ブレークポイントにヒットした瞬間、全スレッドが強制停止する」 という現象が起きます。これをGDBでは 「全スレッド停止(All-Stop Mode)」 と呼びます。
これの何が問題かというと、1つのスレッドを止めた瞬間に、他のスレッドで発生するはずだったタイミングのズレ(タイミング・ハザード)が生じ、「デバッグしようとした瞬間にバグが消える(Heisenbug)」 という悪夢を引き起こすのです。
この難所を突破するために、GDBの「スレッド制御の極意」を身につけましょう。
—
2. 基礎知識:GDBの2つの実行モード
GDBには、スレッドの制御に関して大きく分けて2つのモードが存在します。ここを理解することが、マルチスレッドマスターへの第一歩です。
1. All-Stop Mode(デフォルト)
- どれか1つのスレッドがブレークポイントにヒットすると、プロセス内の全スレッドが即座に停止します。
2. Non-Stop Mode
- あるスレッドが停止しても、他のスレッドは動き続けます。リアルタイム性が求められるシステムや、特定のバックグラウンドスレッドを止めずにメインスレッドだけ追いたい場合に真価を発揮します。
まずは、最も基本であり強力な「スレッドごとの手動制御」から見ていきましょう。
—
3. 実践!マルチスレッドを思い通りに操るコマンド群
ここでは、あえて複数のスレッドが競合する簡単なC言語のプログラムを想定し、GDBでどのように操るのかを具体的なコマンドログとともに解説します。
ステップ1: スレッドの一覧を確認する (`info threads`)
プログラムが意図せず停止した、あるいはブレークポイントにヒットしたとき、まず最初に打つべきコマンドがこれです。
(gdb) info threads
Id Target Id Frame
- 1 Thread 0x7ffff7fc7740 (LWP 14202) “main” 0x00007ffff7bc609f in __GI__dl_catch_exception ()
2 Thread 0x7ffff77fe700 (LWP 14203) “worker_thread” 0x00007ffff7e199df in nanosleep ()
3 Thread 0x7ffff6ffd700 (LWP 14204) “worker_thread” 0x00007ffff7e199df in nanosleep ()
【ここがポイント】
- 最左列の `Id`(1, 2, 3)が、GDB内でスレッドを識別する番号です(OS側のIDである LWP とは別物なので注意)。
- アスタリスク “ がついているスレッド(この場合は `Id 1`)が、現在操作の対象(カレントスレッド)になっています。
ステップ2: 特定のスレッドだけに焦点を当てる (`thread `)
例えば、「スレッド2の内部で何が起きているのかじっくり見たい」というときは、カレントスレッドを切り替えます。
(gdb) thread 2
[Switching to thread 2 (Thread 0x7ffff77fe700 (LWP 14203))]
0 0x00007ffff7e199df in nanosleep () from /lib/x86_64-linux-gnu/libc.so.6
これで、スタックトレースの確認 (`bt` コマンド) やローカル変数の覗き見は、すべてスレッド2の文脈で行われます。
—
4. 現場で使える!「特定スレッドのみ実行」の高度なテクニック
ここからが本題です。レースコンディションやデッドロックの解析では、「他のスレッドを止め置いたまま、怪しいスレッドだけを先に進めたい」という強い要望が生じます。
技A:`scheduler-locking` で他のスレッドを縛る
GDBには、ステップ実行(`step` や `next`)をする際に、他のスレッドが勝手に動き出すのを防ぐ設定があります。
ステップ実行時に、他のスレッドが勝手に動くのを完全にロックする
(gdb) set scheduler-locking on
この設定を有効にしておくと、`step` コマンドでカレントスレッドを1行進めても、他のスレッドはその場でピタッとフリーズしたままになります。これにより、「この変数を書き換えたのはどいつだ?」という瞬間を、他のノイズを一切入れずにピンポイントで追跡できます。
> 💡 先輩アドバイス:
> デバッグが終わったら `set scheduler-locking off` に戻すのを忘れないでください。これを忘れたまま全体を走らせようとすると、「あれ、プログラムが先に進まないぞ?」と混乱する原因になります(笑)。
技B:特定の条件だけでスレッドを止める(条件付きブレークポイント)
マルチスレッドでありがちなのが、「特定のIDを持つユーザーの処理の時だけバグる」というケースです。全スレッドがヒットするブレークポイントではログが流れてしまいます。
スレッド2の時だけ、かつ 変数 x が 100 の時だけ停止するブレークポイントを設定
(gdb) break calculate_sum if _gdb_thread == 2 && x == 100
(※実際にはスレッドIDを条件式に組み込む場合は、GDBの内部変数やスレッド固有のコンテキストを利用します)
もっと手軽な方法として、特定のスレッドだけにブレークポイントをバインドすることも可能です。
3番目のスレッドが関数 process_data に入った時だけ停止する
(gdb) break process_data thread 3
これを使えば、無関係なスレッドが何度もブレークポイントにヒットしてイライラさせられるストレスから解放されます。
—
5. スレッドごとのコールスタックを一網打尽にする (`thread apply`)
「全スレッドが今、それぞれどこで何をしているのか一覧で比較したい」
そんな時に魔法のように効くのが `thread apply` コマンドです。
すべてのスレッド(all)のバックトレース(bt)を一括で表示する
(gdb) thread apply all bt
実行すると、以下のような出力が得られます。
Thread 3 (Thread 0x7ffff6ffd700 (LWP 14204)):
0 0x00007ffff7e199df in nanosleep ()
1 0x0000000000401234 in worker_func (arg=0x3) at main.cpp:45
Thread 2 (Thread 0x7ffff77fe700 (LWP 14203)): いかがでしたでしょうか? 今回解説したコマンドを整理します。 マルチスレッドのバグは、一見すると難解で絶望的に思えるかもしれません。しかし、GDBという確かなメスを使えば、スレッドの動きを完全にコントロール下に置くことができます。 「これをマスターすれば、毎日のコーディングが劇的に楽になりますよ」。
0 __GI___pthread_mutex_lock (mutex=0x602010
1 0x00000000004011f0 in worker_func (arg=0x2) at main.cpp:40 <- ★ここでロック待ちしている!
Thread 1 (Thread 0x7ffff7fc7740 (LWP 14202)):
0 0x00007ffff7bc609f in __GI__dl_catch_exception ()
1 0x00000000004010a0 in main () at main.cpp:15
この出力を見てください。
`Thread 2` が `pthread_mutex_lock` で完全にブロックされているのが一目瞭然です。「おっ、ここでデッドロックの片鱗を踏んでいるな」と瞬時に当たりを付けることができます。
さらに、特定の数個のスレッドに対してだけコマンドを適用することも可能です。
スレッド2と3に対して、変数 counter の値を確認する
(gdb) thread apply 2 3 print counter
---
6. まとめ:GDBのコマンドを味方につけて、並行処理を恐れない
ぜひ次のデバッグ作業で、これらのコマンドを一つ試してみてください。あなたの開発ライフがより快適でエキサイティングなものになることを応援しています!