食事する哲学者問題 とは？

5人の哲学者が丸いテーブルに座ってるんだけど、フォークが5本しかなくて、隣の人と共有してるんだ。食事するには左右2本のフォークが必要なのに、全員が同時に左のフォークを取ると、右のフォークを誰も手放さないから全員が永遠に待ち続ける…これがデッドロックだよ

そう、まさにそれが問題なんだ。コンピュータでも同じことが起きるよ。複数のプログラムが同時にファイルやメモリなどのリソースを取り合うと、お互いが相手の持ってるリソースを待ち続けて、全体がフリーズしてしまうんだ

いくつか方法があるよ。たとえば「フォークに番号を付けて、必ず小さい番号から取る」というルールにすれば、全員が同じ方向のフォークを取ることがなくなるからデッドロックしない。これをリソース順序付けと呼ぶんだ

「ウェイター（仲裁者）を置いて、同時に4人までしか食事させない」という方法もあるよ。5人中4人なら必ず誰かが両方のフォークを取れるからね。実際のOSでもリソースマネージャーがこういう制御をしてるんだ

しょっちゅう起きるよ。データベースのトランザクションが互いのロックを待ち合ったり、マルチスレッドプログラムでミューテックスの取得順序がバラバラだったり。だからこそこの問題は50年以上経った今でもコンピュータサイエンスの基本として教えられてるんだ

ダイクストラは天才だからね。ちなみに実務では「一定時間待ってダメならフォークを置いて最初からやり直す」というタイムアウト方式もよく使われるよ。完全な解決ではないけど、デッドロックから抜け出す実用的な方法として広く採用されてるんだ