Jerry의 컴퓨터 일기

✨가상 메모리 시스템 초기화 paging_init() 함수는 PintOS의 커널 페이징 시스템을 초기화 하는 역할을 한다. 간단하게 paging_init() 함수에 대해서 알아보자.  paging_init() 물리 메모리 영역 전체 (0 ~ mem_end)를 커널의 가상 메모리 주소 공간(KERN_BASE ~KERN_BASE + mem_end)에 1대1 매핑커널 텍스트 영역 (start ~ _end_kernel_text) 까지를 읽기 전용으로 설정하여 보호static void paging_init(uint64_t mem_end) { uint64_t *pml4, *pte; int perm; pml4 = base_pml4 = palloc_get_page(PAL_ASSERT | PAL_ZERO..

Anonymous Page까지 구현을 하고,make check를 돌려보았지만, read-boundary의 테스트 케이스가 통과하지를 못했다. 디버깅을 돌려보니 check_address 함수 내에 pml4_get_page 부분이 자꾸 터지는 것을 보았다. 이 부분에 대해 나와 비슷한 문제를 겪는 사람들이 있어서 이 부분에 대해서 포스팅을 해본다 ! 먼저 테스트 파일들을 확인해보자. Test Case : read-boundary.c 파일buffer = get_boundary_area () - sizeof sample / 2;byte_cnt = read (handle, buffer, sizeof sample - 1);get_boundary_area 함수는 페이지의 경계 값을 가져옴sample.txt 파일 전체..