Operating System
Week 6 Malloc Lab의 Place 함수 개선
Place 함수의 블록 배치 방향을 바꿔 91점에서 94점으로 개선한 과정과 임계값 최적화가 Util 향상으로 이어지지 않는 이유.
Operating System
하나의 주제로 이어지는 배움의 기록.
11개의 기록 최신순
Operating System
CSAPP 9.10 - 가비지 컬렉션과 보수적 Mark & Sweep
도달 가능성으로 가비지를 구분하는 원리부터 Mark & Sweep, C의 포인터 판별 한계와 블록 검색용 균형 트리까지 한 흐름으로 정리했다.
Operating System
CSAPP 9.11 - C 프로그램에서 만나는 메모리 버그 10가지
잘못된 역참조, 초기화 누락, 경계 초과, 포인터 연산, 수명과 해제 문제까지 메모리 버그의 원인과 증상이 멀어지는 이유를 정리했다.
Operating System
CSAPP 9.9.11 - 경계 태그로 인접한 가용 블록 합치기
헤더와 푸터로 앞뒤 블록을 찾는 방법, 가용 블록을 연결하는 네 가지 경우, 푸터를 생략할 때 필요한 정보를 정리했다.
Operating System
CSAPP 9.9.12 - 간단한 동적 메모리 할당기 구현 읽기
memlib의 가상 힙부터 블록 매크로, mm_init, extend_heap, coalesce, mm_malloc까지 묵시적 가용 리스트 할당기의 흐름을 따라갔다.
Operating System
CSAPP 9.9.13 - 명시적 가용 리스트와 pred·succ 포인터
가용 블록만 연결해 탐색 범위를 줄이는 원리와 LIFO·주소 순서 정책, 포인터 두 개가 최소 블록 크기에 미치는 영향을 정리했다.
Operating System
CSAPP 9.9.14 - 분리 가용 리스트와 버디 시스템
크기 클래스별로 가용 블록을 관리하는 simple segregated storage, segregated fit, 버디 시스템의 할당·반환 과정을 비교했다.
Operating System
5주차 - 스레싱(Thrashing)이란
가상 메모리에서 페이지 교체가 실제 작업보다 많아지는 이유를 LRU 예시로 살펴보고, 워킹 셋 모델과 CPU 사용량만으로 시스템을 판단할 때의 한계를 정리했다.
Operating System
3주차 - 리눅스 커널이 쓰는 버디 시스템, 2의 거듭제곱으로만 메모리를 관리하는 이유
seglist의 크기 클래스에 물리적 제약을 더한 버디 시스템 — 반으로 쪼개고, XOR 한 번으로 O(1)에 짝을 찾아 병합하고, 그 대가로 최대 50%까지 내부 단편화를 감수하는 구조를 seglist와 비교하며 정리.
Operating System
3주차 - 가용 블록을 어떻게 관리할까: Implicit / Explicit / Segregated Free List
동적 메모리 할당기가 가용 블록을 관리하는 세 가지 방식을 검색 범위가 좁아지는 순서로 정리 — 크기 필드로 유추하는 implicit부터, pred/succ 포인터로 연결하는 explicit, 크기 클래스별로 리스트를 쪼개는 seglist까지.
Operating System
2주차 - 버퍼 오버플로우, 가상 메모리 관점에서 보기
C에는 배열 경계 검사가 없다는 사실에서 출발해서, 스택과 힙에서 버퍼 오버플로우가 실제로 어떤 메모리를 덮어쓰는지 가상 메모리 구조로 정리.