Dijkstra는 그의 논문“The Humble Programmer”에서 언급 한 자원 봉사자들에게 어떤 임무를 부여 했습니까?

에서 다 익스트라의 논문 "겸손 프로그래머" 그는 일부 자원 봉사자를 해결하기 위해 문제를 준 언급 :

“정말 숙련 된 자원 봉사자들과 함께 약간의 프로그래밍 실험을했지만 의도하지 않았고 예상치 못한 결과가 나타났습니다. 저의 자원 봉사자 중 누구도 분명하고 가장 우아한 해결책을 찾지 못했습니다. 면밀한 분석 결과, 이것은 공통의 출처를 갖는 것으로 판명되었습니다. 반복 개념은 강화 된 관련 변수에 대한 아이디어와 너무 밀접하게 연결되어있어 명백한 것을 보지 못하도록 정신적으로 차단되었습니다. 그들의 솔루션은 효율성이 떨어지고, 이해하기가 어려웠으며, 솔루션을 찾는 데 오랜 시간이 걸렸습니다.”

Dijkstra가 자원 봉사자들에게 겪은 문제는 무엇입니까? 해결책은 무엇입니까?

"식사하는 철학자 문제"는 제시된 문제였다.

기본적으로 5 명의 철학자가 필요합니다. (각 철학자 앞에서 음식을 끝내지 않는 판을 상상해보십시오) 각 판 사이에는 포크 (5 판, 5 포크, 5 철학자)가 있습니다.

철학자는 오른쪽에 포크와 왼쪽에 포크를 둘 다 잡고있는 경우에만 먹을 수 있습니다. (한 번에 두 명의 철학자 만 먹을 수 있습니다).

포크는 가능하면 언제든 집어 올릴 수 있습니다. 각 포크는 상호 의존적으로 픽업해야합니다. (한번에 한).

철학자는 식사를하지 않지만, 생각하고 있습니다 (상태를 바꿔야 할 것이 문제를 일으키는 것입니다).

교착 상태에 빠진 시스템을 만들지 않고 (한 철학자가 한 포크를 잡고 다른 철학자를 기다리면서 다른 철학자가 먹는 것을 방지하는) 각자가 어떻게 먹고 대체 사고 (다른 사람들이 먹을 수 있도록) 할 수있게합니까?

이것은 동시 시스템에 뿌리를두고 있으며 동시성을 논의 할 때 제시되는 전형적인 대학 문제입니다.

나는 문제를 해결하기 위해 4 개 또는 5 개의 "공식적인"알고리즘이 개발되었다고 생각하지만 "Dining philosophers problem"에 대한 Google의 빠른 검색으로 많은 결과를 얻을 수 있습니다.

• Standford U에서이 문제에 대한 자세한 내용을 보려면 다음 사이트를 방문하십시오 : http://academicearth.org/lectures/dining-philosopher-problem

• wikipedia 기사는 다음 위치에 있습니다. 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의 절차" "동시 프로그래밍 제어 문제 해결 방법"이라고 나와 있습니다.

동시성 및 공유 리소스의 문제는 "식사하는 철학자 문제"입니다. :-)

희망이 도움이됩니다.