ダイクストラは、彼の論文「The Humble Programmer」で言及されているボランティアにどのような仕事をしましたか？

では、ダイクストラの論文「ハンブルプログラマー」、彼はいくつかのボランティアに解決する問題を与えたことに言及します。

「私は実際に経験豊富なボランティアでプログラミングの実験を少し行ったことがありますが、非常に意図せず、予想外のことが起こりました。私のボランティアの誰も、明白で最もエレガントな解決策を見つけませんでした。綿密な分析の結果、これは共通のソースを持っていることが判明しました。繰り返しの概念は、関連する制御変数をステップアップするという考えに密接に関連しているため、明らかなものを見ることは精神的にブロックされました。彼らのソリューションは効率が悪く、理解するのがむずかしく、それらを見つけるのに非常に長い時間がかかりました。」

ダイクストラがボランティアに与えた問題は何でしたか？解決策は何でしたか？

「食事する哲学者の問題」は、提示された問題でした。

基本的に5人の哲学者が食事をする必要があります。（各哲学者の前で終わらない食べ物のプレートを想像してください）、各プレートの間にフォーク（5つのプレート、5つのフォーク、5つの哲学者）があります。

哲学者は、右のフォークと左のフォークの両方を持っている場合にのみ食べることができます。（2人の哲学者だけがいつでも食べることができます）。

フォークは利用可能なときはいつでも拾い上げられ、保持されている場合は置かれます。各フォークは、相互に依存してピックアップする必要があります。（一つずつ）。

哲学者は食事をしていませんが、彼らは考えています（州を変える必要性が問題を引き起こすものです）。

デッドロックシステム（1人の哲学者が1つのフォークを持ち、もう1人の哲学者が他の哲学者が食べるのを防ぐ）を作成せずに、それぞれの人が食べたり、考えを変えたり（他の人が食べられるように）するにはどうすればよいですか？

これは並行システムにそのルーツがあり、並行性について議論するときに提示される典型的な大学の質問です。

この問題を解決するために4つまたは5つの「公式」アルゴリズムが開発されたと思いますが、Googleで「Dining philosophers problem」をすばやく検索すると、さまざまな結果が得られます。

• Standford Uのこの問題の詳細については、http：//academicearth.org/lectures/dining-philosopher-problemをご覧ください。

• ウィキペディアの記事は次の場所にあります：http : //en.wikipedia.org/wiki/Dining_philosophers_problem

• MSDN Magizineのソリューションは、http：//msdn.microsoft.com/en-us/magazine/dd882512.aspxにあります。

866ページの脚注にある本書のオリジナルバージョンを読むと、「IFIP Congress 1965、213-217の議事録」「同時プログラミング制御の問題の解決策」が記載されています。

並行性と共有リソースの問題は、「食事哲学者の問題」です。:-)

お役に立てば幸いです。