원형 대기 조건을 없애는 예시 중 질문드립니다.

Question

식사하는 철학자 문제는
1. 계속 생각을 하다가 왼쪽 포크를 든다.
2. 계속 생각을 하다가 오른쪽 포크를 든다.
3. 왼쪽과 오른쪽 포크를 모두 집어들면 정해진 시간동안 식사를 한다.
로 이루어져 2개의 포크라는 자원이 전부 충족되어야 하는 문제로 이해하였습니다. 그런데 원형 대기 조건을 없애는 예시 중 철학자들이 모두 포크를 들어도 괜찮다는 부분이 있습니다.
이 경우도 이전 식사하는 철학자 문제와 동일하게 결국 각자에게 할당된 포크(자원)이 1개씩만 할당되기에 결국 문제가 해결되지 않는게 아닌지 생각됩니다.
이 부분에 대해서 조금 더 설명해 주실수 있으실까요?

강민철 · Answer

원형 대기 조건을 없애는 예시는 철학자들이 모두 포크를 들어도 괜찮다 가 아니라 정확하게는 포크에 숫자를 매기고 오름차순으로만 포크를 들도록 한다 입니다. 이 조건이 지켜진다는 전제가 있다면 동시에 들어도 괜찮다는 것입니다^^   감사합니다.