식사하는 철학자들 문제

1 개요

dining philosophers problem

식사하는 철학자들 문제, 식사하는 철학자 문제, 철학자들의 만찬 문제

• 전산학에서 동시성과 교착 상태를 설명하는 예시
• 여러 프로세스가 동시에 돌아갈 때 교착 상태가 나타나는 원인을 직관적으로 보임

 

2 상황

• 다섯 명의 철학자가 원탁에 앉아 있음
• 각자의 앞에는 스파게티가 있고 양옆에 젓가락이 한 짝씩 있음
• 각각의 철학자는 다른 철학자에게 말을 할 수 없음
• 철학자가 스파게티를 먹기 위해서는 양 옆의 젓가락 짝을 동시에 들고 있어야 함
• 각각의 철학자가 왼쪽의 젓가락 짝을 들고 그 다음 오른쪽의 젓가락 짝을 들어서 스파게티를 먹는 알고리즘을 가지고 있다면

다섯 철학자가 동시에 왼쪽의 젓가락 짝을 든 다음 오른쪽의 젓가락 짝을 들 때까지 무한정 기다리는 교착 상태에 빠질 수 있음

3 같이 보기

• 생산자-소비자 문제
• 독자-저자 문제
• 흡연자 문제
• 잠자는 이발사 문제
• 교착상태
• 병행성

4 참고

• https://ko.wikipedia.org/wiki/식사하는_철학자들_문제