목표 이전의 pintos는 fork할 때 부모가 메모리가 할당된 page에 대해서 자식에게 복사할 때 같은 내용의 물리메모리를 자식에게도 할당 해주었다. 이처럼 같은 메모리가 두번 복사되는 것은 메모리 낭비이다. 그렇기 fork시에 자식과 부모가 같은 물리 메모리를 가리키게 하고 해당 페이지에 write 요청이 발생하면 새로운 물리메모리를 할당하여 주도록 수정한다. 💡 fork 시 물리메모리를 모두 복사하지 않고 부모와 같은 물리메모리를 공유하다가 write작업 시 해당 페이지의 물리메모리를 새로 맵핑한다. COPY시 코드 수정 fork시에 page와 frame은 복사본은 자식에게 주지만 frame에 있는 kva에는 부모와 자식이 같은 곳을 가리고 있다. bool supplemental_page_tabl..

테스트 케이스는 통과되나 다른 테스트 케이스에서 터질 가능성이 있는 코드입니다. 참고만 해주세요 목표 이번에는 Anonymous Memory가 아닌 File-Backed memory, 다시 말해 Memory Mapped Page에 대해 구현해보도록 한다. File-Backed page File-Backed page는 파일에 기반한 맵핑을 한다. 안에 내용은 디스크에서 존재하고 있는 파일을 복사한 것이다. page fault가 발생하면 바로 물리 프레임을 할당하고 파일의 데이터를 물리 메모리에 복사한다. 이때 I/O를 통해 데이터를 복사하는 것이 아닌 DMA 방식으로 디스크에서 파일을 복사한다. 이 때 유저 가상 페이지를 미리 가상주소 공간에 할당 해주는 것이 mmap이고 페이지와 물리 메모리가 연결된 경..

목표 이제까지의 pintos의 stack 단일 페이지 stack으로 되어있었다. 이러한 스택을 적절한 page fault에서 stack을 추가로 할당하는 작업을 구현하는 것이 목표이다. vm_try_handle_fault 수정 if (page == NULL) { struct thread *current_thread = thread_current(); void *stack_bottom = pg_round_down(thread_current()->user_rsp); if (write && (addr >= pg_round_down(thread_current()->user_rsp - PGSIZE)) && (addr < USER_STACK)) { vm_stack_growth(addr); return true; }..

Anonymous page 파일으로부터 매핑되지 않은, 커널로부터 할당된 페이지를 뜻한다. 익명 페이지는 힙을 거치지 않고 할당받은 메모리 공간 스택, 힙과 같은 실행 파일에서 사용됨 Lazy Loading(Demanding Paging) lazy loading은 메모리 로딩이 필요한 시점까지 지연되는 디자인 가상 page만 할당해두고 필요한 page를 요청하면 page fault가 발생하고 해당 page를 type에 맞게 초기화하고 frame과 연결하고 userprogram으로 제어권을 넘긴다. 지연로딩 순서 커널이 새 page를 요청하면 vm_alloc_page_with_initializer 호출 initializer는 페이지 구조를 할당하고 페이지 type에 따라 적절한 initalizer를 할당하..

1, 2 주차 pintos는 노션에만 대충 정리하여 블로그에 올릴 내용이 아닌듯하여 3주 차부터 올리려고 한다. 많은 정글 동료, 선배들이 좋은 내용을 많이 블로그에 작성해두었으니 부족한 내용은 좀 더 찾아보면 도움이 될 것이다. 기존 pintos 메모리 문제점 PML4를 가진 기존의 핀토스는 가상 메모리와 물리 메모리가 바로 맵핑되어 있다. 기존 핀토스 메모리 탑재 과정 각 세그멘트(stack, Data, BSS, Code)가 물리페이지에 탑재 heap 제외(pintos에는 heap이 없음) 이 페이지 테이블에 맵핑된 물리주소는 다른 프로세스와 같은 곳을 가리킬 수 있고 이럴 때 page fault가 된다. 그리고 한번 맵핑되면 물리메모리에서 항상 공간을 차지하기에 효율적인 메모리 관리가 되지 않는다...

6주 차의 과제 malloc-lab 구현을 하기 위해 필요한 개념과 implicit 가용 리스트 구현 코드에 대해서 정리하는 글이다. 모든 글의 자세한 내용은 컴퓨터 시스템 책에 나와있으니 자세한 내용이 궁금하다면 책을 참고하기 바란다. 1. 동적 메모리 할당이 필요한 이유 & 알아야 하는 이유 이번 과제를 간단히 생각해서 동적 메모리 할당기를 만든다고 생각하면 된다. 이걸 만들기 앞서 왜 만들어야하는지 이유를 알아보자 만약 동적 메모리 할당 없이 정적으로만 메모리 할당이 가능하다면 어떤 일이 일어날까?? 일단 항상 필요한 메모리를 알아야 할 것이다. 100개의 숫자를 저장하는 배열이 필요하면 100개짜리 배열을 만들면 된다. 이때 100개가 아닌 1000개로 늘어나면 다시 배열을 1000개로 늘려야 할..

6주 차 주제 malloc-lab malloc-lab 6주 차의 주제는 malloc-lab이다. c언어를 조금 공부해본 사람은 malloc이라는 함수를 알 것이다. c언어에서 동적으로 메모리를 할당하기 위해서 필요하고 사용하지 않는 메모리는 free()라는 함수를 사용하여 할당된 메모리를 반환하여 준다. 이 동적메모리 할당에 꼭 필요한 이 함수를 직접 구현하는 것이 이번 주의 목표이다. malloc 함수가 실행되면 어떻게 메모리를 할당하고 그 할당하기 위한 과정이 무엇이며 heap에 어떤 방식으로 저장하고 free를 하면 어떠한 것을 해주는지를 알아가고 있다. 그저 있는 함수를 사용할 때는 쓰기만 하면 되었는데 이것을 c언어로 구현하려니 쉽지가 않았다. 책을 보고 동작원리를 안다고 해서 코드로 작성할 수..

RB트리 시물레이션 사이트 - 이 사이트를 사용하면서 삽입을 구현하면 조금 더 쉬울 것이다. https://www.cs.usfca.edu/~galles/visualization/RedBlack.html Red/Black Tree Visualization www.cs.usfca.edu RB트리 삽입 RB트리의 insert는 BST의 insert와 매우 유사하다. 다만 RB트리의 특성을 유지하기 위해 몇 가지 작업이 더 들어가게 된다. insert를 하기 위해서 아래와 같은 함수들이 필요하다. insert(T, z) - 이진트리의 insert와 유사 left_rotate(T, x) - x를 중심으로 왼쪽 회전 right_rotate(T,x) - x를 중심으로 오른쪽 회전 insert_fixup(T,z) - ..