Dining Philosophers Problem

[jangyejoo]

식사하는 철학자 설명

• 철학자 다섯이서 원형 식탁에 둘러앉아 생각에 빠지다가 배고플 땐 밥을 먹음, 그들의 양쪽엔 각각 젓가락 한짝씩 놓여있고 밥을 먹을 땐 다음의 과정을 따름
  1. 왼쪽 젓가락부터 집어든다, 다른 철학자가 이미 쓰고 있으면 대기
  2. 왼쪽을 들었으면 오른쪽 젓가락을 든다, 다른 철학자가 이미 쓰고 있으면 대기
  3. 두 젓가락을 모두 들었으면 식사
  4. 식사가 끝나면 오른쪽 먼저 내려놓고 왼쪽을 내려놓음

---

• 교착상태의 대표적인 예제
• 데드락 발생의 4가지 필요조건을 모두 충족
  1. 상호배타 : 젓가락은 한번에 한 철학자만 사용 가능
  2. 보유 및 대기 : 집어든 젓가락은 계속 들은 채로 사용중인 반대쪽 젓가락을 기다림
  3. 비선점 : 이미 누군가 집어든 젓가락을 뺏을 수 없음
  4. 환형대기 : 모든 철학자들이 자신의 오른쪽에 앉은 철학자가 젓가락을 놓기를 기다림

[KangYoonjoo]

• 원형 식탁에 둘러앉은 철학자 5명
• 배고플 땐 밥을 먹고, 그들의 양 쪽엔 젓가락 한짝 식 놓여져 있다
• 밥을 먹을 땐 다음 과정을 따른다

1. 왼쪽 젓가락부터 집어든다. 다른 철학자가 이미 쓰고 있다면 그가 내려놓을 때까지 생각하며 대기한다
2. 왼쪽을 들었으면 오른쪽 젓가락을 든다. 들 수 없다면 1번과 마찬가지로 대처한다.
3. 두 젓가락을 모두 들었다면 일정 시간동안 식사한다
4. 식사를 마쳤으면 오른쪽 젓가락 내려놓고, 그 다음 왼쪽 젓가락을 내려놓는다.
5. 다시 생각하다 배고프면 1번으로 회귀한다.

- 이 문제는 교착상태의 대표적인 예제

• 데드락 발생의 필요조건 4가지를 모두 만족하기 때문
  • 상호배타 : 젓가락은 1번에 한 철학자만 사용
  • 보유 및 대기 : 집어든 젓가락을 들고, 반대쪽 젓가락을 기다림
  • 비선점 : 이미 누가 집어든 젓가락 뺏을 수 없음
  • 환형대기 : 모두가 자신의 오른쪽 철학자가 젓가락 놓기를 기다림

[SeoYeonBae]

철학자 5명이 있다. 생각에 빠지다 배가 고플 땐 밥을 먹고 그들 양쪽에 각각 젓가락이 한 짝씩 있다. 밥을 먹을 때의 규칙은 다음과 같다.

• 왼쪽 젓가락을 집어든다. 다른 철학자가 쓰고 있다면 기다린다.
• 오른쪽 젓가락을 집어든다. 다른 철학자가 쓰고 있다면 기다린다.
• 젓가락을 양쪽 다 들었다면 식사를 한다.
• 식사를 다 했다면 오른쪽 젓가락을 내려놓고 왼쪽 젓가락을 내려놓는다.
• 생각하다 다시 배고프면 처음으로 돌아간다.

이는 교착상태의 4가지 필요조건을 모두 만족하는 대표적인 예제이다. 왜냐하면 모든 철학자가 배고파서 왼쪽 젓가락을 집어든다면 아무도 영원히 오른쪽 젓가락을 집을 수 없고 철학자들은 결국 기아현상으로 굶어죽기 때문이다.

• 상호배타 : 젓가락은 한 번에 한 철학자만 사용
• 보유 및 대기 : 집어든 젓가락은 계속 들고 있는 상태에서 오른쪽 젓가락을 기다림
• 비선점 : 이미 누가 들고 있는 젓가락은 빼앗을 수 없음
• 환형대기 : 모든 철학자가 자신 오른쪽에 앉은 철학자가 젓가락을 놓기만을 기다림