• Anonymous page : non-disk based image 구현
• 익명 매핑에는 백업 파일 혹은 디바이스 없음 / filed-backed page와 다르게, 이름이 있는 파일 소스가 없어 ‘anonymous’ / 익명 페이지는 excutable에서 사용됨(스택, 힙 등)
• anon_page 구조체 → 익명 페이지 상태 저장을 위한 멤버 추가 필요

Page Initialization with Lazy Loading

• high-level의 관점에서 페이지 초기화 과정

  • 커널이 새 페이지 달라는 요청 → vm_alloc_page_with_initializer 호출 →= 해당 함수를 통해 페이지 구조체를 할당, 페이지 타입에 맞는 적절한 초기화 함수를 세팅 : 새로운 페이지 초기화 → userprog으로 제어권 넘김
  • userprog 실행 시, if “lazy loading으로 인해 컨텐츠가 아직 로드되지 않은 페이지에 접근” → page fault 발생
    • 해당 page fault 처리 과정 : uninit_initialize 호출 → 이전에 세팅해 놓은 초기화 함수 호출
  • 익명 페이지 초기화 함수 == anon_initializer / file-backed 페이지 초기화 함수 == file_backed_initializer

• 페이지 life cycle : 초기화 → (페이지 폴트 → lazy loading → swap in → swap out → …) → destroy

• life cycle의 각 상태 변이 마다, page type별로 다른 프로시저 요구됨

Lazy Loading for Executable