タグ

2014年3月25日のブックマーク (1件)

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

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

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