2022.04.25 kocw 운영체제 강의 (7/13)

데드락(교착 상태)을 해결하는 법

 

 교착 상태를 해결하는 방안에는 4가지가 있다. 방어, 회피, 검출 및 복구, 그리고 무시다.

먼저 방어는 교착상태의 4가지 필요조건(상호 배타, hold and wait, 비선점,환형 대기) 중 하나를 방지하는 것이다. 다음으로 회피는 자원 할당을 잘한다면 교착 상태를 해결할 수 있다고 여기는 방식이다.  세 번 째로 검출 및 복구는, 교착 상태가 일어난 다음에 문제를 찾아 해결하고 복구하는 방안으로, 비용이 많이 든다. 마지막으로 교착상태는 필요조건을 다 충족하더라도 잘 일어나지 않기 때문에, 무시하고 진행하는 방법이 있다.

 

모니터

- 세마포보다 나중에 나옴.

->세마포보다 좀 더 고급언어를 사용하고, 더 편리(싱크로나이즈드 메소드만 사용하면 됨.).

- acquire(), release() 대신 wait(), notify() 를 사용.