186. MLFQ 파라미터 - 큐의 개수, 알고리즘, 승급/강등 기준

핵심 인사이트 (3줄 요약)

1. 본질: 다단계 피드백 큐 (Multilevel Feedback Queue, MLFQ)는 하나의 고정 알고리즘이 아니라, 큐 개수·타임 퀀텀 (Time Quantum)·승급/강등 규칙으로 성격이 결정되는 파라미터화된 스케줄링 프레임워크다.
2. 가치: 이 파라미터를 잘 조합하면 짧은 대화형 작업은 빠르게 응답시키고, 긴 CPU 바운드 작업은 뒤로 보내 처리량 (Throughput)도 지킬 수 있다.
3. 판단 포인트: 파라미터가 과격하면 기아 상태 (Starvation), 과도한 문맥 교환, gaming, 부스트 폭주가 발생하므로 "몇 개의 큐를 둘 것인가"보다 "왜 그 숫자인가"가 더 중요하다.

Ⅰ. 개요 및 필요성

MLFQ 파라미터는 스케줄러가 프로세스를 어떻게 분류하고 다시 이동시킬지 정하는 조정 손잡이다. 같은 MLFQ 구조라도 큐를 3개 둘지 8개 둘지, 최상위 큐의 타임 퀀텀을 4ms로 둘지 20ms로 둘지, 오래 기다린 작업을 언제 끌어올릴지에 따라 시스템은 완전히 다른 성격을 띤다. 즉 MLFQ의 실체는 규칙 집합보다 튜닝된 숫자 집합에 가깝다.

이런 파라미터가 필요한 이유는 범용 운영체제가 하나의 워크로드만 상대하지 않기 때문이다. 대화형 사용자 인터페이스는 짧은 응답 시간을 원하지만, 컴파일·렌더링·배치 분석은 총 처리량과 공정성이 더 중요하다. SJF (Shortest Job First)처럼 미래 실행 시간을 미리 알아야 하는 정책은 현실적이지 않으므로, 운영체제는 과거 행동을 보고 우선순위를 바꾸는 MLFQ를 쓰되 그 강도를 파라미터로 조절한다.

아래 그림은 MLFQ가 사실상 다섯 개 안팎의 정책 손잡이 위에서 움직인다는 점을 보여 준다.

┌──────────────────────────────────────────────────────────────┐
│                 MLFQ의 핵심 조정 손잡이                    │
├──────────────────────────────────────────────────────────────┤
│ 신규 작업 진입 위치 : Q0 ? Q1 ?                             │
│                                                              │
│ Q0 [RR, q=8ms]  ── demote rule ──▶  Q1 [RR, q=16ms]         │
│   ▲                         ▲                    │            │
│   │                         │                    ▼            │
│   └────── promotion / boost ┴───────  Q2 [FCFS or q=32ms]   │
│                                                              │
│ 조정 항목: queue count / per-queue policy / demotion /      │
│           promotion / initial placement                      │
└──────────────────────────────────────────────────────────────┘

중요한 점은 어느 하나의 값만 좋다고 해서 전체가 좋아지지 않는다는 사실이다. 큐 개수와 퀀텀, 부스트 주기, 진입 규칙은 서로 묶여 작동하며, 하나를 바꾸면 다른 값도 다시 맞춰야 한다.

• 📢 섹션 요약 비유: MLFQ 파라미터는 엘리베이터 제어판과 같다. 층 수, 문 열림 시간, 우선 운행 규칙을 함께 맞춰야 사람들이 빨리 이동하지, 한 버튼만 조정한다고 빌딩 전체 동선이 좋아지지는 않는다.

Ⅱ. 아키텍처 및 핵심 원리

실무적으로 자주 다루는 MLFQ 파라미터는 다섯 가지다. 첫째, 큐 개수는 분류 해상도를 결정한다. 둘째, 각 큐의 스케줄링 알고리즘은 보통 라운드 로빈 (Round Robin, RR) 또는 최하위의 선입선출 (First-Come, First-Served, FCFS)로 정한다. 셋째, 강등 규칙은 "퀀텀을 다 썼는가" 혹은 "누적 allotment를 다 썼는가"를 기준으로 잡는다. 넷째, 승급 규칙은 priority boost나 aging으로 기아를 방지한다. 다섯째, 신규 작업의 진입 위치는 새 프로세스를 얼마나 낙관적으로 볼지 결정한다.

특히 강등 기준은 gaming 방지와 직결된다. 프로세스가 퀀텀을 다 쓰기 직전에 일부러 I/O를 호출해 최상위 큐에 머무르는 것을 막으려면, 단일 퀀텀 소모가 아니라 이 큐에서 누적 사용한 총 CPU allotment를 기준으로 내려야 한다. 승급 기준 역시 단순하지 않다. 너무 짧은 부스트는 무거운 작업을 자꾸 위로 끌어올려 응답성을 해치고, 너무 긴 부스트는 하위 큐 작업을 굶긴다.

아래 예시는 파라미터가 실제 실행 패턴을 어떻게 바꾸는지 보여 준다.

┌──────────────────────────────────────────────────────────────┐
│       파라미터에 따른 프로세스 이동 예시 (q=8/16/32ms)      │
├──────────────────────────────────────────────────────────────┤
│ t=0      P1(new) in Q0, P2(new) in Q0                       │
│ t=8      P1 quantum expire  → Q1 demote                     │
│ t=12     P2 blocks for I/O   → stays near Q0                │
│ t=24     P1 quantum expire  → Q2 demote                     │
│ t=200    global boost       → P1, P2 모두 Q0로 승급         │
│                                                              │
│ 결과: 짧은 I/O 작업은 위에 남고, 긴 CPU 작업은 아래로 내려감 │
└──────────────────────────────────────────────────────────────┘

이 메커니즘 덕분에 MLFQ는 실행 시간을 미리 몰라도 어느 정도 SJF에 가까운 효과를 낸다. 대신 그 효과는 파라미터가 적절할 때만 유지되며, 값이 흔들리면 공정성과 응답성이 동시에 무너질 수 있다.

• 📢 섹션 요약 비유: MLFQ 파라미터는 놀이공원 줄 세우기 규칙과 같다. 빨리 끝나는 놀이기구 손님을 앞줄에 두고 오래 타는 손님을 뒤로 보내되, 너무 오래 기다린 손님은 다시 앞으로 불러야 전체 불만이 폭발하지 않는다.

Ⅲ. 비교 및 연결

MLFQ 파라미터의 진짜 의미는 다른 스케줄링과 비교할 때 더 선명해진다. 큐가 1개이고 모든 퀀텀이 같으면 사실상 RR에 가깝고, 강등과 승급이 없으면 다단계 큐 (Multilevel Queue)로 퇴화한다. 즉 MLFQ는 독립 알고리즘이라기보다 여러 정책을 하나의 틀 안에서 조합하는 메타 구조다.

현대 리눅스의 CFS (Completely Fair Scheduler)가 MLFQ와 다른 길을 택한 이유도 여기에 있다. MLFQ는 직관적이지만 "매직 넘버"에 의존하기 쉽다. 반면 CFS는 가상 실행 시간 (virtual runtime) 하나로 상대적 공정성을 잡으려 한다. 그럼에도 MLFQ 파라미터 철학은 여전히 중요하다. 컨테이너 런타임, 스토리지 큐잉, 네트워크 QoS (Quality of Service) 정책에서도 "여러 큐를 두고 승급/강등 기준을 조절한다"는 사고방식이 계속 반복되기 때문이다.

또한 aging과 boost는 연결되지만 동일하지 않다. aging은 기다린 시간에 따라 점진적으로 우선순위를 올리고, boost는 특정 시점에 한꺼번에 끌어올린다. 어떤 방식을 택할지는 구현 복잡도와 응답성 흔들림을 어떻게 감수할지의 문제다.

• 📢 섹션 요약 비유: MLFQ 파라미터는 같은 반 학생을 반장 줄, 일반 줄, 보충 줄로 나누는 학급 운영 규칙과 같다. 줄만 나누는 것으로 끝나지 않고, 언제 줄을 바꿀지까지 정해야 분위기가 안정된다.

Ⅳ. 실무 적용 및 기술사 판단

기술사 관점에서는 "MLFQ가 좋다"가 아니라 어떤 서비스 목표에 맞게 파라미터를 배치할 것인가를 답해야 한다. 사용자가 느끼는 지연이 중요한 시스템이라면 최상위 큐의 타임 퀀텀을 짧게 두고, 하위 큐에는 더 긴 퀀텀을 부여해 문맥 교환을 줄이는 계단형 구성이 유리하다. 반대로 배치 중심 시스템이라면 큐 수를 줄이고 하위 큐의 연속 실행 시간을 길게 잡아 처리량을 확보하는 편이 낫다.

체크리스트

1. 최상위 큐의 타임 퀀텀이 목표 반응 시간보다 충분히 짧은가?
2. 하위 큐에서 긴 작업이 너무 자주 선점되지 않도록 퀀텀을 점진적으로 늘렸는가?
3. 승급 주기 또는 aging 기준이 기아를 방지할 만큼 충분히 존재하는가?
4. 퀀텀 직전 I/O 호출로 우선순위를 악용하는 gaming 방지 규칙이 있는가?
5. 큐 개수 증가에 따른 스케줄러 오버헤드가 서비스 이득보다 작다고 검증했는가?

안티패턴

• 데스크톱 응답성을 노리면서 모든 큐의 퀀텀을 길게 두는 설정
• 기아를 두려워해 너무 짧은 boost를 걸어 CPU 바운드 작업을 계속 상위로 되돌리는 설정
• 누적 allotment 없이 즉시 I/O만 보는 바람에 gaming을 허용하는 설정

파라미터는 실제 측정으로 검증해야 한다. 평균 응답 시간, 95퍼센타일 지연, 문맥 교환 수, CPU 사용률 같은 지표를 함께 보고 튜닝해야지, "예전에 잘 되던 값"을 그대로 옮기면 워크로드가 달라진 순간 품질이 무너진다.

• 📢 섹션 요약 비유: MLFQ 튜닝은 급식 배식 속도를 정하는 일과 같다. 가장 배고픈 아이를 먼저 먹이되, 한 아이가 너무 오래 자리를 차지하면 뒤 줄이 화가 나고, 반대로 줄을 너무 자주 섞으면 배식 자체가 느려진다.

Ⅴ. 기대효과 및 결론

파라미터가 잘 맞는 MLFQ는 실행 시간을 모르는 현실에서도 짧은 작업을 빠르게 발견하고, 긴 작업은 뒤로 보내 전체 시스템 체감 성능을 높인다. 이는 단일 스케줄링 규칙만으로는 얻기 어려운 절충 효과다. 특히 대화형 응답성과 배치 처리량을 동시에 다뤄야 하는 범용 운영체제에서 강점을 가진다.

반대로 파라미터 의존성은 분명한 한계다. 하드웨어가 바뀌고, 코어 수가 늘고, 워크로드가 컨테이너 중심으로 이동하면 과거의 적정 퀀텀과 부스트 주기가 그대로 통하지 않는다. 그래서 MLFQ는 오늘날에도 중요한 개념이지만, 그 자체를 만능 해법으로 외우기보다 행동을 관찰해 우선순위를 조절하는 설계 철학으로 기억하는 편이 정확하다.

결론적으로 MLFQ 파라미터는 스케줄러의 부속 옵션이 아니라, 스케줄러의 성격을 정의하는 본체다. 좋은 MLFQ는 큐를 많이 가진 스케줄러가 아니라, 목표 서비스 품질에 맞게 숫자와 규칙이 정렬된 스케줄러다.

• 📢 섹션 요약 비유: 좋은 MLFQ는 줄을 많이 만들어 놓은 백화점이 아니라, 손님 흐름에 맞게 계산대 수와 우선 줄 규칙을 똑똑하게 조정하는 매장 운영 방식이다.

📌 관련 개념 맵

📈 관련 키워드 및 발전 흐름도

고정 우선순위 · RR
    │
    ▼
다단계 큐 (Multilevel Queue)
    │
    ▼
다단계 피드백 큐 (MLFQ)
    │
    ▼
boost · aging · gaming 방지
    │
    ▼
공정성 중심 스케줄러 (예: CFS)

이 흐름은 단순한 고정 우선순위에서 출발해, 피드백 기반 분류와 기아 방지 규칙을 거쳐 현대적 공정성 모델로 확장되는 경로를 보여 준다.

👶 어린이를 위한 3줄 비유 설명

1. MLFQ는 운동장 줄을 여러 개 만들고, 빨리 끝나는 친구는 앞줄에 두고 오래 노는 친구는 뒤줄로 보내는 규칙이에요.
2. 그런데 뒤줄 친구를 너무 오래 안 불러 주면 속상하니까, 가끔은 다시 앞줄로 올려줘야 해요.
3. 그래서 줄의 개수와 한 번에 노는 시간, 다시 불러 주는 타이밍을 잘 정하는 게 아주 중요해요.