교착상태(Deadlock)

교착상태(Deadlock)

둘 이상의 프로세스가 공유 자원을 무한정 기다리고 있고 공유 자원을 사용 중인 프로세스는 진입 대기 중인 프로세스가 진행돼야만 빠져나올 수 있는 상황

 

1. 4가지 조건

• 상호 배제(Mutual Exclusion): 한 번에 한 프로세스만 자원 사용
• 점유와 대기(Hold & Wait): 공유 자원에 대한 접근 권한을 갖고 있는 프로세스가 다른 자원에 대한 접근 권한을 요구
• 비선점(Non-preemptive): 다른 프로세스가 자원 접근 권한을 강제로 빼앗을 수 없다.
• 환형 대기(Circular Wait): 두 개 이상의 프로세스가 자원 접근을 기다리는데 그 관계에 사이클 존재

 

2. 해결법

• 예방 기법: 4가지 조건 부정
• 회피 기법: 교착 상태 발생 시 피해나가는 방법
  • 은행원 알고리즘: 프로세스가 자원을 요구할 때 시스템은 자원을 할당한 후에도 안정 상태로 남아있게 되는지 사전에 검사하여 교착 상태를 회피하고 불안정 상태면 다른 프로세스들이 자원을 해지할 때까지 대기한다.
• 발견 기법, 회복 기법