305. 워킹 셋 모델 (Working Set Model)

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

본질: 워킹 셋 (Working Set) 모델은 프로세스가 특정 시간 구간 동안 빈번하게 참조하는 페이지들의 집합을 정의하고, 이를 물리 메모리에 상주시킴으로써 스래싱을 원천 방어하는 동적 프레임 할당 기법이다.

가치: "참조의 지역성(Locality)"을 수치화하여, 램이 부족할 때 아무 프로세스나 돌리는 게 아니라 '워킹 셋 전체'를 올릴 수 있는 프로세스만 실행시키는 엄격한 입장 관리 시스템이다.

융합: 고정된 할당량을 주는 것이 아니라 프로세스의 현재 활동량에 따라 프레임 수를 실시간으로 조절하며, 가상 메모리 시스템의 성능 최적화와 멀티프로그래밍 정도(DoM) 제어의 핵심 알고리즘이다.

Ⅰ. 개요 및 필요성

개념: 1968년 피터 데닝(Peter Denning)이 제안한 모델로, 최근 $\Delta$ (윈도우 크기) 시간 동안 참조된 페이지들의 집합인 $W(t, \Delta)$를 '워킹 셋'으로 규정한다.
필요성: 프로세스에게 프레임을 너무 적게 주면 페이지 폴트가 폭발하고(스래싱), 너무 많이 주면 램이 낭비된다. 워킹 셋 모델은 각 프로세스가 **"지금 이 순간 쾌적하게 일하기 위해 필요한 최소한의 땅(RAM)"**이 얼마인지 계산하여, 시스템 전체의 평화를 유지하기 위해 탄생했다.
💡 비유: 시험 공부를 할 때 책상 위에 국어, 영어, 수학 책(워킹 셋)을 다 펼쳐놓아야 공부 효율이 납니다. 책상이 좁아서 책을 한 권씩만 꺼낼 수 있다면, 공부는 안 하고 가방에서 책을 넣었다 뺐다 하느라 시간을 다 버리게 되는 것을 막아주는 규칙입니다.
등장 배경: 초기 운영체제는 각 프로세스에 똑같은 양의 램을 나눠줬다. 하지만 어떤 프로그램은 1MB만 있어도 충분하고, 어떤 프로그램은 100MB가 필요했다. 이 불균형이 스래싱의 원인이 됨을 깨닫고, 프로세스의 실제 '활동량'을 측정하려는 시도가 워킹 셋 모델로 결실을 맺었다.

┌──────────────────────────────────────────────────────────────┐
│             워킹 셋(Working Set) 모델의 동적 할당 원리               │
├──────────────────────────────────────────────────────────────┤
│                                                              │
│  [ 시간축(t)에서의 참조 패턴 ]                                  │
│  ... 2, 6, 1, 5, 7, 7, 7, 7, 5, 1 (현재 t)                    │
│      └──────── Δ(윈도우) ────────┘                            │
│                                                              │
│  * 워킹 셋 W(t, Δ) = {1, 5, 7}                                 │
│  * OS의 행동: 이 프로세스에게는 프레임 3개를 무조건 보장한다!        │
│                                                              │
│  [ 만약 전체 램이 부족하다면? ]                                  │
│  - 다른 프로세스 하나를 통째로 Swap-out 시켜서라도               │
│    남은 프로세스들의 '워킹 셋' 크기는 지켜준다.                   │
└──────────────────────────────────────────────────────────────┘

📢 섹션 요약 비유: 놀이공원에서 인기 놀이기구를 탈 때, "한 명씩 들어가서 대기"하게 하는 게 아니라 "팀원 전체(워킹 셋)가 다 모여야만 입장"시키는 방식입니다. 팀원이 흩어져 있으면 아예 입장을 안 시키는 것이 내부 혼잡을 막는 길입니다.

Ⅱ. 아키텍처 및 핵심 원리

워킹 셋 윈도우 ($\Delta$)의 트레이드오프

워킹 셋의 정확도는 윈도우 크기 $\Delta$에 달려 있다.

$\Delta$가 너무 작으면: 최근의 변화만 반영하여 워킹 셋이 실제 지역성을 다 포함하지 못한다. (프레임 부족 유발)
$\Delta$가 너무 크면: 이미 안 쓰게 된 옛날 페이지까지 워킹 셋에 포함되어 램이 낭비된다. (DoM 감소)
결론: 최적의 $\Delta$를 찾는 것이 OS 커널 엔지니어의 핵심 역량이다.

스래싱 방어 메커니즘

**$\sum |W_i|$ (모든 프로세스의 워킹 셋 합)**이 전체 물리 메모리 크기보다 크면, 시스템은 위험 상태다.
OS는 즉시 가장 우선순위가 낮은 프로세스 하나를 골라 실행을 중단하고 그가 가진 모든 페이지를 디스크로 보낸다 (Suspended).
남은 프레임들을 다른 프로세스들에게 나눠주어 그들의 워킹 셋을 충족시킨다.
나중에 메모리 여유가 생기면 쫓겨났던 프로세스를 다시 불러온다.

📢 섹션 요약 비유: 식당에 손님이 너무 많아 줄이 길어지면, 억지로 합석시켜서 모두를 불편하게 만드는 게 아니라, 아예 "예약 마감"을 걸고 지금 있는 손님들(워킹 셋)이라도 편하게 식사하게 배려하는 경영 철학입니다.

Ⅲ. 비교 및 연결

워킹 셋 vs PFF (Page Fault Frequency)

비교 항목	워킹 셋 (Working Set)	PFF (페이지 부재 빈도)
제어 방식	참조 패턴을 미리 감시하여 예방	페이지 부재율을 사후 측정하여 대응
장점	스래싱을 아주 정교하게 예방 가능	구현이 훨씬 간단하고 직무적임
단점	매 참조마다 윈도우를 계산하는 오버헤드	부재가 터진 후에야 조절이 시작됨
성격	지역성 이론의 직접적 구현	통계적 피드백 제어

워킹 셋과 컨텍스트 스위칭

프로세스가 교체될 때, OS는 해당 프로세스의 워킹 셋 정보를 기억해둔다. 다음에 이 프로세스가 다시 실행될 때(Context Switch), 아예 시작부터 워킹 셋 페이지들을 램에 쫙 깔아주고 시작하는 '사전 페이징(Prepaging)' 기법과 결합하여 성능을 극대화한다.

📢 섹션 요약 비유: 워킹 셋은 '예방 주사'이고, PFF는 '치료제'입니다. 예방 주사는 맞기 번거롭지만 병(스래싱)에 안 걸리게 해주고, 치료제는 병에 걸린 뒤에 약을 먹어 수습하는 차이가 있습니다.

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

실무 시나리오

데이터베이스 공유 버퍼(Shared Buffer) 튜닝 MySQL이나 PostgreSQL 서버에서 동시 접속자가 수천 명으로 늘어날 때. 각 쿼리 프로세스의 '워킹 셋'은 인덱스 트리 조각들이다. 만약 shared_buffers 크기가 전체 액티브 쿼리들의 워킹 셋 합보다 작으면 DB 전체 성능이 수직 낙하한다. 실무자는 쿼리 프로파일링을 통해 피크 타임의 워킹 셋 크기를 추정하고 메모리 파라미터를 조정해야 한다.
가상화 하이퍼바이저의 Memory Ballooning VMware나 KVM 환경에서 호스트 램이 부족할 때, 하이퍼바이저는 각 게스트 VM들의 '워킹 셋'을 감시한다. 워킹 셋이 작아진(놀고 있는) VM의 램을 풍선(Balloon)을 부풀리듯 회수하여, 워킹 셋이 커진(바쁜) VM에게 빌려주는 동적 자원 재분배 기술의 근간이 된다.

도입 체크리스트

$\Delta$ 값의 적절성: 우리 워크로드가 주기적인 배치를 돌리는가, 아니면 무작위 요청인가? 배치 작업이 많다면 $\Delta$를 크게 잡아 지역성을 넓게 보호해야 한다.
오버헤드 감당 여부: 순수 워킹 셋 모델은 하드웨어 부하가 크다. 실제로는 클럭 알고리즘의 참조 비트 초기화 주기를 조절하여 워킹 셋을 근사하는 방식을 주로 쓴다.
📢 섹션 요약 비유: 부페 식당에서 사람들이 무슨 음식을 담는지 일일이 기록(워킹 셋)하는 건 힘들지만, 접시가 비는 속도(PFF)를 보고 음식을 채우는 건 쉽습니다. 실무에선 이 두 철학을 적절히 섞어 씁니다.

Ⅴ. 기대효과 및 결론

정량적 기대효과

스래싱 제로화: 워킹 셋 보장 정책이 작동하는 한, 시스템은 결코 '페이지 나르기' 소용돌이에 빠지지 않는다.
시스템 스루풋 안정화: DoM을 무리하게 높이지 않고 최적의 지점에서 유지하므로, 전체적인 작업 완료 시간이 일정하게 보장된다.

결론

워킹 셋 모델은 "모든 프로세스를 만족시킬 수 없다면, 소수라도 확실히 만족시켜라"라는 선택과 집중의 미학이다. 자원이 한정된 지구촌에서 모든 사람에게 최소 생계비를 보장해야 사회가 유지되듯, 현대 운영체제는 워킹 셋이라는 최소 생존 메모리를 사수함으로써 컴퓨팅 생태계의 안정성을 유지하고 있다.

📢 섹션 요약 비유: 워킹 셋은 '컴퓨터의 품위 유지비'입니다. 품위 유지비도 못 줄 정도로 가난해지면(메모리 부족), 차라리 휴직(Swap-out)을 시키는 것이 회사(시스템) 전체가 망하지 않는 유일한 길입니다.

📌 관련 개념 맵

개념 명칭	관계 및 시너지 설명
참조의 지역성	워킹 셋 모델이 유효하게 작동할 수 있게 해주는 데이터의 통계적 본능.
윈도우 ($\Delta$)	'최근'의 범위를 정하는 워킹 셋 모델의 유일한 변수.
스래싱	워킹 셋 보장에 실패했을 때 맞이하게 되는 파멸적 성능 붕괴.
사전 페이징	워킹 셋을 미리 램에 깔아주어 초기 페이지 폴트를 방지하는 기술.
PFF	워킹 셋의 복잡한 오버헤드를 대체하기 위해 실무에서 사용하는 대안 모델.

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

워킹 셋은 내가 공부할 때 책상 위에 꼭 펼쳐놓아야 하는 '가장 중요한 책들'의 모임이에요.
엄마는 내가 공부를 잘할 수 있게 그 책들이 책상에서 치워지지 않도록 지켜주시고, 책상이 너무 좁으면 아예 다른 동생을 방 밖으로 내보내 주시죠.
내 중요한 책들(워킹 셋)만 잘 지켜지면, 가방에서 책을 넣었다 뺐다 하느라 시간을 버리지 않고 공부를 엄청 빨리 끝낼 수 있답니다!