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