[TIL] [WEEK9-10] Pintos Project(2) User Memory Access

📍두 번째 과제, User Memory Access (유저 메모리 접근)

시스템 콜 기능을 구현하기 위해, 유저 가상 주소 공간에 데이터를 읽고 쓰기 위한 방법을 제공해야 한다. 인자를 받을 때는 이 방법이 필요하지 않지만, 시스템 콜의 인자로 들어온 포인터로부터 데이터를 읽어야 할 때라면 이 방법을 써야 한다.

시스템 호출의 일부로 커널은 사용자 프로그램에 의해 제공되는 포인터를 통해 메모리에 접근한다. 이 때, 사용자가 null 포인터나 매핑되지 않은 가상 메모리에 대한 포인터, 커널 가상 주소 공간에 대한 포인터를 전달할 수 있기 때문에 이에 대한 처리가 필요하다.

🛠️ 과제 목표: 잘못된 메모리에 대한 접근을 막는 것 (= 주소 유효성 검사)

유효하지 않은 포인터들은 커널이나 실행 중인 다른 프로세스에게 해를 끼치지 않도록 문제가 되는 프로세스를 종료하고 자원을 해제해야 한다. 두 가지 방법이 있는데

1) 사용자가 전달한 포인터의 유효성을 확인한 후 참조 해제하는 것
: mmu.c 및 vaddr.h에 관련 함수가 제공됨

2) 사용자가 전달한 포인터가 KERN_BASE 아래를 가리키는지 확인 후 참조 해제하는 것
: 잘못된 포인터였다면 page fault를 일으키게 되고, 이는 page_fault()로 처리한다.
(일단 해당 과제에서 page_fault()에 대한 처리를 구현하진 않는다, 그러니 exit(-1)로 프로세스를 종료하도록 수정하자.)

해당 과제를 위한 함수 구현은 아래와 같다.

void check_address(void *addr)
{
    struct thread *current = thread_current();

    if (!is_user_vaddr(addr) || addr == NULL || pml4_get_page(current->pml4, addr) == NULL)
    {
        exit(-1);
    }
}