식사 철학자들은 무엇이 문제입니까?

식사 철학자 문제는 컴퓨터 과학 분야에서 사용되는 사고 실험 또는 예입니다. 이 문제는 컴퓨터를 통해 리소스를 공유 할 때 발생할 수있는 동기화 문제를 설명하기 위해 유추를 사용합니다. 컴퓨터 과학자들은 식사 철학자 문제를 사용하여 학생들에게 이러한 문제를 해결하는 데 사용되는 알고리즘에 대해 가르칩니다.

식사 철학자 문제의 시나리오는 5 명의 철학자가 앉아있는 원형 테이블입니다. 테이블 중앙에는 국수 또는 다른 음식 한 그릇이 있습니다. 각 철학자는 양쪽에 하나의 포크 또는 젓가락을 가지고 있으며, 이는 총 5 개의 포크 또는 젓가락이 있음을 의미합니다. 먹는 철학자는 철학자 두 개가 필요합니다. 각 철학자는 또한 생각하는 데 약간의 시간을 소비해야하며 동시에 생각하고 먹을 수 없습니다. 식사 철학자 문제의 핵심은 교착 상태를 예방하기가 어렵다는 것입니다.

이 문제의 교착 상태는 철학자들이 생각하거나 먹을 수없는 위치에 놓일 때 발생합니다. 예를 들어, 각 철학자가 왼쪽으로기구를 집어들었다면, 모든기구가 사용되지만 철학자는 두 명을 갖지 않기 때문에 아무도 먹을 수 없습니다. 모든 철학자들이 먹을 수있게하려면 학생은 다른 철학자들이 생각하는 동안 일부 철학자들이 식사를 할 수 있도록 알고리즘을 만들어야합니다. 이를 통해 식사와 사고가 중단되지 않고 계속 될 수 있습니다.

식사 철학자 문제에 대한 여러 가지 가능한 해결책이 있습니다. 한 가지 해결책은 철학자들이 포크를 집어 올리는 것을 허락하거나 거부하는 여섯 번째 캐릭터 웨이터를 만드는 것입니다. 다른 사람들은 철학자들이 가용성을 극대화하기 위해 포크를 집어 내려 놓는 순서를 조절하는 것을 포함합니다. 다른 사람들은 철학자들에게 이웃 사람들이 식사를하기 전에 식사를하고 있는지 확인하도록 지시하는 것도 포함합니다. 본질적으로, 각 솔루션에는 철학자들이 자신의기구를 생각하고, 먹거나, 집어 들고 내려 놓을 때를 결정하는 알고리즘이라고하는 일련의 규칙을 개발하는 것이 포함됩니다.

식사 철학자 문제는 1965 년 네덜란드 컴퓨터 과학자 Edsger Dijkstra가 학생들을위한 시험 문제로 처음 표현했습니다. 그 이후로이 문제는 많은 변화를 겪었습니다. 약간 다른 형식으로 표시되는데, 그 중 일부는 스토리의 세부 사항 만 변경하고 다른 개념은 어려운 개념을 보여주기 위해 문제점에 대한 추가 제한 사항을 제안합니다. 가장 일반적인 최신 버전은 Tony Hoare가 만들었습니다.