링크: https://casys-kaist.github.io/pintos-kaist/project3/vm_management.html

어떤 메모리 영역이 무슨 목적으로 누구에 의해 사용되고 있는지를 추적해야 함!

⇒ supplement page table & physical frame 구현

Step 1: Supplemental Page Table 구현

Step 2: Physical Frames 구현

Page Structure and Operations

Struct page

A page (defined in include/vm/vm.h )

• 가상 메모리 내에 페이지를 나타내는 구조체
• 모든 필요한 데이터를 페이지 안에 담을 수 있음.

struct page {
  const struct page_operations *operations;
  void *va;              /* Address in terms of user space */
  struct frame *frame;   /* Back reference for frame */

  union {
    struct uninit_page uninit;
    struct anon_page anon;
    struct file_page file;
#ifdef EFILESYS
    struct page_cache page_cache;
#endif
  };
};

• page 구조체는 아래와 같은 멤버를 갖는다.
  • page operations
  • virtual address
  • physical frame
  • union field
    • special data type! 메모리 영역에 서로 다른 타입의 데이터를 보관할 수 있게 해준다.
    • 다양한 멤버가 union 안에 들어가 있음. 하지만 한 번에 오직 한 멤버만 값을 담을 수 있다.
    • 즉, 시스탬에서 페이지는 uninit_page/anon_page/file_page/page_cache 넷 중 딱 하나의 상태만 가질 수 있음! (일종의 상태 표시)

Page Operations

페이지는 초기화되지 않은 페이지(VM_UNINIT), 익명 페이지(VM_ANON), file에 매핑된 페이지(VM_FILE) 중 하나가 될 수 있다.