[9급 지방직 컴퓨터일반] 19년 1회차 기출문제 정답·해설 페이지

저급언어에 해당하는 것은 어셈블리어이다.
저급언어는 기계어와 기계어를 기호(니모닉)로 1:1 대응시킨 어셈블리어처럼 하드웨어에 가까운 언어를 말하며, 어셈블러를 통해 기계어로 변환된다.
자바는 객체지향 고급언어로, 바이트코드로 컴파일된 뒤 JVM에서 실행된다.
코볼은 사무 처리용으로 개발된 고급언어이다.
포트란은 과학·기술 계산용으로 개발된 최초의 고급언어이다.

CPU의 구성 요소는 ALU, 레지스터, 제어장치(ㄱ, ㄹ, ㅂ)이다.
CPU는 연산을 담당하는 산술논리연산장치(ALU), 명령어 해독과 제어 신호를 만드는 제어장치, 연산 중 값을 임시 저장하는 레지스터로 이루어진다.
DRAM은 CPU 밖에 있는 주기억장치에 쓰이는 메모리 소자다.
PCI는 주변 장치를 연결하는 확장 버스 규격이다.
메인보드는 CPU·메모리·확장 카드 등을 장착하는 기판으로, CPU 내부 구성 요소가 아니다.

설명된 구조는 버스(Bus)형이다.
하나의 공유 회선에 노드를 연결하므로 구축이 싸고 노드 추가가 쉽다. 신호 반사를 막기 위해 회선 양 끝에 터미네이터를 달며, 공유 회선이라 노드·트래픽이 늘면 충돌이 잦아져 성능이 떨어진다.
성형은 중앙 허브에 각 노드를 일대일로 연결하는 구조로, 터미네이터가 없다.
망형은 노드끼리 다중 경로로 연결해 신뢰성은 높지만 구축 비용이 크다.
링형은 노드를 원형으로 연결해 끝이 없으므로 터미네이터가 필요 없다.

설명된 특징은 캡슐화이다.
캡슐화는 속성과 메서드를 하나의 객체로 묶고, 내부 구현을 감추는 정보 은닉을 통해 외부에는 메서드라는 인터페이스만 보여 준다.
구조성은 객체지향 프로그래밍의 대표 특징으로 꼽히지 않는다.
다형성은 같은 이름의 메서드가 객체에 따라 다르게 동작하는 성질이다.
상속성은 상위 클래스의 속성과 메서드를 하위 클래스가 물려받는 성질이다.

설명된 방식은 비선점 스케줄링이며, 해당하는 것은 FCFS(ㄱ)뿐이다.
FCFS는 도착 순서대로 CPU를 주고, 프로세스가 끝나거나 스스로 반납할 때까지 빼앗지 않는다.
RR은 시간 할당량이 끝나면 CPU를 강제로 회수해 다음 프로세스에 넘기는 선점 방식이다.
SRT는 남은 실행 시간이 더 짧은 프로세스가 도착하면 실행 중인 프로세스를 중단시키는 선점 방식이다.

프로그램 내장 방식을 사용한 최초의 컴퓨터는 에니악이 아니라 에드삭(EDSAC)이므로 이 설명이 옳지 않다.
에니악은 배선과 스위치를 바꿔 프로그램을 설정하는 외부 프로그램 방식이었고, 이 번거로움을 없애려고 폰 노이만이 프로그램 내장 개념을 제안했다.
프로그램과 자료를 기억장치에 저장하고 명령을 순서대로 꺼내 해독·실행한다는 설명은 프로그램 내장 방식의 정의이다.
스위치 재설정의 번거로움을 해결하려 폰 노이만이 제안했다는 설명은 옳다.
현재 대부분의 컴퓨터가 이 방식을 따른다는 설명도 옳다.

전형적인 RISC 구조는 메모리의 피연산자를 직접 처리하지 않으므로 이 설명이 옳지 않다.
RISC는 로드/스토어(Load/Store) 구조로, 메모리 접근은 적재·저장 명령만 수행하고 연산은 레지스터의 피연산자로만 한다. 메모리 피연산자를 직접 연산하는 것은 CISC의 특징이다.
CISC 명령어의 길이가 가변적이라는 설명은 옳다(RISC는 고정 길이).
RISC가 명령어 처리 구조를 단순화해 명령어 수를 줄였다는 설명은 옳다.
CISC가 RISC보다 명령어 실행 단계가 많고 회로 설계가 복잡하다는 설명은 옳다.

R이 속할 수 있는 가장 높은 정규형은 제1정규형이다.
속성 값이 모두 원자 값이므로 제1정규형은 만족한다. 그러나 기본키 {A, B}의 일부인 A만으로 C가 결정되는 A → C는 부분 함수적 종속이다.
제2정규형은 기본키에 대한 부분 함수적 종속이 없어야 하므로 R은 제2정규형을 만족하지 못하고, 그 이상의 제3정규형·보이스/코드 정규형도 만족할 수 없다. (참고로 {A, B} → D → E 는 이행적 종속이다.)

TCP와 UDP 모두 제공하지 않는 기능은 지연시간 보장이다.
인터넷 전송 계층은 최선형(best-effort) 서비스 위에서 동작하므로 TCP·UDP 어느 쪽도 전송 지연이나 대역폭을 보장하지 않는다.
혼잡 제어는 TCP가 제공한다(UDP는 제공하지 않음).
오류 검출은 TCP와 UDP 모두 헤더의 체크섬으로 제공한다.
연결 설정은 TCP가 3-way 핸드셰이크로 제공한다(UDP는 비연결형).

디스포절 컴퓨팅에 대한 설명이 옳지 않다. 제시된 내용은 감지(Context-aware) 컴퓨팅에 해당한다.
디스포절 컴퓨팅은 1회용 종이처럼 매우 저렴한 비용으로 컴퓨터를 만들어 어디에나 쓰고 버릴 수 있게 하는 기술이다.
엑조틱 컴퓨팅이 스스로 생각해 현실세계와 가상세계를 연계해 준다는 설명은 옳다.
노매딕 컴퓨팅이 어디서나 정보기기가 편재되어 있어 휴대할 필요가 없게 한다는 설명은 옳다.
웨어러블 컴퓨팅이 컴퓨터를 옷·안경처럼 착용해 몸의 일부처럼 쓰게 한다는 설명은 옳다.

레지스터 주소 지정 방식이 직접 주소 지정 방식보다 느리다는 설명이 옳지 않다.
레지스터 방식은 피연산자가 CPU 내부 레지스터에 있어 메모리 접근이 필요 없고, 직접 방식은 주기억장치를 1회 접근해야 하므로 레지스터 방식이 더 빠르다.
즉시 방식은 데이터가 명령어 자체(명령어 레지스터 안)에 들어 있다는 설명은 옳다.
간접 방식은 주소를 읽는 접근과 데이터를 읽는 접근으로 최소 2회 메모리에 접근한다는 설명은 옳다.
상대 방식이 프로그램 카운터 값과 주소 필드 값을 더해 유효 주소를 구한다는 설명은 옳다.

한 시점에 한 프로세스만 자원을 사용하게 하는 것은 해결 방안이 아니라 교착상태의 발생 조건인 상호 배제이므로 옳지 않다.
교착상태 해결 방안은 예방·회피·탐지 및 회복으로 나뉘며, 상호 배제를 강제하는 것은 오히려 교착상태의 원인이 된다.
발생 가능성을 사전에 없애는 것은 예방(Prevention)이다.
탐지 후 관련 프로세스와 자원을 제거하는 것은 탐지 및 회복(Detection & Recovery)이다.
발생 가능성을 인정하되 발생하려 할 때 피하는 것은 회피(Avoidance)이다.

㉠에는 continue, ㉡에는 break가 들어간다.
3의 배수는 더하지 않고 다음 반복으로 넘어가야 하므로 continue, 합이 10을 넘으면 반복을 끝내야 하므로 break가 맞다.
추적: i=1 → sum=1, i=2 → sum=3, i=3 건너뜀, i=4 → sum=7, i=5 → sum=12, i=6 건너뜀, i=7에서 sum>10 이므로 종료 → sum=12 출력.
return은 main 메서드 자체를 끝내므로 3의 배수를 만나는 순간 출력 없이 종료된다.
final은 변수·메서드·클래스를 변경 불가로 만드는 수식어로, 흐름 제어 문장이 아니다.
goto는 Java의 예약어이지만 사용할 수 없다.

왼쪽은 검은색, 오른쪽은 흰색으로 좌우로 나뉜 이미지가 압축 효과가 가장 작다.
RLE는 같은 값이 연속되는 구간(런)을 '값+길이'로 바꾸므로 런의 개수가 많을수록 압축 효과가 떨어진다. 가로 방향으로 읽으면 좌우 분할 이미지는 모든 행이 검정→흰색으로 바뀌고, 행이 바뀔 때도 흰색→검정으로 이어지지 않아 행마다 런이 2개씩 생긴다.
위아래로 나뉜 이미지는 검정 구간 하나, 흰색 구간 하나로 런이 2개뿐이라 압축 효과가 가장 크다.
오른쪽 위가 대각선으로 검은 이미지는 검은 삼각형이 걸친 위쪽 행들만 런이 2개이고, 아래쪽 흰색 행들은 하나의 런으로 이어진다.
두 모서리만 검은 이미지는 모서리가 걸친 일부 행만 런이 나뉘고 가운데 흰색 행들은 하나로 이어진다.

옳은 것은 ㄴ, ㄷ이다.
스레드는 프로세스 안에서 코드·데이터·자원을 공유하되 PC와 레지스터, 스택은 각자 가진다. 단일 CPU에서는 여러 스레드가 하나의 CPU를 번갈아 쓴다.
스레드는 프로세스보다 작은 실행 단위이므로, 더 크다는 설명은 틀렸다.
같은 프로세스의 스레드끼리는 주소 공간을 공유해 문맥교환 비용이 작다. 프로세스 간 문맥교환이 더 효과적이라는 설명은 반대다.

옳은 설명은 셰어웨어에 대한 것이다.
셰어웨어는 일정 기간 무료로 사용해 본 뒤 유용하면 구매하도록 하는 소프트웨어이다.
오픈소스 소프트웨어는 소스가 공개되어 라이선스 조건에 따라 자유로운 수정·재배포가 허용되므로 임의 수정이 불가능하다는 설명은 틀리다.
라이트웨어는 일부 기능만 사용할 수 있게 한 버전을 무료로 배포하는 소프트웨어이므로 낮은 가격에 판매된다는 설명은 틀리다.
프리웨어는 무료로 쓸 수 있지만 저작권이 유지되어 영리 목적의 배포 등은 제한되므로 틀리다.

세 상황 모두 프로세스가 준비(Ready) 상태로 전이된다.
준비 상태는 CPU만 받으면 바로 실행할 수 있는 상태로, 실행에서 밀려나거나 기다리던 사건이 끝난 프로세스가 들어간다.
우선순위가 높은 프로세스에 선점되면 실행 상태에서 준비 상태로 돌아간다.
요청한 입출력이 완료되면 깨움(wake up)으로 블록 상태에서 준비 상태로 옮겨진다.
시간 할당량을 다 쓰면 타이머 인터럽트로 실행 상태에서 준비 상태로 돌아간다.

옳은 것은 ㄱ, ㄷ이다.
CSMA/CD는 이더넷에서 쓰는 매체 접근 방식으로, 주로 버스형 구조에서 쓰이며 전송 전에 회선이 비어 있는지 반송파 감지로 확인한다.
충돌이 나면 임의 시간만큼 기다렸다 재전송하므로 전송·지연 시간을 정확히 예측할 수 없다.
토큰이 회선을 돌며 점유하는 단점은 토큰 링·토큰 버스 방식의 특징이다.

최대 히프는 루트 9 아래에 7과 8, 7 아래에 5와 4, 8 아래에 3과 6, 5 아래에 2와 1이 있는 트리다.
최대 히프는 완전 이진 트리이면서 모든 부모 노드 값이 자식 노드 값 이상이어야 한다. 이 트리는 마지막 레벨이 왼쪽부터 채워져 있고, 모든 부모가 자식보다 크다.
루트 9 아래 7과 6이 있고 노드 4가 왼쪽 자식 3만 가진 트리는, 4의 오른쪽 자리가 비었는데 그 오른쪽인 3 아래에 노드가 있어 완전 이진 트리가 아니다.
루트가 4인 트리는 루트가 자식 7보다 작고, 6 아래에 8·9가 있어 부모가 자식보다 크다는 조건을 어긴다.
루트 5, 왼쪽 3, 오른쪽 7인 트리는 왼쪽이 작고 오른쪽이 큰 이진 탐색 트리이며, 부모 5가 자식 7보다 작아 히프가 아니다.

주어진 식은 x+y<z OR x-y>z와 같다.
A를 x+y≥z, B를 x-y≤z로 두면 식은 (A AND (A OR B) AND NOT B) OR NOT A이다. 흡수 법칙으로 A AND (A OR B) = A이므로 (A AND NOT B) OR NOT A가 된다.
분배하면 (A OR NOT A) AND (NOT B OR NOT A) = NOT A OR NOT B, 곧 x+y<z OR x-y>z이다.
x+y<z 하나만으로는 x+y≥z이면서 x-y>z인 경우를 놓친다.
x-y>z 하나만으로는 x+y<z이면서 x-y≤z인 경우를 놓친다.
x+y≥z OR x-y≤z는 A OR B로, A와 B가 모두 참이면 참이 되어 결과식(이때 거짓)과 다르다.