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

🛠️ 세번째 목표 - spt_insert_page()함수 구현

이 함수는 주어진 supplemental_page_table에 page를 삽입하는 함수이다.
이때 조건은, 해당 page의 가상주소(va)가 이미 존재하면 삽입하지 않고, false를 반환한다.
존재하지 않으면 삽입하고, true를 반환한다.

---

• 가상 주소 유효성 검사 (is_user_vaddr())
• page의 va를 키로 하여 이미 존재하는 페이지가 있는지 검사 (spt_find_page())
• 없다면 hash_insert()로 삽입 시도
• 삽입 성공 시 true 반환, 실패 시 false 반환

---

구현 코드

// 검증을 통해 spt에 PAGE를 삽입합니다.
bool spt_insert_page(struct supplemental_page_table *spt UNUSED,
                     struct page *page UNUSED)
{
  int succ = false; // 삽입 성공 여부를 저장할 변수

  if (is_user_vaddr(page->va))
  {
    if (spt_find_page(spt, page->va) == NULL)
    {
      hash_insert(&spt->hash_table, &page->hash_elem);
      succ = true;
    }
  }

  return succ;
}

---

구현 코드 설명

bool spt_insert_page(struct supplemental_page_table *spt UNUSED,
                     struct page *page UNUSED)

• spt : 삽입할 대상 - supplemental_page_table
• page : 삽입하려는 페이지 객체

| 가상 주소 유효성 검사

if (is_user_vaddr(page->va))

삽입하려는 페이지의 주소가 사용자 공간 주소인지 확인한다.
커널 주소 공간을 잘못 넣는 경우를 방지한다.

아래의 is_user_vaddr()를 활용하여 사용자 공간 주소인지 검사한다.

// va가 유저 주소인가?
#define is_user_vaddr(vaddr) (!is_kernel_vaddr((vaddr)))

| page의 va를 키로 하여 이미 존재하는 페이지가 있는지 검사

if (spt_find_page(spt, page->va) == NULL)

우리가 이전에 구현해둔 spt_find_page()를 활영하여 현재 spt에 이미 동일한 va를 가진 페이지가 존재하는지 확인한다.
만약, 없다면 삽입 가능하다!

| 없다면 hash_insert()로 삽입 시도

struct hash_elem *
hash_insert (struct hash *h, struct hash_elem *new) {
  struct list *bucket = find_bucket (h, new);
  struct hash_elem *old = find_elem (h, bucket, new);

  if (old == NULL)
    insert_elem (h, bucket, new);

  rehash (h);

  return old;
}

위 hash_insert() 함수를 활용하여 페이지의 해시 요소를 해시 테이블에 삽입한다.

hash_insert(&spt->hash_table, &page->hash_elem);
succ = true;

중복 키가 없는 경우에만 성공한다.
따라서 삽입에 성공했기에 succ를 true로 바꿔준다.