데드락 (충일)

교착 상태

교착 상태의 발생

1. 시스템 자원 동시에 같이 사용할 수 없는 시스템 자원을 할당받은 후 양보 안 할 시 발생ex) 스캐너, 프린터

2. 공유 변수 한 변수를 할당받은 상태에서 다른 변수 대기 시 발생

3. 응용 프로그램 데이터베이스 같은 응용 프로그램에서도 발생

자원 할당 그래프

• 사용하는 이유 : 어떤 프로세스에 어떤 자원이 할당되어 있는지 혹은 어떤 프로세스가 자원을 기다리고 있는지 한눈에 파악 가능하다.

• 다중 자원 : 여러 프로세스가 하나의 자원을 동시에 사용

식사하는 철학자 문제

1. 철학자들은 서로 포크를 공유할 수 없다.> 자원을 공유하지 못하는 교착 상태 발생

2. 각 철학자는 다른 철학자의 포크를 빼앗을 수 없다.> 자원을 빼앗을 수 없으면 자원을 놓을 때까지 기다려야 하므로 교착 상태 발생

3. 각 철학자는 왼쪽 포크를 잡은 채 오른쪽 포크를 기다린다.> 자원 하나를 잡은 상태에서 다른 자원을 기다리면 교착 상태 발생

4. 자원 할당 그래프가 원형이다.> 자원을 요구하는 방향이 원을 이루면 양보를 하지 않기 때문에 교착 상태 발생

교착 상태 필요조건

1. 상호 배제 한 프로세스가 사용하는 자원은 공유할 수 없는 배타적인 자원이어야 한다.

2. 비선점 한 프로세스가 사용 중인 자원은 중간에 다른 프로세스가 빼앗을 수 없는 비선점 자원이어야 한다.

3. 점유와 대기 프로세스가 어떤 자원을 할당받은 상태에서 다른 자원을 기다리는 상태여야 한다.

4. 원형 대기 점유와 대기를 하는 프로세스 간의 관계가 원을 이루어야 한다.

교착 상태 해결 방법

교착 상태 예방

1. 상호 배제 예방

2. 비선점 예방

3. 점유와 대기 예방

4. 원형 대기 예방

📗 상호 배제 예방

📗 비선점 예방

📗 점유와 대기 예방

📗 원형 대기 예방

교착 상태 회피

문제점

1. 프로세스가 자신이 사용할 모든 자원을 미리 선언해야 한다.

2. 시스템의 전체 자원 수가 고정적이어야 한다.

3. 자원이 낭비된다.

• 은행원 알고리즘

• 안정 상태

교착 상태 검출

📗 타임아웃

1. 엉뚱한 프로세스가 강제 종료될 수 있다.

2. 모든 시스템에 적용할 수 없다.

📗 자원 할당 그래프를 이용한 교착 상태 검출

교착 상태 회복

1. 교착 상태를 일으킨 모든 프로세스를 동시에 종료

2. 교착 상태를 일으킨 프로세스 중 하나를 골라 순서대로 종료

[쉽게 배우는 운영체제] 6장 : 교착 상태 (1/2) [OS]

교착 상태 2개 이상의 프로세스가 다른 프로세스의 작업이 끝나기만 기다리며 작업을 더 이상 진행하지 못하는 상태 교착 상태의 발생 시스템 자원 동시에 같이 사용할 수 없는 시스템 자원을 할당받은 후 양보 안 할 시 발생 ex) 스캐너, 프린터 공유 변수 한 변수를 할당받은 상태에서 다른 변수 대기 시 발생 응용 프로그램 데이터베이스 같은 응용 프로그램에서도 발생 자원 할당 그래프 프로세스가 어떤 자원을 사용 중이고 어떤 자원을 기다리고 있는지를 방향성이 있는 그래프로 표현 *사용하는 이유 : 어떤 프로세스에 어떤 자원이 할당되어 있는지 혹은 어떤 프로세스가 자원을 기다리고 있는지 한눈에 파악 가능하다.

https://tooo1.tistory.com/391

[쉽게 배우는 운영체제] 6장 : 교착 상태 (2/2) [OS]

교착 상태 해결 방법 교착 상태를 해결하는 방법은 예방, 회피, 검출, 회복 방법이 있다. 해결 방법 특징 교착 상태 예방 교착 상태를 유발하는 네 가지 조건을 무력화 한다. 교착 상태 회피 교착 상태가 발생하지 않는 수준으로 자원을 할당한다. 교착 상태 검출 자원 할당 그래프를 사용하여 교착 상태를 발견한다.

https://tooo1.tistory.com/392