운영체제 6장 연습문제

소개

연습문제입니다

목차

6장 연습문제
7. P와 V 연산이 최소 단위적으로(atomic) 실행되지 않으면 상호 배제가 파괴됨을 보이시오.

7장 연습문제
5. 무한 연기(indefinite postponement)란 무엇이며, 이것은 교착 상태와 어떻게 다르며 또한 유사점은 무엇인가?
7. 교착 상태가 존재할 네 가지 필요조건을 상술하시오. 또 각 조건이 왜 필요한지 간단히 설명하시오.
8. 세 개의 프로세스와 세 개의 자원이 관련된 간단한 교착 상태의 예를 들고, 이에 적당한 자원 할당 그래프를 그리시오.
12. 그래프 소거 기법을 이용하는 교착 상태 발견 알고리즘에서 그래프 소거의 순서가 바뀌어도 아무 영향을 미치지 않고 최종 결과는 동일함을 보이시오.

8장 연습문제
20. 사용자가 A와 B 사이에서 A의 실체를 인증하고, 메시지 M의 무결성을 보증하기 위한 기법을 설계 제시하여라.

본문내용

5. 무한 연기(indefinite postponement)란 무엇이며, 이것은 교착 상태와 어떻게 다르며 또한 유사점은 무엇인가?
☞ 무한연기란 : 어떤 시스템에서든지 자원 할당 및 프로세스 스케줄링을 수행하는 동안 다른 프로세스를 기다리게 하는 시스템에서는 한 프로세스가 시스템에 의해 처리되는 동안 다른 프로세스의 스케줄링은 끝없이 연기될 가능성이 있는 것을 말한다.
☞ 차이점 : 스케쥴링이 진행될 때 무한정 기다리지만 운이 좋으면 해결된다.
☞ 유사점 : 무한연기와 교착상태는 둘 다 프로세스들의 집합이 진행을 못하고 블록되는 상태이다.

7. 교착 상태가 존재할 네 가지 필요조건을 상술하시오. 또 각 조건이 왜 필요한지 간단히 설명하시오.
상호 배제(Mutual Exclusion) : 프로세스들은 자신이 필요로 하는 자원에 대해 배타적인 사용을 요구한다. 즉, 적어도 하나의 자원은 반드시 비공유 되는 상태에서 점유되어야 한다. 만일 다른 프로세스가 그 자원을 사용하려고 한다면 요청한 프로세는 자원이 사용가능할 때까지 기다려야 한다.
점유와 대기(Hold and Wait) : 시스템 내부에 어떤 프로세스가 적어도 하나의 자원을 점유하면서, 다른 프로세스에 의해 점유된 다른 자원을 요구하고 할당 받기를 기다릴 때 교착 상태가 발생할 수 있다.

참고자료

· 없음