정보통신대학원 운영체제 과제 중간고사

R
REPORT
아주대 정보통신대학원
운영체제 과제 제출(중간고사)
과목명
지도교수
학과
학번
이름
제출일

1. 상호 배제 솔루션들은 아래와 같은 4가지 조건을 충족해야 한다.

① 상호배제: 임계 영역에서 두 프로세스가 동시에 실행되고 있지 않습니다.

② 진행상황: 임계 영역에 진입하려는 프로세스는 무기한 연기할 수 없습니다.

③ 한정된 대기: 대기 시간이 제한되어야 합니다.

④ 자원활용: 임계 섹션에 들어가려는 모든 프로세스는 다음을 수행해야 합니다. 리소스가 사용되지 않을 때마다 차단되지 않습니다.

힌트: 1)의 두 항목 상호배제, 자원활용은 예시이며, 1)의 나머지 조건과 2)의 4조건은 답안을 작성해야 합니다.

1)-1) 상호배제: 충족 (예시임)

1)-2) 진행: 충족되지 못함

정해진 시간(유한시간)내 입장 결정, 두 프로세스 중 누가 먼저 들어갈 것인지 결정

1)_3) 한정된 대기: 충족되지 못함

P0 → P1 → P0 → P1 순서로만 진행되고, 두 프로세스 수행 순서가
정해진대…(생략)

1)-4) 자원활용: 충족되지 못함(예시임)

2. 아래 코드처럼 IPC(프로세스간 통신방법)도구로 경계 버퍼를 사용하는 생산자와 소비자가

1) count=0, in=0, out=0

2) producer가 while 조건을 검사함. count 0 이므로 while loop을 빠져나옴

3) producer가 count ++ 를 실행하여 count 1 가 됨(자원을 사용하려는 상태로 변경)

4) consumer가 count 1 의 while 조건을 검사함(다음 프로세스가 자원에 접근하여 사용가능여부 확인)

5) consumer 조건은 count <= 0, count 1, 조건이 거짓이므로 while문 빠져나옴 (접근한 자원이 버퍼영역을 사용가능한 상태인지를 확인, 이미 사용 준비 중인 프로세스가 있는 상태)

6) consumer가 cunt 를 실행하여 count 0 이 됨(접근한 프로세스는 현재 자원을 점유 중인 상태로 공유자원이 있으므로 대기시간이 발생한다.)

7) producer가 buffer[in] = item; 실행하며 buffer[0]에 item을 넣음