본문/내용
R
REPORT
아주대 정보통신대학원
운영체제 과제 제출(중간고사)
과목명
지도교수
학과
학번
이름
제출일
1. 상호 배제 솔루션들은 아래와 같은 4가지 조건을 충족해야 한다.
① 상호배제: 임계 영역에서 두 프로세스가 동시에 실행되고 있지 않습니다.
② 진행상황: 임계 영역에 진입하려는 프로세스는 무기한 연기할 수 없습니다.
③ 한정된 대기: 대기 시간이 제한되어야 합니다.
④ 자원활용: 임계 섹션에 들어가려는 모든 프로세스는 다음을 수행해야 합니다. 리소스가 사용되지 않을 때마다 차단되지 않습니다.
힌트: 1)의 두 항목 상호배제, 자원활용은 예시이며, 1)의 나머지 조건과 2)의 4조건은 답안을 작성해야 합니다.
1)-1) 상호배제: 충족 (예시임)
1)-2) 진행: 충족되지 못함
정해진 시간(유한시간)내 입장 결정, 두 프로세스 중 누가 먼저 들어갈 것인지 결정
1)_3) 한정된 대기: 충족되지 못함
P0 → P1 → P0 → P1 순서로만 진행되고, 두 프로세스 수행 순서가
정해진대로 수행되지 않으면 진행되지 않는다.
1)-4) 자원활용: 충족되지 못함(예시임)
2)-1) 상호배제: 충족
오직 한 thread만 진입 가능함
2)-2) 진행: 충족되지 못함
2)-3) 한정된 대기: 충족되지 못함
두 프로세스가 동시에 used를 true로 하면 진행되지 않는다.
2)-4) 자원활용: 충족되지 못함
used[0] = used[1] = false로 초기화한다. used[0] = true일 때, P0이 critical section에 진입할 수 있다. userd[1] = true일 때, P1이 critical section에 진입할 수 있다.
2. 아래 코드처럼 IPC(프로세스간 통신방법)도구로 경계 버퍼를 사용하는 생산자와 소비자가
각각 1개씩 있다. count; 와 count++; 만을 임계 섹션으로 보호하는 경우, 문제가 발생
할 수 있다. 어떤 문제가 발생할 수 있…
할 수…