Яке завдання Дайкстра дав волонтерам, про що згадувалося у його праці «Скільний програміст»?

У роботі Діккстра "Скірний програміст" він згадує, що дав деяким волонтерам проблему вирішити:

«Я провів невеликий експеримент з програмуванням із справді досвідченими волонтерами, але виникла щось зовсім ненавмисне та зовсім несподіване. Жоден з моїх волонтерів не знайшов очевидного і найелегантнішого рішення. При більш детальному аналізі виявилося, що це спільне джерело: їх поняття повторення було настільки тісно пов'язане з ідеєю асоційованої керованої змінної, яку потрібно посилити, що вони подумки були заблоковані вбачанні очевидного. Їх рішення були менш ефективними, непотрібними для розуміння, і знадобилося дуже багато часу, щоб знайти їх ».

У чому була проблема, яку Дайкстра надав волонтерам? Які рішення були?

"Проблема філософів, які обідають", була представлена ​​проблема.

В основному є 5 філософів, яким потрібно їсти. (уявіть собі тарілку, коли ніколи не закінчується їжа перед кожним філософом), між кожною тарілкою - виделка (5 тарілок, 5 виделок, 5 філософів).

Філософ може їсти лише в тому випадку, якщо він тримає як виделку праворуч, так і виделку ліворуч. (в будь-який час можна їсти лише два філософи).

Вилку можна забрати в будь-який час, коли вона є, і відкласти її, якщо вона тримається. Кожну вилку потрібно підбирати взаємозалежно. (по одному).

Поки філософ не їсть, вони думають (необхідність чергувати стани - це те, що рухає проблемою).

Як ви дозволяєте кожному з них їсти і чергувати мислення (так можуть їсти інші), не створюючи тупикової системи (де один філософ тримає одну вилку і чекає іншої, не даючи іншому філософу їсти).

Це має коріння в паралельних системах і є типовим питанням університету, що виникає під час обговорення Конкурсу.

Я вважаю, що для вирішення проблеми було розроблено 4 або 5 "офіційних" алгоритмів, але швидкий пошук в Google за "проблемою філософів, що їдять", отримає ваші результати.

• Докладніше про цю проблему від 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 1965, 213-217." Рішення проблеми в паралельному керуванні програмуванням ".

Проблема в одночасності та спільних ресурсах - "Проблема філософів, що їдять". :-)

Сподіваюся, що це допомагає.