인프런 커뮤니티 질문&답변

jhjang님의 프로필 이미지
jhjang

작성한 질문수

개발자를 위한 컴퓨터공학 1: 혼자 공부하는 컴퓨터구조 + 운영체제

교착 상태 해결 방법

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

해결된 질문

작성

·

119

·

수정됨

0

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

답변 1

0

강민철님의 프로필 이미지
강민철
지식공유자

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

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

정확하게는

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

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

 

감사합니다.

jhjang님의 프로필 이미지
jhjang

작성한 질문수

질문하기