배경

• include/vm/uninit.h, vm/uninit.c (vm_type = VM_UNINIT)

초기화되지 않은 페이지들의 위한 기능 제공 (vm_type = VM_UNINIT)

현재 설계 = 모든 페이지가 초기화되지 않은 페이지로 설정

이후 anonymous page나 file-backed page로 변환해줘야함

• include/vm/anon.h, vm/anon.c (vm_type = VM_ANON)

anonymous page를 위한 기능을 제공

• include/vm/file.h, vm/file.c (vm_type = VM_FILE)

file-backed page를 위한 기능을 제공

• include/vm/inspect.h, vm/inspect.c

채점용 메모리 검사 기능, 수정 금지

• include/devices/block.h, devices/block.c

블록 디바이스로의 섹터 기반 읽기/쓰기 제공

이 인터페이스는 블록 디바이스로 스왑 파티션에 접근할 때 사용

**Managing the Supplemental Page Table

보조 페이지 테이블의 관리**

• 보조 페이지 테이블은 각 페이지에 대한 추가 데이터를 이용해, 페이지 테이블을 보조한다
• 페이지 테이블의 포맷으로 생기는 제한들 때문에 보조 페이지 테이블이 필요하다

보조 페이지 테이블 : 아래의 보조 데이터들을 담고 있는, 프로세스마다 존재하는 자료구조

→ 각각의 페이지에 대해서 데이터가 존재하는 곳(frame, disk, swap 중 어디에 존재하는지), 이에 상응하는 커널 가상 주소를 가리키는 포인터 정보, active인지 inactive인지 등