1. 導入：なぜ非同期例外への対策が必要なのか
Haskellのような純粋関数型言語で並行処理を扱う際、私たちは「非同期例外（asynchronous exceptions）」という強力な仕組みを享受しています。これは、スレッドを外部から強制終了させるために投げられる例外です。しかし、これが予期せぬタイミングで発生すると、ファイルハンドルを閉じる前や、ミューテックスを解放する前に処理が中断され、リソースリークやデッドロックを引き起こす原因となります。この課題を解決し、クリティカルな処理を安全に完遂させるために不可欠なのが、maskとuninterruptibleMaskです。
2. 基礎知識：非同期例外の制御
通常、Haskellのスレッドは実行中の任意の場所で非同期例外を受け取ります。
maskは、特定のコードブロック内での非同期例外の発生を一時的に「延期（ブロック）」します。もしブロック中に例外が発生しても、ブロックを抜けるまでその例外は配送されません。
uninterruptibleMaskは、maskよりもさらに強力です。maskであっても、ブロックされたスレッドが「割り込み可能な操作（システムコールなど）」を行うと例外が配送されることがありますが、uninterruptibleMaskはそれさえも許さず、処理を強制的に継続させます。
3. 実装：リソース保護の定石
リソースを扱う際は、bracketパターンを用いるのが基本です。これは「リソースの確保」「処理」「解放」の3段階を保証します。内部的にはmaskを利用して、解放処理中に例外で中断されないよう設計されています。自前で低レベルな並行処理を書く場合は、この「処理中を保護する」という概念を意識する必要があります。
4. サンプルプログラム：安全なリソース解放
以下のコードは、ファイル操作中に非同期例外が発生しても、確実にファイルをクローズする例です。
import Control.Exception
import System.IO
— 安全にリソースを扱うための関数
safeFileProcess :: FilePath -> IO ()
safeFileProcess path = do
— maskを使って、例外発生時でも確実にクリーンアップが行われるようにする
mask $ \restore -> do
handle <- openFile path WriteMode
-- restoreを使うことで、例外を受け取っても良い場所（クリティカルセクション外）を指定できる
result <- restore (hPutStrLn handle "安全に書き込みます") `onException` hClose handle
hClose handle
putStrLn "正常に終了しました"
-- 補足: onExceptionは例外が発生した際に特定の処理（ここではhClose）を走らせる
5. 応用・注意点：現場で陥りやすい罠
現場で最も注意すべきは、「無闇にuninterruptibleMaskを使わない」ことです。これを乱用すると、スレッドが外部からの終了要求を一切受け付けなくなり、プロセスの強制終了すらできない「ゾンビスレッド」を生み出す危険性があります。
基本はmaskを使い、どうしてもシステムコールレベルでの中断を避けなければならない（例：特定のドライバとの通信終了時など）という極めて限定的な場面でのみ、uninterruptibleMaskを使用してください。また、maskのブロック内で「ブロックされる可能性のある操作（長時間待機するなど）」を行うと、例外処理が遅延しすぎてプログラムの応答性が失われることにも注意が必要です。安全性と応答性のバランスを常に意識しましょう。
コメント