고급수학 발표 주제 - 식사하는 철학자 문제를 그래프 개념을 적용하여 해석, 해결하기

소개

"고급수학 발표 주제 - 식사하는 철학자 문제를 그래프 개념을 적용하여 해석, 해결하기"에 대한 내용입니다.

목차

1. 동기
2. 교착 문제
3. 개념 - 조건
4. 자원 할당 그래프 / 행렬로 상황 분석
5. 해결 - 은행원 알고리즘

본문내용

교착 상태
2개 이상의 프로세스가 다른 프로세스의 작업이 끝나기만 기다리며 작업을 더이상 진행하지 못하는 상태

교착 상태의 필요 조건
상호 배제 : 한 프로세스가 사용하는 자원은 다른 프로세스와 공유할 수 없는 배타적인 자원임

비선점 : 한 프로세스가 사용 중인 자원은 다른 프로세스가 빼앗을 수 없는 비선점 자원임

점유와 대기 : 프로세스가 어떤 자원을 할당받은 상태에서 다른 자원을 기다리는 상태 발생

원형 대기 : 점유와 대기를 하는 프로세스 간에 관계가 원을 이루어야 함

상호배타 - 포크는 공유할 수 없음

점유와 대기 - 모든 철학자들이 왼쪽의 포크를 쥐고 오른쪽의 포크를 기다림

비선점 - 다른 철학자가 잡고 있는 포크를 빼앗을 수 없다.

순환대기 - 점유와 대기가 반시계 방향으로 순환함

상호 배제 & 비선점 - 자원 할당 그래프에서 변이 방향성을 가지고 있음

점유와 대기 - 프로세스의 진입 차수가 1이상

원형 대기 - 자원 할당 그래프에서 모든 점의 진출 차수가 1이상

참고자료

· 없음