vm_do_claim_page() - sihyun10/pintos-lab-vm GitHub Wiki

vm_do_claim_page() 구현하기

논리적 페이지(Page)에 실제 물리적인 메모리(Frame)를 연결하고,
MMU(Page Table)에 가상 주소(VA)와 물리 주소(PA)를 매핑하는 함수이다.

우리가 해야할 것은 가상 주소와 물리 주소를 매핑한 정보를 페이지 테이블에 추가해야한다!

/* Claim the PAGE and set up the mmu. */
// PAGE를 선언하고 mmu를 설정하세요.
static bool
vm_do_claim_page(struct page *page)
{
  struct frame *frame = vm_get_frame();

  /* Set links */
  frame->page = page;
  page->frame = frame;

  /* TODO: Insert page table entry to map page's VA to frame's PA. */
  // 페이지의 VA를 프레임의 PA에 매핑하기 위해 페이지 테이블 항목을 삽입합니다.

  return swap_in(page, frame->kva);
}

---

구현한 코드

static bool
vm_do_claim_page(struct page *page)
{
  struct frame *frame = vm_get_frame();

  /* Set links */
  frame->page = page;
  page->frame = frame;

  /* TODO: Insert page table entry to map page's VA to frame's PA. */
  // 페이지의 VA를 프레임의 PA에 매핑하기 위해 페이지 테이블 항목을 삽입합니다.
  struct thread *curr = thread_current();
  bool writable = page->writable;
  bool success = pml4_set_page(curr->pml4, page->va, frame->kva, writable);
  if (!success)
    return false;

  return swap_in(page, frame->kva);
}

1. 새로운 물리 프레임을 할당받는다. (struct frame *frame = vm_get_frame();)
2. 프레임과 페이지 사이의 연결 관계 설정 (frame->page = page; page->frame = frame;)
3. 현재 스레드의 페이지 테이블(pml4)에 VA->PA 매핑을 추가
   3-1. 매핑 실패 시 false 반환
4. 디스크에서 실제 데이터를 메모리로 불러오는 작업 (swap in)