• 현재 핀토스 매핑 정보
  • pml4를 사용하여 가상 메모리 주소와 물리 메모리 주소간의 매핑정보를 저장

<aside> 💡 따라서 Page Fault 와 Resource Management를 수원하게 진행 할 수 있도록 Supplemental Page Table를 구현

</aside>

Supplemental Page Table

• 기존 page table을 보완 하기 위해 만든 것

Supplemental Page Table 역할

• page fault 시 커널이 Supplemental Page Table에서 오류가 발생한 가상 페이지를 조회하여 어떤 데이터가 있어야 하는지 확인
• process가 종료될 때 커널이 Supplemental Page Table을 참조하여 어떤 리소스를 free시킬 것인지 결정

Supplemental_Page_Table 구현

• struct supplemental_page_table 을 먼저 구현 하고 그 후에 관련 함수를 구현 한다.
• 배열, 비트맵, 리스트 등등의 방법이 있지만 hash table로 구현!
• 그림 추가 에정

struct page 수정

• vm.h

struct page {
	const struct page_operations *operations;//페이지 관련 연산종류
	void *va;              /* Address in terms of user space */
	struct frame *frame;   //물리 메모리 프레임 주소

	/* Your implementation */
	struct hash_elem hash_elem;

...
}

hash 관련 보조함수 구현

static unsigned page_hash(const struct hash_elem *e, void *aux UNUSED)

• hash table 안에 있는 hash_elem 의 page 중, 하나의 va로 부터 해시값을 구하는 함수
• 사실상 hash_bytes()의 맵핑 함수 라고 할 수 있다.

// hash_elem를 넣으면 해당 페이지의 va에서 해시값을 추출 
unsigned 
page_hash (const struct hash_elem *e, void *aux){
	const struct page *p = hash_entry (e, struct page, hash_elem);
	
	return hash_bytes(&p->va, sizeof(p->va));
}