1. 導入：なぜ「割り込み」を拒絶する必要があるのか
Haskellのような非同期例外（asynchronous exceptions）を扱う言語では、あるスレッドが実行中に別のスレッドから強制終了させられることがあります。通常、mask関数を使えば例外を一時的にブロックできますが、一部のブロッキング操作では例外が割り込んでくる隙が残ります。この「わずかな隙」すら許さないのが uninterruptibleMask です。リソースのクリーンアップや、整合性が絶対に必要な極めて短いクリティカルセクションを守るために不可欠なツールです。
2. 基礎知識：maskとuninterruptibleMaskの違い
Haskellの非同期例外は、スレッドの実行を安全に停止させる仕組みですが、予期せぬタイミングで発生するとリソースリークやデータ破損を招きます。
mask は例外をブロックしますが、IO操作などでスレッドがブロック（待機状態）に入ると、例外が割り込むことを許可します。
対して uninterruptibleMask は、ブロック状態にあるスレッドに対しても例外の割り込みを一切許しません。これにより、処理の「不可分性（Atomicity）」を強力に保証します。
3. 実装と解決策：安全な領域の確保
uninterruptibleMaskを使用する際は、必ず渡されるrestore関数を使って、必要な箇所だけ例外の割り込みを再開させるのが定石です。全てをブロックし続けると、スレッドが永遠に終了できなくなる（デッドロックに近い状態になる）リスクがあるためです。
4. サンプルプログラム
以下は、外部からの割り込みを許さずに重要なファイル操作を行う例です。
import Control.Exception (uninterruptibleMask, mask)
import System.IO
— 重要なリソース更新処理
safeUpdate :: FilePath -> String -> IO ()
safeUpdate path content =
— uninterruptibleMaskで処理を保護する
uninterruptibleMask $ \restore -> do
— ここでは例外は一切発生しない
handle <- openFile path WriteMode
-- restoreを使って、このブロック内だけは例外の割り込みを許可する
-- ネットワーク通信など時間がかかる処理はここで実行する
restore (hPutStrLn handle content)
-- 再び例外が一切入らない状態でクローズ処理を行う
hClose handle
-- ここで終了すれば、ファイルは確実に整合性が保たれる
5. 応用・注意点：取り扱いには細心の注意を
uninterruptibleMask は非常に強力ですが、諸刃の剣です。
・極めて短く： 処理が数マイクロ秒を超えて長引く場合、システム全体の応答性を著しく低下させます。
・デッドロックの温床： もしこのブロック内で無限ループが発生したり、重いIOがブロックされたりすると、そのスレッドを殺す手段が（OSレベルの強制終了以外）なくなります。
・原則はmask： まずは通常の mask で解決できないか検討してください。どうしても「ブロック中の割り込みが許されない」という要件がある場合にのみ、この禁断のテクニックを解放しましょう。
「強力な力には、強い責任が伴う」。まさにこの言葉通りの関数です。低レベルなライブラリ開発や、並行処理の基盤部分でのみ使用するようにしてください。
コメント