개발 방법론 · 운영체제 · 기타 E16

스케줄링과 페이지 교체는 표를 그려 세는 계산이고, 나머지는 한 번씩 나온 낱말이다. 계산 절차 둘과 낱말 한 벌

01왜 이 장인가

왜 이걸 하나 — SW공학 묶음 37문항 중 13문항이 이 장이고, 그중 계산 5문항은 절차만 있으면 확실한 점수다.

11회분 220문항 중 이 장의 기출은 13문항이다. 11회 중 9회에 나왔고 2025년 2회에는 3문항(SJF/SRT · AJAX · 라운드 로빈)이었다. 운영체제 계산이 5문항, 운영체제 용어 1문항, 그 밖의 낱말 7문항이다.

→ SRT 는 두 번 나왔고 답이 둘 다 6.5 다. 우연이지만 같은 절차(남은 시간이 가장 짧은 것이 CPU 를 잡는다)로 풀린다. AJAX 도 두 번 나왔다. 이 장의 낱말 7문항은 다른 장에 넣기 애매한 것을 모은 것이라 카드가 곧 범위다.

E01 진단의 3번(SRT 6.5ms)이 이 장이었다. 계산 문제는 답이 하나라 표를 그리는 습관이 점수이고, 낱말 문제는 02절 카드에 있는 것이 나오면 맞고 없는 것이 나오면 그 회차의 새 낱말이다.

문항 수는 이 노트의 문제 데이터에서 ch=E16 인 것을 센 값이다(2026-09-14). 스케줄링 · 페이지 교체 정답은 전부 파이썬 시뮬레이션으로 확인했다(LRU · LFU · FIFO · SRT · 라운드 로빈 · HRN).

02한눈에

왜 이걸 하나 — 시험 전날 계산 규칙 둘과 낱말 카드를 다시 본다.

03밑바닥

왜 이걸 하나 — 계산 두 종류는 표를 그리는 순서가 정해져 있다. 그 순서만 있으면 값이 바뀌어도 같다.

3-1. 스케줄링은 「지금 누가 CPU 를 잡나」를 매 순간 정한다

평균 대기시간 문제는 세 걸음이다. 첫째 규칙대로 실행 구간을 시간축에 적고, 둘째 프로세스마다 완료 시각을 읽고, 셋째 대기 = 완료 − 도착 − 실행으로 계산해 평균 낸다. 규칙이 다른 것은 첫째 걸음뿐이다.

SRT 는 매 순간 남은 실행 시간이 가장 짧은 프로세스가 CPU 를 잡고, 더 짧은 것이 새로 도착하면 뺏는다. 2026년 2회 3번은 P1(0, 8) · P2(1, 4) · P3(2, 9) · P4(3, 5) — 0~1 P1, 1 에 P2(4)가 오면 P1 의 남은 7 보다 짧아 뺏어 1~5, 그 뒤 P4(5) 5~10, P1(7) 10~17, P3(9) 17~26. 대기 9 · 0 · 15 · 2, 평균 6.5.

2024년 2회 16번은 전부 0 에 도착이라 뺏을 새 도착이 없어 SJF 와 같은 순서(P2 → P4 → P1 → P3)가 된다. 대기 0 · 2 · 6 · 18, 평균 6.5. 답이 같은 것은 우연이고 절차는 같다.

라운드 로빈은 큐 순서대로 할당량만큼 돌리고, 못 끝낸 것은 그 사이 도착한 것들 뒤에 다시 선다. 2025년 2회 13번(할당량 4)은 P1 0~4 · P2 4~8 · P3 8~12 · P4 12~16 · P1 16~20 · P3 20~24 · P4 24~25 · P3 25~26 이고, 대기 12 · 3 · 15 · 17, 평균 11.75. 큐에 다시 서는 순서를 틀리면 값이 통째로 어긋난다.

HRN 은 계산만 하면 순서가 나온다. 우선순위 = (대기 + 서비스) ÷ 서비스 라 예상 2회 20번의 A(5, 5) = 2 · B(6, 2) = 4 · C(12, 3) = 5 → C → B → A. 오래 기다린 짧은 작업이 앞으로 온다.

3-2. 페이지 교체는 「누구를 내보내나」만 다르다

부재 횟수 문제는 프레임 수만큼 칸을 그리고 참조열을 하나씩 넣는다. 이미 있으면 적중(부재 아님), 없으면 부재이고 빈 칸이 없으면 규칙대로 하나를 내보낸다. FIFO 는 먼저 들어온 것, LRU 는 가장 오래전에 쓴 것, LFU 는 가장 적게 쓴 것.

LRU 의 함정은 적중 처리다. 적중한 페이지는 교체하지 않지만 최근 사용 시각을 앞으로 당겨야 다음 희생자가 맞는다. 2024년 3회 4번의 참조열 20개는 부재 12 · 적중 8 이고, 같은 열을 FIFO 로 돌리면 15 다(훈련 1번) — 규칙이 바뀌면 같은 열에서 답이 바뀐다.

2024년 1회 9번은 LRU 와 LFU 를 같은 열에 돌려 둘 다 6 이다. 4 를 넣을 때 LRU 는 「가장 오래 안 쓴 3」을, LFU 는 「가장 적게 쓴 3(1회)」을 내보내 희생자가 같았다. 열이 바뀌면 둘이 갈릴 수 있으니 규칙을 따로 적용한다.

3-3. 교착상태와 방법론은 「넷 · 넷」으로 외운다

교착상태는 조건 넷이 동시에 성립할 때만 난다 — 상호 배제 · 점유와 대기 · 비선점 · 환형 대기. 그래서 예방은 넷 중 하나를 깨는 것이고, 회피는 자원을 줄 때마다 안전 상태인지 검사하는 은행원 알고리즘, 발견은 자원 할당 그래프, 회복은 프로세스 종료나 자원 선점이다(예상 1회 20번 · 훈련 3번).

방법론은 「어떻게 반복하나」로 갈린다. 폭포수는 반복 없이 순서대로, 프로토타입은 시제품을 먼저, 나선형은 위험 분석을 넣어 반복, 애자일은 짧은 반복에 고객을 넣는다. 스크럼의 낱말(스프린트 · 백로그 · 데일리 스크럼 · 번다운 차트)과 XP 의 낱말(짝 프로그래밍 · TDD · 소규모 릴리스)이 애자일 아래 있다.

요구사항은 기능과 비기능으로 나뉘고, 비기능 안에서 다시 성능(속도 · 응답) · 자원(메모리 · 화면) · 운영(OS · 포맷) · 보안 · 품질로 갈린다(2026년 1회 5번). 「1초 이내」면 성능, 「적은 메모리」면 자원, 「여러 OS」면 운영이다.

3-4. 리눅스 권한은 4 · 2 · 1 의 합이다

chmod 의 숫자 세 자리는 소유자 · 그룹 · 기타 순서이고, 각 자리는 읽기 4 · 쓰기 2 · 실행 1 의 합이다. 2023년 3회 5번의 「소유자 읽기 · 쓰기 · 실행, 그룹 읽기 · 실행, 기타 실행」은 7 · 5 · 1 → 751. 반대로 644 는 rw- r-- r--, 750 은 rwx r-x --- 다(훈련 5번).

명령은 하는 일로 짝짓는다. 경로는 pwd · cd, 목록은 ls, 파일은 cp · mv · rm · cat, 권한은 chmod · chown · chgrp, 프로세스는 ps · kill. 2025년 3회 3번의 넷(pwd · ls · cd · cp)이 이 중 앞의 넷이다.

04기출

왜 이걸 하나 — 계산 5문항은 표를 종이에 그리며 푼다. 낱말 8문항은 카드와 대조한다.

스케줄링은 시간축 한 줄과 프로세스 표 한 개, 페이지 교체는 프레임 칸 × 참조열 길이의 표를 그린다. 답 칸에는 마지막 값 하나가 아니라 대기시간 넷과 합계를 함께 적어 두면 어디서 틀렸는지 보인다.

05틀리는 자리

왜 이걸 하나 — 계산은 큐 순서와 갱신에서, 낱말은 비슷한 약자에서 깎인다.

계산 문제의 답은 소수(6.5 · 11.75)가 흔하다. 나누기 전의 합과 나눈 수를 답 옆에 적어 두면 부분 점수가 있는 문항에서 과정이 살아남는다.

06훈련

왜 이걸 하나 — 같은 참조열을 FIFO 로, 스케줄링을 선점 · 비선점으로 분류, 교착 · 방법론 · chmod 의 나머지 칸이다.

훈련 1번은 2024년 3회 4번의 참조열을 FIFO 로 돌린 것이라 LRU 의 12 와 견줘 볼 수 있다. 정답은 파이썬 시뮬레이션으로 확인했고, 나머지 넷은 정의로 대조한 낱말이다.

07백지 재현

왜 이걸 하나 — 아래를 안 보고 적을 수 있어야 이 장이 끝난다.