• 카테고리

    질문 & 답변
  • 세부 분야

    기타 (개발 · 프로그래밍)

  • 해결 여부

    해결됨

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

24.06.11 15:00 작성 24.06.11 15:00 수정 조회수 60

0

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

답변 1

답변을 작성해보세요.

0

원형 대기 조건을 없애는 예시는

철학자들이 모두 포크를 들어도 괜찮다가 아니라

정확하게는

포크에 숫자를 매기고 오름차순으로만 포크를 들도록 한다 입니다.

이 조건이 지켜진다는 전제가 있다면 동시에 들어도 괜찮다는 것입니다^^

 

감사합니다.

채널톡 아이콘