Stack Growth 프로젝트 2에서 스택은 USER_STACK에서 시작하는 단일 페이지(4KB) =였으나, 프로젝트 3에서 스택은 현재 크기를 초과하면 필요에 따라 추가 페이지를 할당한다! Stack Growth 개념은 이해했으나 구현에 벅찼지만, 뛰어난 동료 덕분에 구현을 마치고 이해할 수 있었다. Page Fault 시, 스택 포인터 Stack Growth를 수행하기 전에 현재 스택 포인터의 값을 얻어야 한다. System Call 또는 User Program에 의해 발생한 Page Fault 루틴에서 각각 syscall_hanler() 또는 page_fault()에 전달된 struct intr_frame의 rsp 멤버에서 검색할 수 있다. 또한, Page Fault로 잘못된 메모리 접근을 감지하..

보조 페이지 테이블의 복사 fork가 발생할 시, 보조 페이지 테이블의 복사를 수행해주어야 한다. process.c의 __do_fork()에서 supplemental_page_table_copy()를 호출하면서 보조 페이지 테이블의 복사를 수행한다. 우리는 이 함수를 구현해야 한다. 보조 페이지 테이블을 복사하는 이유는 다음과 같다. 프로세스가 fork() 시스템 콜을 통해 자식 프로세스를 생성할 때, 부모 프로세스의 가상 메모리 공간을 자식 프로세스로 복사해야 한다. 메모리 보호: 가상 메모리 공간의 복제와 공유를 통해 프로세스 간에 안전한 메모리 보호를 제공할 수 있다. supplemental_page_table_copy() 함수는 필요한 권한과 제약 조건을 유지하면서 보조 페이지 테이블을 복사하여 ..

회고 매일 늦게 자서 그런가. 컨디션이 굉장히 좋지 않다. 그래도 열심히 하는 수 밖에. 이틀 동안 많은 것을 이루었다. Stack Growth와 mmap을 구현했다. 컨디션이 좋지 않았지만 팀원들과 계속 머리를 맞대고 고민하며 구현했다. 확실히 Pint OS를 수행하며 느끼는 것은 어렵지만 할 만 하다는 것이다. 처음에는 너무 방대하고 낯설게만 느껴졌지만, OS라는 하나의 거대한 프로젝트를 제 손으로 구현하며 마무리했을 때, 거대했던 하나의 과제를 클리어함으로써 스스로에게 자신감을 가질 수 있을 것이다. Stack Growth 프로젝트 2에서 스택은 USER_STACK에서 시작하는 단일 페이지(4KB) =였으나, 프로젝트 3에서 스택은 현재 크기를 초과하면 필요에 따라 추가 페이지를 할당한다! Stac..

in Pint OS 기존의 Pint OS는 Eager loading(Immediate loading) 방식이다. Eager loading은 데이터나 자원을 가능한 빠른 시점에서 로드하는 방식을 의미한다. 즉, 필요한 자원을 처음으로 요청하기 전에 미리 load하여 사용 가능한 상태로 준비하는 것의 의미한다. Pint OS의 Project 3 - Anonymous Page 파트에서는 이 Eager loading 방식을 Lazy loading 방식으로 바꿔주어야 한다. 따라서 Lazy loading 방식에 대해 공부하고 정리해보았다. Lazy loading의 구현은 userprog/process.c 에서 이루어진다. Lazy loading 지연 로딩. 프로그램이 필요한 데이터나 자원을 처음으로 요청할 때까지..

프로그램 실행 로직 initd() supplemental_page_table_init() process_exec() load() load_segment(): 파일 바이트를 페이지 단위로 나누고, 페이지마다 파일의 어느 영역을 읽어야 할지 설정 vm_alloc_page_with_inirializer(upage, lazy_load_segment): page 구조체 생성 및 할당(malloc), page 구조체와 유저 가상 주소(upage)를 매핑, page fault가 발생하면, lazy_load_segment()를 호출하도록 설정. uninit_new (new_page, upage, lazy_load_segment) spt_insert_page(): 보조 페이지 테이블 생성 및 page 데이터 입력 set..

회고 어제 새벽 3시까지 동료 코드를 봐주다가 잠들었다. 그리고 아침 7시에 운동을 다녀왔다. 죽을 것 같았지만, 편의점에서 1+1 행사 중인 에너지 음료를 마시고 힘을 낼 수 있었다. 가슴 운동을 열심히 했다. 오늘은 프로젝트 3의 두 번째 파트인 Anonymous Page를 구현했다. 깃북을 읽고 개념을 공부하고 구현에 들어갔다. 익명 페이지라는 개념이 생소해서 이해하기 어려웠다. 이 파트에서 주요 구현 이슈는 익명 페이지보다는 lazy loading이다. 필요 시점까지 메모리의 로딩을 지연시키는 방식이다. 기존의 핀토스는 프로그램 로드 시에 모든 정보를 메모리에 로딩하지만, 이 파트에서 lazy loading를 구현하면서 프로그램 실행 초기에 필요한 자원을 모두 로드하지 않고 필요한 시점에 로드하면..