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

vm_claim_page() 구현

주어진 가상 주소 va에 해당하는 페이지를 claim하는 함수이다.
먼저 va에 해당하는 page를 찾아내고, vm_do_claim_page를 호출하여 할당한다.

/* Claim the page that allocate on VA. */
// VA로 할당된 페이지를 선언합니다.
bool vm_claim_page(void *va UNUSED)
{
  struct page *page = NULL;
  /* TODO: Fill this function */
  // 기능을 구현하세요.

  return vm_do_claim_page(page);
}

• 해당 가상 주소 va에 대응하는 struct page *를 보조 페이지 테이블(SPT)에서 가져온다.
• 만약 해당 page가 없다면 실패를 반환하고,
• 있다면 vm_do_claim_page()를 호출하여
  • 물리 프레임 할당
  • VA->PA 매핑
  • swap in

---

spt_find_page() 함수 활용

// spt에서 VA를 찾아 페이지를 반환합니다. 오류가 발생하면 NULL을 반환합니다.
struct page *
spt_find_page(struct supplemental_page_table *spt UNUSED, void *va UNUSED)
{
  struct page dummy_page;
  dummy_page.va = pg_round_down(va);

  struct hash_elem *e = hash_find(&spt->spt_hash, &dummy_page.hash_elem);
  if (e == NULL)
    return NULL;

  return hash_entry(e, struct page, hash_elem);
}

현재 스레드의 SPT에서 해당 가상 주소의 페이지를 찾아주는 함수이다.

이 함수를 활용하여 아래와 같이 작성한다.

// vm_claim_page() 함수 코드 구현
// 현재 실행 중인 사용자 프로세스가 요청한 va 주소에 해당하는 가상 페이지가 있는지 확인하는 로직
page = spt_find_page(&thread_current()->spt, va);

thread_current()
: 현재 실행 중인 스레드를 가져온다.
각 스레드는 자신만의 보조 페이지 테이블(SPT)을 가지고 있다.

thread_current()->spt
: 현재 스레드가 소유한 SPT를 가리킨다.
이 테이블은 해당 스레드가 사용하는 모든 가상 페이지 정보를 담고 있기에
어떤 가상 주소 va가 등록되어 있는지를 확인할 수 있다.

---

구현 코드 - vm/vm.c

/* Claim the page that allocate on VA. */
// VA로 할당된 페이지를 선언합니다.
bool vm_claim_page(void *va UNUSED)
{
  struct page *page = NULL;

  page = spt_find_page(&thread_current()->spt, va);

  if (page == NULL)
    return false;

  return vm_do_claim_page(page);
}