[컴퓨터 운영체제]교착상태(Deadlock)

소개

컴퓨터공학
대학교 운영체제시간에
발표한 ppt 자료입니다.
2주간 조원들끼리 협의와 자료검색등
엄청 심열을 기울여 만든 ppt 이므로
좋은 자료임이 틀림없습니다.
발표점수 A+ 로 만점을 받았으며,
쉬운예시를 많이 들었기때문에 발표하는데 어려움이 없을거라
생각됩니다.
발표뿐만아니라 따로 공부하는데도 이해가 잘될 것으로
보입니다.

목차

1. 시스템 모델 (System Model)
2. 교착 상태의 특징 (Deadlock Characterization)
3. 교착 상태 처리 방법 (Methods for Handling Deadlocks)
4. 교착 상태 예방 (Deadlock Prevention)
5. 교착 상태 회피 (Deadlock Avoidance)
6. 교착 상태 탐지 (Deadlock Detection)
7. 교착 상태로부터 회복 (Recovery from Deadlock)

본문내용

Deadlock Concept
교착상태의 정의
다중 프로그래밍 환경에서 두 개 이상의 프로세스가 일어나지 않을 사건을 무한정 기다리는 상태
wait 중인 프로세스들이 그 상태를 변경시킬 수 없으면 이런 상황을 교착상태(Deadlock) 라고 함.
Chapter 8. Deadlocks
Deadlock Example
Chapter 8. Deadlocks
(a)교착상태 가능성 (b)교착상태
8.1 System model
시스템 경쟁하는 프로세스들 사이에 분배되어야 할 유한한 수의 자원으로 구성
자원 다수의 타입으로 분할, 각각 동등한 다수의 인스턴스로 구성
한 프로세스가 어떤 자원 타입의 한 인스턴스를 요청하면, 동일 타입 자원의 인스턴스로 할당함으로써 충족
Chapter 8. Deadlocks
System model (Cont.)
프로세스의 자원 사용요건 순서
요청 : 요청이 즉시 허용되지 않으면, 요청프로세스는
자원을 얻을 때까지 대기해야 한다.
2. 사용 : 프로세스는 자원에 대해 작업을 수행할 수 있다.
3. 방출 : 프로세스가 자원을 방출한다.
Chapter 8. Deadlocks
8.2 Deadlock Characterization
필요 조건들 (Necessary Conditions)
교착상태는 한 시스템이 아래의 4가지 조건이 동시에 성립될 때 발생할 수 있다.
상호배제 (Mutual exclusion)
최소한 하나의 자원이 비 공유 모드로 점유되어야 한다.
2. 점유하며 대기 (Hold-and wait)
최소한 하나의 자원을 점유할 때, 현재 다른 프로세스에 의해 점유된 자
원을 추가로 얻기 위해 대기하고 있는 프로세스가 반드시 있어야 한다.
Chapter 8. Deadlocks
8.2 Deadlock Characterization(Cont.)
필요 조건들 (Necessary Conditions)

참고자료

· 없음