食事する哲学者の問題 - Wikipedia

食事する哲学者の問題（しょくじするてつがくしゃのもんだい、Dining Philosophers Problem）とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期（排他制御）問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった[1][2][3]。 問題[編集] 5人の哲学者が食事したり、考え事をしたりしている。彼らの前には、真ん中にスパゲッティの入った大きなボウルが置かれた丸い食卓がある。その食卓には5枚の皿が置かれ、皿と皿の間にフォークが1本ずつ置かれている。（近年では、食器を「フォーク」ではなく「箸」として紹介する例も見られる[4

[ryosuke134]

この話、マジでおもしろいよね。最終的に「餓死する」ってなんなんwww

[dhrname]

ダイクストラの「after you」メッセージ(1965年)とダールの部分クラスを組み合わせて、順序(sequential)を作ってやれば、解決できるじゃん

[skypenguins]

名前が面白い

[oooooooo]

箸も左右に置かないけど

[ockeghem]

食事する哲学者の問題はダイクストラの発案と記憶していましたが、テープ装置による原案が彼で、哲学者を持ちだしたのはホーアなのですね

[kwms]

“満たされない要求の円環”

[yanagikoyo]

chopstick()

[ymkjp]

デッドロック

[Kureduki_Maari]

.｡oO(並行programmingの問題) 食事する哲学者の問題 - Wikipedia

[Kwappa]

「満たされない要求の円環の理」

[hiromark]

久々にみた。

[YTPX]

タイミングによっては、ある哲学者が両方のフォークを取れない状況がデッドロックとは別に発生する。これをリソーススタベーションと呼ぶ（スタベーションとは「飢餓」であり、この用語も「食事する哲学者の問題」の

[shiumachi]

Chandy / Misra の解法も不完全らしい

[LazySoul]

デッドロックの典型例と解法

[mind]

デッドロック，リソーススタベーション ――これも空気読み論。;Win3.1