supplemental_page_table_copy
supplemental_page_table_kill
in vm/vm.c
supplemental_page_table_copy
bool supplemental_page_table_copy (struct supplemental_page_table *dst,
struct supplemental_page_table *src);
vm_type
에 따라 page 할당 방식을 나눔
부모 page가 uninit page인 경우
부모 page가 uninit page가 아닌 경우
페이지를 생성한 후, 해당 페이지의 타입에 맞는 initializer를 호출해 페이지 타입을 변경 부모 page의 물리 메모리 정보를 자식에게 복사
supplemental_page_table_kill
void supplemental_page_table_kill (struct supplemental_page_table *spt);
userprog/process.c
의process_exit()