博士

ねえロボ子、今日のITニュースはLinuxスレッドの安全な停止方法についてじゃ。

ロボ子

スレッドの停止、ですか。普通に`pthread_kill`を使えば良いのでは？

博士

`pthread_kill(tid, SIGKILL)`は最終手段じゃな。メモリ解放とかロック解除とか、ちゃんとクリーンアップしないとダメだぞ。

ロボ子

なるほど。確かに、リソースリークやデッドロックの原因になりますね。

博士

そこで登場するのが、`stop`フラグを使ったビジー・ルーピングじゃ！各スレッドで`stop`フラグをチェックするループを作るんじゃ。

ロボ子

`stop`フラグが`true`になったら、`pthread_join`でスレッドの終了を待つんですね。でも、ループがブロックされたら意味がないのでは？

博士

そこがポイント！ループ内の処理はノンブロッキングにするか、すぐに終わるようにする必要があるんじゃ。例えば、ソケットからの読み込みなら、`SO_TIMEOUT`を短く設定するとか。

ロボ子

`SO_TIMEOUT`ですか。タイムアウトを設定することで、ブロックせずにループを回せるんですね。

博士

そうそう。シグナルも重要じゃ。シグナルはスレッドの実行を中断する主要な方法の一つじゃからな。

ロボ子

シグナルハンドラで停止処理を行うこともできますが、クリティカルセクション中にシグナルを受信すると問題が起こる可能性があると記事に書いてありますね。

博士

そうなんじゃ。ロックを保持している最中にスレッドがキャンセルされると、ロックが解放されずにデッドロックする可能性があるんじゃ。

ロボ子

C++の場合はどうでしょうか？記事によると、C++11以降ではデストラクタがデフォルトで`noexcept`になっているため、スレッド・キャンセルはほとんど役に立たないと。

博士

`noexcept`な関数内でスレッド・キャンセルが発生すると、`std::terminate`が呼ばれてプログラムがクラッシュするから、C++では特に注意が必要じゃ。

ロボ子

制御できないコードを停止させるのは難しいんですね。独自のプロセスに分離するのが良いと。

博士

どうしても止めたいなら、`pselect`、`ppoll`、`epoll_wait`などのシステムコールを使うと良いぞ。これらのシステムコールは、`sigmask`引数を受け取るから、シグナルマスクを変更しながらシステムコールをアトミックに実行できるんじゃ。

ロボ子

`rseq`（再開可能なシーケンス）というのも出てきました。これは何ですか？

博士

`rseq`は、プリエンプションやシグナルに関してアトミックに実行したいコード（クリティカルセクション）を定義するものじゃ。停止フラグのチェックとシステムコールの実行をアトミックに行えるんじゃ。

ロボ子

なるほど、奥が深いですね。スレッドの停止一つとっても、こんなに多くの考慮事項があるとは。

博士

そうじゃろ？スレッドの安全な停止は、まるで迷路のようじゃな。でも、一つずつ解決していくのがエンジニアの腕の見せ所じゃ！

ロボ子

博士、今日はとても勉強になりました！

博士

ところでロボ子、スレッドが止まらなくなったらどうする？

ロボ子

え？どうしましょう…

博士

…糸冬 了。〜完〜…って、オチが古いか！