what is Dead lock?

dinning philosophers problem

• 철학자 = 프로세스, 스레드
• 포크 = 자원, 임계구역

Dead lock: 일어나지 않을 사건을 기다리며 진행이 멈춰 버리는 현상. 철학자들은 포크 한 개를 가지고 포크를 기다리며 멈춰버림.

resource-allocation graph

• 프로세스는 원으로, 자원의 종류는 사각형으로 표현
• 사용할 수 있는 자원의 개수는 자원 사각형 내에 점으로 표현
• 프로세스가 어떤 자원을 할당받아 사용중이라면 자원에서 프로세스를 향해 화살표 표시
• 프로세스가 어떤 자원을 기다리고 있다면 프로세스에서 자원으로 화살표를 표시

교착 상태 발생 조건

• mutual exclusion

해당 자원을 한 번에 하나의 프로세스만 이용 가능했기 때문에 발생, 자원을 공유할 수 있다면 dead lock은 발생하지 않음

• hold and wait

어떠한 자원을 할당받은 상태에서 다른 자원을 할당받기를 기다린다면 교착 상태가 발생할 수 있음

• nonpreemptive

비선점은 자원을 이용하는 프로세스의 작업이 끝나야만 비로소 이용할 수 있음. 만약 선점할 수 있다면 데드락은 발생하지 않음