운영체제 - 식사하는 철학자

목차

1. 식사하는 철학자.
2. 코드 분석
3. 교착상태 발생 해결 방안

본문내용

다익스트라가 제안한 식사하는 철학자는 교착 상태가 자원을 자유롭게 할당한 결과(자원 부족)라면, 반대로 기아 상태는 작업이 결코 사용할 수 없는 자원을 계속 기다리는 결과(교착 상태)를 예방하려고 자원을 할당할 때 발생(기다림)하는 결과이다

- 식사하는 철학자의 문제 설명
철학자 5명은 대부분의 시간을 생각하고 먹는데 소비하며, 철학자들은 의자 5개로 둘러 쌓인 원형 테이블을 공유함.
- 지역 풍습에 따라 철학자들은 포크 2개로 식사하며, 5명의 철학자가 동시에 식사할 수 없고, 2명만 동시에 식사 가능하다.
- 철학자가 생각 중일 때는 다른 철학자가 간섭하지 않는다.
- 배고픈 철학자가 식사를 위해 왼쪽과 오른쪽의 포크 2개를 든다 가정할 때 철학자는 한 번에 포크 하나만 들 수 있으며, 왼쪽 포크를 먼저 집은 후 오른쪽 포크를 집는다.
- 이웃 철학자가 이미 들고 있는 포크는 집을 수 없다.
- 배고픈 철학자는 두 포크를 동시에 갖게 되면 식사를 시작한다.
- 식사를 마치면 포크 2개를 내려놓고 계속 생각한다.
- 모든 철학자가 동시에 식사를 한다면 교착상태에 빠진다.

<중 략>

현재 기본으로 제공된 파일에서 dining.c를 열면 나오는 코드의 일부분중 do while 부분을 보면 chopstick을 세마포어로 표시하여 교착상태를 해결하는 코드이다.
 철학자는 포크에 해당하는 세마포어에 대한 P연산을 수행하고 나서 chopstick를 집는다.

참고 자료

없음