- 다익스트라의 원본 문제와 약간 다릅니다.
- 그래도 잘 먹어요
얌얌
-
철학자는 스레드로 생각함
-
철학자의 왼쪽, 오른쪽에 포크가 존재함.
-
포크가 복사되는 것을 방지하기 위해 적절한 atomic한 연산을 활용해야 함
-
철학자는 총 4가지 상태를 가짐
- 포크를 두개 모두 집을 경우 eating
- Sleeping
- 포크를 집기 전까지 Thinking
- 기아 상태가 사망 시간을 초과하면 Dying
-
프로그램의 인자는 다음과 같음.
-
철학자의 수
-
철학자가 굶으면 사망하는 시간
-
철학자의 식사 시간
-
철학자의 수면 시간
-
(option) 철학자 하나 당 먹어야 하는 식사 횟수.
- 모든 철학자가 식사 횟수를 만족하면 시뮬레이션 종료
-
$ make
$ ./philo 2 410 200 200 2-
철학자는 프로세스로 생각함
-
포크가 한 가운데에 존재함
-
IPC는 세마포어만 허용됨
-
이외에는 상단의 허용사양과 같음
$ make
$ ./philo 2 410 200 200 2-
터미널에 출력하는 것은 렌더링 타임때문에 늦어진다.
-
리다이렉션을 통해 파일 입출력을 할 경우 죽지 않고 사는 것을 확인할 수 있다.
$ ./philo 200 410 200 200 > output