아주대학교 정보통신대학원 운영체제 과제 (중간고사)

소개

"아주대학교 정보통신대학원 운영체제 과제제출(중간고사)"에 대한 내용입니다.

목차

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

2. 아래 코드처럼 IPC(프로세스간 통신방법)도구로 경계 버퍼를 사용하는 생산자와 소비자가
각각 1개씩 있다. count--; 와 count++; 만을 임계 섹션으로 보호하는 경우, 문제가 발생
할 수 있다. 어떤 문제가 발생할 수 있는지 제시하고, 제시된 문제가 발생하는 시나리오를 기술하시오. *참고: 생산자와 소비자를 thread(스레드)로 생성하는 코드는 생략함.

3. 다음 프로그램을 동일한 기능을 가지는 python 프로그램으로 변환한 후, 변환된 python프로그램을 여러 번 실행하고 출력되는 서로 다른 결과 2개를 수집하시오.

4-1 실시간 시스템의 예 하나를 제시하시오.
4-2 실시간 시스템이 범용 시스템과 구별되는 가장 대표적 특징을 제시하시오.
4-3 4-1에 제시한 시스템이 4-2의 실시간 시스템이 가지는 대표적 특징을 가지고 있는지 평가하시오.

5. 프로세스들의 큐(대기줄)를 구현하기 위하여 PCB에 어떤 자료구조가 정의되는가?

본문내용

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 이 됨(접근한 프로세스는 현재 자원을 점유 중인 상태로 공유자원이 있으므로 대기시간이 발생한다.)
* 세마포어는 shared data의 개수를 의미한다.(count 변수는 shared에 저장됨)세마포어는
버퍼(할당된 메모리영역)공간 영역을 사용할 수 있는 상태면 초기화 값이 1이 되고, 다른 자원이 사용(할당) 중인 상태에는 0의 값을 가지게 된다.

참고자료

· 없음