17년도 정보처리기사 필기 교재에 1권 3과목 58쪽 46번 문제에 대한 문의입니다.
42. 데커(Dekker) 알고리즘에 대한 설명 중 옳지 않은 것은? 1. 교착상태가 발생하지 않음을 보장한다. 2. 프로세스가 임계영역에 들어가는 것이 무한정 지연될 수 있다. 3. 공유 데이터에 대한 처리에 있어서 상호배제를 보장한다. 4. 별도의 특수 명령어 없이 순수하게 소프트웨어로 해결된다.
교재에서 데커 알고리즘은 단지 상호 배제 기법 소프트웨어적 구현 방법 중 두 개의 프로세스 기준의 방법이라는 것밖에 나와있지 않았습니다.
그런데 제가 알기로는 교착상태는 상호 배제에 의해서 나타나는 문제점인데 그렇다면 1번 선택지가 틀린 것 아닌가요?
안녕하세요 길벗수험서 운영팀입니다.
데커 알고리즘에 대한 부가적인 설명이 섹션에 없는 이유는 데커 알고리즘에 대한 문제가 교재에 실린 문제 외에는 출제된 적이 없어 문제로 학습하는 것만으로 충분하다고 판단되었기 때문입니다.
데커 알고리즘이 교착상태에 대해서 자유로운 것을 알고리즘의 특성 때문입니다.
임계 메모리에 대한 권한 요청이 거절되고 무한 루프를 돌게 되면 프로세스에 대한 정지가 발생하고, 요청이 승인될 때까지 자동으로 대기한다고 볼 수 있는 알고리즘입니다.
(메모리 내의 환형 대기가 아닌 적재도 되지 않은 보류상태로, 이로 인해 결국 교착상태가 무너지게 됩니다.)
데커 알고리즘에 대해 자세히 알고싶으시다면 메모리와 프로세스 관련 전문서적을 찾아보시는 것을 권해드립니다.
행복한 하루되세요 :)
-
관리자2020-03-06 09:52:12
안녕하세요 길벗수험서 운영팀입니다.
데커 알고리즘에 대한 부가적인 설명이 섹션에 없는 이유는 데커 알고리즘에 대한 문제가 교재에 실린 문제 외에는 출제된 적이 없어 문제로 학습하는 것만으로 충분하다고 판단되었기 때문입니다.
데커 알고리즘이 교착상태에 대해서 자유로운 것을 알고리즘의 특성 때문입니다.
임계 메모리에 대한 권한 요청이 거절되고 무한 루프를 돌게 되면 프로세스에 대한 정지가 발생하고, 요청이 승인될 때까지 자동으로 대기한다고 볼 수 있는 알고리즘입니다.
(메모리 내의 환형 대기가 아닌 적재도 되지 않은 보류상태로, 이로 인해 결국 교착상태가 무너지게 됩니다.)
데커 알고리즘에 대해 자세히 알고싶으시다면 메모리와 프로세스 관련 전문서적을 찾아보시는 것을 권해드립니다.
행복한 하루되세요 :)