락의 기본 개념과 구현 방법을 다룹니다.

POSIX 스레드(Pthreads) API의 핵심인 생성, 종료, 락, 조건 변수의 사용법과 주의사항을 상세히 정리합니다.

스레드의 기본 개념과 스케줄링 비결정성, 공유 데이터로 인한 경쟁 상태의 원인을 정리합니다. 임계 영역과 상호 배제, 원자성 필요성까지 연결합니다.

가상 메모리 이론이 실제 OS에서 어떻게 구현되는지 살펴봅니다. VAX/VMS의 설계와 Linux의 VM을 비교하며 핵심 아이디어를 정리합니다.

AMAT 관점에서 OPT, FIFO, Random, LRU, Clock 정책을 비교하고 Dirty Page 처리와 Thrashing 대응까지 정리합니다.

물리 메모리보다 큰 가상 주소 공간을 지원하기 위한 핵심 메커니즘인 Swap Space와 Page Fault 처리 과정을 다룹니다. Present Bit의 역할, OS의 Page Fault Handler 동작 방식, 그리고 Swap Daemon의 역할을 정리합니다.

Linear Page Table의 과도한 메모리 사용 문제를 줄이기 위한 기법들: Bigger Pages, Hybrid(Paging+Segmentation), Multi-level Page Table, Inverted Page Table, 그리고 Page Table Swapping을 정리합니다.

페이징의 성능 문제인 메모리 접근 오버헤드를 해결하기 위한 하드웨어 캐시, TLB(Translation Lookaside Buffer)를 상세히 다룹니다. 기본 알고리즘, 지역성(Locality)의 원리, 미스 처리 방식, 그리고 문맥 교환 시 발생하는 문제와 해결책(ASID)을 정리합니다.