philosophers

소개글

1965년 Dijkstra 는 식사하는 철학자들의 동기문제를 제기하고 해결책도 지시하였다 그 이후로 여전히 다른 동기화 프리미티브를 발견한 사람들은 누구나 식사하는 철학자들의 문제를 해결해 봄으로써 새로운 프리미티브의 우수성을 설명하려고 노력하고 있다. ㅇ ㅣ문제는 5명의 철학자가 한 테이블 주위에 앉아 있다. 그리고 각 철학자들은 스파게티가 들어 있는 접시를 가지고 있다. 이 스파게티는 미끄러워 두 개의 젓가락이 필요하다. 그러나 젓가락은 그림과 같이 접시 사이에 한 개만 놓여 있다.

철학자의 생활이 식사하고 생각한다고 가정하자. 철학자가 배가 고파지면 그는 양손으로 젓가락을 잡으려 할 것이다. 만약 두 손에 포크를 잡을 수 있다면 잠시 동안 식사를 한 후 젓가락을 내려놓고 계속 생각한다. 핵심은 철학자가 곤경에 빠지지 않고 자신이 하고 싶은 일(식사, 생각)을 할 수 있도록 프로그램 할 수 있는가이다. 교착상태와 기아상태가 발생하지 않게 해법을 제시해야 한다.

해결책은 만일 두 개의 젓가락을 가지지 못한 철학자는 자기가 가진 젓가락을 내려놓고 무작위의 시간을 기다리고 다시 잡는다면 이런 상황은 그리 오래 가지 않는다. 이것은 state 라는 배열을 이용하여 철학자가 식사중인지, 생각중인지, 배고파하는지의 트랙을 유지한다. 한 철학자는, 이웃하는 두 사람이 식사중이 아닐 때만 식사할 수 있다. 이 것은 한 명당 하나의 세마포어를 사용하는 배열이므로 필요한 포크가 사용중이면 배고픈 철학자라도 블록시킨다.

컴파일 실행환경

baci

참고 자료

없음