공부기록/OS

Page Type 페이지 타입은 크게 두 가지로 나뉜다. 익명 페이지(Anomymous page)와 파일 기반(File backed page) 페이지로 나뉘는데, 차이는 디스크 안에 있는 파일이 매핑된 페이지인지 아닌지의 여부로 나뉜다. Zero & Eviction Zero 익명 페이지는 페이지를 물리 메모리를 할당할 때 반드시 내용물을 0으로 초기화해주어야 하고, 파일 기반 페이지는 그럴 필요가 없다. Q 왜 메모리를 지워야 하는가? A 메모리는 여러 프로세스 간에 global하게 shared되는데, 만약 내용물을 지우지 않는다면 다른 프로세스의 메모리 내역을 보게 될 수 있다. 이는 OS의 기본 원칙인 isolation을 위반한다. 따라서 페이지 할당 시 다음과 같은 상황이 발생한다. No 주체 벌어..

Virtual Memory: Types segemtation :: 가변 크기 page :: 고정 크기 Segmentation 주소 공간을 가변 크기로 할당하자 배경 동적 재배치(dynamic relocation / base-bound relocation)는 베이스 레지스터(base register)와 가상 주소(virtual address)를 더해 생성한 주소가 바운드(bound) 내에 있는지 확인하며 물리 메모리 주소를 배치하는 형태의 가상화이다. 그러나 이 방법은 연속적인 가상 주소를 그대로 물리 메모리에 연속적으로 할당하는데, 이 와중 스택과 힙 사이의 공간이 물리적으로 할당되지만 실제 사용되지는 않는 영역이 발생한다는 문제점이 있다. 즉, 내부 단편화가 발생한다. 이를 극복하기 위해 segment..

권영진 교수님의 OS 특강 을 기반으로 정리 및 진행하되, 가상 메모리 중심으로 정리. 정글 키워드 [더보기] 더보기 [ Index ] Jungle keyword Virtual memory management paging virtual page physical frame page table & supplementary page table Memory Management Unit (MMU) Translation Lookaside Buffer (TLB) Page type Uninitialized page Lazy initialization Anonymous page stack growth file-backed page mmap syscall Swap in/out page replacement policy s..