Havender가 제시한 교착상태를 근본적으로 해결하는 3가지 방법에 대해 설명하시오.

소개글

Havender가 제시한 교착상태를 근본적으로 해결하는
3가지 방법에 대해 설명하시오.

목차

1. 교착상태 발생조건
2. 교착상태 방지
3. 점유와 대기 조건 방지
4. 비선점 조건 방지
5. 순환(환형) 대기 조건 방지

참고문헌

본문내용

0) 교착상태 발생조건
1971년에 E. G. 코프만 교수는 교착상태가 발생하려면 다음과 같은 4가지 조건을 만족시켜야 한다고 역설 했다
4가지 조건 중 어느 하나라도 충족되지 않으면 교착상태가 발생하지 않는다

00. 상호배제
- 한번에 한개의 프로세스만이 공유 자원을 사용할 수 있어야 한다

01. 점유와 대기
- 최소 하나의 자원을 점유하고 있으면서 다른 프로세스에 할당되어 사용되고 있는 자원을 추가로 점유하는 것에 대기하는 프로세스가 있어야 한다

02. 비선점
- 다른 프로세스에 할당된 자원은 사용이 끝날 때까지
강제로 빼앗을 수 없어야 한다

03. 환형 대기
- 공유자원과 공유자원을 사용하기 위해 대기하는 프로세스들이 원형으로 구성되어 있어 자신에게 할당된 자원을 점유하면서 앞이나 뒤에 있는
프로세스의 자원을 요구해야 한다

참고 자료

운영체제 :그림으로 배우는 구조와 원리 /구현회 지음
운영체제 /Abraham Silberschatz ;Peter B. Galvin ;Greg Gagne [공]지음 ;조유근 ;고건 ;박민규 [공] 옮김
운영체제 :이론과 실제 /이형봉 지음
운영체제 =Operating systems /이광규 ;박승기 ;최길림 공저