외부 단편화 문제를 해결하기 위한 빈 공간 관리 기법을 상세히 다룹니다. 분할(Splitting)과 병합(Coalescing), 헤더(Header)를 통한 크기 추적, 프리 리스트(Free List) 임베딩, 그리고 버디 할당(Buddy Allocation) 등 다양한 전략을 정리합니다.

내부 단편화를 해결하기 위한 세그멘테이션 기법을 상세히 정리합니다. 주소 변환 하드웨어의 동작 원리, 스택의 음수 방향 성장 처리, 그리고 새로운 문제점인 외부 단편화(External Fragmentation)와 그 해결책을 다룹니다.

메모리 가상화를 구현하는 핵심 메커니즘인 주소 변환(Address Translation)을 다룹니다. 하드웨어 기반의 동적 재배치(Base and Bounds) 기법의 원리와 이를 지원하기 위한 OS와 하드웨어의 역할을 정리합니다.

메모리 가상화의 기초. 초기 시스템부터 멀티프로그래밍을 거쳐 '주소 공간(Address Space)'이라는 핵심 추상화가 도입된 배경과 구조, 그리고 OS가 메모리를 가상화할 때 달성해야 하는 3가지 목표를 정리합니다.

싱글 코어에서 멀티 코어로 넘어오면서 생기는 문제(캐시 일관성, 동기화)와 이를 해결하기 위한 스케줄링 기법(SQMS vs MQMS)을 정리합니다. 리눅스 스케줄러(O(1), CFS)의 기반이 되는 아이디어를 다룹니다.

공정성(Fairness)을 목표로 하는 비례 배분(Proportional Share) 스케줄러를 다룹니다. 추첨 스케줄링(Lottery Scheduling), 보폭 스케줄링(Stride Scheduling), CFS(Completely Fair Scheduler)의 수식적 원리를 정리합니다.

MLFQ(Multi-Level Feedback Queue)를 정리합니다. 작업의 길이를 미리 알지 못해도 반환 시간과 응답 시간을 동시에 잡는 방법과, 기아(Starvation) 및 게이밍(Gaming) 문제를 해결하는 과정을 다룹니다.