컴퓨터 과학자 데이크스트라가 고안한 ‘철학자의 만찬 문제’는 컴퓨터 내에서 여러 프로세스*가 서로 점유하고 있는 자원을 얻기 위해 상대방의 작업이 끝나기만을 기다리며 대기하는 ‘교착 상태’와 특정 프로세스가 원하는 자원을 계속 할당받지 못하는 ‘기아 상태’에 대한 대표적인 예시로 활용된다. 처럼 다섯 명의 철학자(P₁~P₅)가 앉아 있는 자리 왼쪽에 포크(f₁~f₅)가 각각 하나씩 놓여 있다고 하자. 가운데 놓인 스파게티를 덜어 오기 위해서 철학자는 양옆의 포크를 동시에 이용해야 하며, 다른 철학자가 사용 중인 포크는 사용할 수 없다. 또 모든 철학자 Pₙ이 왼쪽의 포크 fₙ을 먼저 든 다음 오른쪽 포크 fₙ₊₁을 들어서 스파게티를 가져오기로 약속했을 때, 스파게티를 가져오기 위해 모든 철학자가 동시에 ..