Philosophers

Concepts

The basics of threading a process (프로세스 스레딩에 대한 기본 개념)

How to work on the same memory space (공유 메모리 공간을 어떻게 작업하는지)

How to make threads (스레드 만드는 방법)

Mutex / semaphore / shared memory (뮤텍스 / 세마포어 / 공유 메모리)

기본 개념들을 숙지한 채로, 동일한 기본 규칙을 가진 세 개의 개별 프로그램 작성하기

Basic Rules

Norm (42의 자체 코딩 컨벤션)을 따라, C로 작성할 것.

어떤 누수, 충돌, 정의되지 않은 행동 혹은 코딩 컨벤션 에러 시 프로젝트는 0점.

원형 테이블에 둘러 앉은 몇 명의 철학자들은 식사를 하거나, 생각하거나, 자고 있다.

철학자들은 동시에 하나의 행동만 한다. 이를 테면 식사를 하고 있을 때는 생각하거나, 자지 않는다.

원형 테이블 중앙에는 스파게티가 든 큰 접시가 있다.

스파게티가 포크 하나로 먹기 어려워서, 철학자들은 양 손에 포크를 들고 스파게티를 먹는다.

철학자들은 굶어 죽으면 안 된다.

모든 철학자들은 스파게티를 먹고 싶다.

철학자들은 서로 말하지 않는다.

철학자들은 다른 철학자가 언제 (굶어) 죽을지 모른다.

한 명의 철학자가 식사를 끝내면, 그는 포크를 내려놓고 잠자기 시작한다.

철학자가 잠자기를 끝내면, 생각하기를 시작한다.

한 철학자가 죽으면 시뮬레이션이 끝난다.

개별 프로그램은 다음과 같은 동일한 옵션들을 가져야 한다.

• number_of_philosophers : 철학자의 수, 즉 포크의 갯수
• time_to_die : 밀리세컨 단위. 한 철학자가 식사를 시작하지 않으면, 그가 마지막 식사를 시작하거나 시뮬레이션이 시작된지 ‘time_to_die’ 초 내에 그는 죽는다.
• time_to_eat : 밀리세컨 단위. 철학자가 식사를 하는 시간. 이 시간동안 철학자는 포크 두 개를 들고 있다.
• time_to_sleep: 밀리세컨 단위. 철학자가 자는 시간.
• number_of_times_each_philosopher_must_eat: (optional argument). 만약 모든 철학자들이 최소한 이 횟수만큼 식사를 했다면, 시뮬레이션은 끝난다. 만약 이 인자가 설정되지 않았다면, 철학자가 죽었을 때만 시뮬레이션이 끝난다. 각각의 철학자는 1부터 ‘number_of_philosophers’ 사이의 숫자들 중 각각의 숫자를 부여받게 된다.

1부터 ‘number_of_philosophers’ 까지의 순서대로 철학자들은 둘러 앉아 있다. (이를테면 n번 철학자 옆에는 n+1번 철학자가 앉아 있다.) 철학자의 상태가 변경될 때마다 다음과 같이 출력한다.

• timestamp_in_ms X has taken a fork
• timestamp_in_mx X is eating
• timestamp_in_ms X is sleeping
• timestamp_in_ms X is thinking
• timestamp_in_ms X died X 는 철학자가 부여받은 숫자로, timestamp_in_ms는 밀리세컨 단위의 소요된 시간을 기록 출력될 상태들은 다른 철학자의 상태와 섞이거나 혼합되면 안된다

한 철학자의 죽음과 그 죽음에 대한 출력 사이에 10 밀리세컨 이상의 시간차가 있으면 안된다

강조, 철학자가 죽는 상황을 최대한 피하자.