食事する哲学者の問題
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/04 23:33 UTC 版)
食事する哲学者の問題(しょくじするてつがくしゃのもんだい、Dining Philosophers Problem)とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期(排他制御)問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。
- ^ Dijkstra, Edsger W. EWD-1000. E.W. Dijkstra Archive. Center for American History, University of Texas at Austin. (original; transcription)
- ^ J. Díaz; I. Ramos (1981). Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19–25, 1981. Proceedings. Birkhäuser. pp. 323 , 326. ISBN 978-3-540-10699-9
- ^ Hoare, C. A. R. (2004年). “Communicating Sequential Processes”. usingcsp.com (originally published in 1985 by Prentice Hall International). 2012年7月16日閲覧。
- ^ 海外での例
- ^ Dijkstra, Edsger W. EWD-310. E.W. Dijkstra Archive. Center for American History, University of Texas at Austin. (original; transcription)
- ^ Dijkstra, Edsger W. EWD-123. E.W. Dijkstra Archive. Center for American History, University of Texas at Austin. (original; transcription)
- 1 食事する哲学者の問題とは
- 2 食事する哲学者の問題の概要
- 3 解法の例
- 4 参考文献
固有名詞の分類
- 食事する哲学者の問題のページへのリンク