철학자는 스레드로 생각함

철학자의 왼쪽, 오른쪽에 포크가 존재함.

포크가 복사되는 것을 방지하기 위해 적절한 atomic한 연산을 활용해야 함

철학자는 총 4가지 상태를 가짐

• 포크를 두개 모두 집을 경우 eating
• Sleeping
• 포크를 집기 전까지 Thinking
• 기아 상태가 사망 시간을 초과하면 Dying

프로그램의 인자는 다음과 같음.

1. 철학자의 수

2. 철학자가 굶으면 사망하는 시간

3. 철학자의 식사 시간

4. 철학자의 수면 시간

5. (option) 철학자 하나 당 먹어야 하는 식사 횟수.

   • 모든 철학자가 식사 횟수를 만족하면 시뮬레이션 종료

철학자는 프로세스로 생각함

포크가 한 가운데에 존재함

IPC는 세마포어만 허용됨

이외에는 상단의 허용사양과 같음

터미널에 출력하는 것은 렌더링 타임때문에 늦어진다.

리다이렉션을 통해 파일 입출력을 할 경우 죽지 않고 사는 것을 확인할 수 있다.