gitbook - introduction 내용

because the user can pass a null pointer, a pointer to unmapped virtual memory, or a pointer to kernel virtual address space (above KERN_BASE).

⇒ mmu.c와 페이지 관련 내용 공부하기

pml4관련 코드 파악하기 - mmu.c

• pml4_create:
  • 커널 가상 주소 공간을 위한 새로운 pml4를 생성, 유저 가상 주소 공간은 해당되지 않는다.
• pml4_get_page
  • pml4에서 사용자 가상 주소 UADDR에 해당하는 실제 주소를 찾는다. 해당 물리적 주소에 해당하는 커널 가상 주소 또는 UADDR이 매핑되지 않은 경우 널 포인터를 반환
• pml4e_walk
  • 가상 주소 vaddr에 대한 페이지 테이블 엔트리의 주소를 반환한다.
  • 페이지 테이블이 없는 경우 create 값에 따라 행동이 결정
    • create가 true인 경우는 새로운 페이지 테이블을 만들고 포인터를 반환한다.
    • false인 경우에는 Null pointer를 반환한다.
• pml4_destroy
  • 페이지들을 전부 해제하고 pml4e를 제거해준다.
  • PML4 (vaddr) >= 1, it's kernel space by define.

check_address구현

• NULL pointer이거나

• kernel address에 접근하거나

• 할당되지 않은 가상 메모리 주소에 접근하는 경우 프로세스를 종료해야한다.

  • 프로세스 종료하는 시스템 콜을 호출해야 하므로 뒤에 읽어보고 진행하자.

• 예림이가 pml4_get_page vs pml4e_walk의 차이에 대해 물어봤다.

  • 코드를 보면서 뭐가 적절할지 좀더 생각해보자.

  ➕깃북에서 아래 문장의 의미 생각해보기

  what if the user provides an invalid pointer, a pointer into kernel memory, or a block partially in one of those regions?

// [Project 2-2]
void check_address(void *addr){
	struct thread *current = thread_current ();
	
	if (addr == NULL || is_kernel_vaddr(addr) || pml4e_walk(current->pml4, addr, false) == NULL){
		// process 종료 -> 뒤에 시스템콜 읽어보고 추가하자
		exit(-1);
	}	
}

• invalid pointer → NULL 처리

• pointer into kernel memory → is_kernel_vaddr(vaddr)매크로에서 하는 일은 현재 넘어온 주소가 KERN_BASE보다 큰 주소인지 확인

  • 크다면 커널 공간

• 연속된 공간임을 가정하면 가상주소 - 물리주소 변환은 KERN_BASE를 더하고 빼면 된다.

  • ptov
  • vtop