안녕하세요? 신주현 회원님 ^^

정보처리 자격시험 온라인 강의, 최강! 기사친구 입니다.

비전공자들의 경우 혼동이 있을 수 있기에 제가 여러 비유를 들어 설명을

드리고 있습니다. 정확하게 설명드릴 경우 오히려 더 혼동을 느끼시기 때문에

깊게 들어가지 않는 경우가 있는데 질문을 주셨으니 답변을 드립니다. ^^

---------------------------------------------------------------

상호배제는 하나의 자원을 둘 이상의 프로세스가 같이 쓰지 못하도록 하는겁니다.

화장실과 기차길을 예로 설명드렸습니다.

교착상태는 하나의 프로세스가 자원을 점유해서 사용하고 있을 때 다른 프로세스가

무한정 기다리게 되면 교착상태에 빠지게 됩니다.

화장실에 영구가 들어가서 점유하고 나오지 않으면 그 화장실을 사용하려고 하는

맹구는 계속 기다려야 되겠죠? 그 때 맹구는 교착상태에 빠질수도 있게 됩니다.

이러한 교착상태는 사실 상호배제를 구현하다보니 발생하는 겁니다.

상호배제의 원칙이 둘이상의 프로세스가 하나의 자원을 못쓰게 하는것인데

이것을 구현하다 보니까 꼭 기다리게 되는 프로세스가 생기더란 말이죠.

그러나 상호배제를 하면 그건 교착상태다... 그건 아닙니다.

교착상태는 교착상태 발생조건 네가지 (상호배제, 점유와대기, 비선점, 환형대기)가

모두 발생했을 때 생기는 겁니다.

영구가 상호배제의 원칙에 의해 화장실에 들어가 있더라도 맹구가 화장실이 더 급하다면

그때 영구를 끌어낼 수 있다면(선점기법) 맹구는 무한정 기다리지는 않겠죠?

이해가 되셨나요? ^^

위 네가지 조건을 모두 만족하는 경우가 발생했을 때 운영체제는 더이상 어떠한 일을 진행

하지 못하게 되는 교착상태에 빠지게 되는겁니다.

쉽게 말해서 컴퓨터가 다운이 되어 버린다고 보시면 되겠습니다.

------------------------------------------------------------------------

교착상태를 예방하는 방법은 그렇다면 위 네가지 조건이 동시에 발생하지만 않게 하면

된다는 겁니다.

그래서 상호배제를 부정하거나 점유와 대기상태가 생기지 않게하거나 선점기법을

적용하거나 선형대기 기법을 써서 한가지만 빼버리면 교착상태까지는 가지 않습니다.

그러나 실질적으로 교착상태 예방에는 상호배제를 부정하는 기법은 쓰이지 않습니다.

상호배제를 제외한 나머지 (점유와 대기 , 비선점 , 환형대기) 가 발생하지 않게 하는

기법을 씁니다.

왜 상호배제를 부정하지 않느냐면

상호배제를 부정한다는 것은 하나의 자원을 공유해서 사용하는 것을 허용한다는

것입니다.

쉽게 말하면 화장실 하나를 둘, 셋이 사용할 수 있게 한다는 이야기인데..

이건 바람직하지 않을 뿐더러, 실제로 공유해서 사용할 수 있는 자원은 많지 않습니다.

하나의 예로 프린터 라는 자원이 있다면, 프린터라는 자원을 두 프로그램이 동시에

인쇄작업이 진행되게 할수는 없기 때문입니다.

컴퓨터에서 이렇게 둘 이상의 프로세스가 공유해서 사용할 수 있는 자원은 많지 않습니다.

읽기전용 메모리 같이 가능한 자원도 있기는 합니다.

그래서 상호배제의 부정은 교착상태 예방에서 실제로 사용되지 않습니다.

상호배제의 원칙은 유지하면서, 나머지 세 조건이 발생하지 않게 해서 교착상태를 예방합니다.

예를 하나 들어 설명드리면, 엑셀, 한글, 파워포인트에서 순서대로 프린터라는 자원을

사용한다고 생각해 보겠습니다. 엑셀문서가 프린터에서 인쇄되면 한글 , 파워포인트 문서는

스풀 영역에서 대기하죠? 상호배제의 원칙이 지켜지고 있습니다.

그렇다고 교착상태는 아닙니다. 일단은 엑셀문서가 무한정 프린터를 사용하는 것은 아니고

또 필요에 의해서 엑셀문서 인쇄작업을 강제종료(선점기법)시키면 한글문서나 파워포인트

문서가 프린터 자원을 사용할 수 있게 되겠죠..^^

정확하게 이해가 되셨는지 모르겠습니다.. ^^

그러나 위처럼 자세하고 정확한 설명을 드리게 되면 비전공자 분들이 더 어려워 하십니다.

예전에는 위처럼 자세히 강의했었는데 비전공자 분들이 더 혼동하시더군요..^^

병행처리를 하기위해서는 상호배제(MUTEX)의 원칙이 지켜져야 합니다.

그러나 교착상태가 발생할 확률도 생깁니다.

그래서 상호배제의 원칙은 부정하지 않으면서 나머지 세 조건을 부정해서 교착상태에 걸리지

않게 하는겁니다.

그런데 교재들이 상호배제의 부정을 교착상태예방에 넣어버리니까 혼동을 하게 되는겁니다.

(그렇다고 틀린건 아닙니다. 앞서 말씀드렸듯이 공유되는 자원이 많지 않기 때문에 상호배제

원칙의 부정은 일단 배제하는겁니다.. ^^)

이해가 되셨는지 모르겠습니다.

다른 궁금하신 점이 있으시면 재질문주시기 바랍니다. ^^

열공하시구요~~ 활기찬 한 주 시작하세요!!

감사합니다.