다락방

Page의 종류 Anonymous page(익명 페이지) 파일으로부터 매핑되지 않은, 커널로부터 할당된 페이지 File-backed page(파일 기반 페이지) 파일으로부터 매핑된 페이지 Anonymous Page 커널로부터 프로세스에게 할당된 일반적인 메모리 페이지이다. 즉, 익명 페이지는 힙을 거치지 않고 할당받은 메모리 공간이다.(힙도 익명 페이지이다. malloc, new같은 메모리 할당자는 익명 페이지에서 일부 메모리를 잘라 할당 받는것이다.) 익명이라는 뜻은 파일에 기반하고 있지 않은 페이지라는 뜻이다. 페이지가 파일에 매핑되어 있다면, 그 메모리는 파일 내용을 담고 있을 것이다. 하지만 익명 페이지는 파일에 매핑되어 있지 않았기 때문에 0으로 초기화된 값을 담고 있다. 프로세스가 mmap()..

Page Replacement Policy evict할 페이지를 고르는 여러가지 알고리즘 OPT(Belady’s Algorithm) 앞으로 가장 오랫동안 사용되지 않을 페이지를 빼는 알고리즘 page fault가 나면, 가장 나중에 참조될 페이지를 빼는 방식이다. 대신 이 방식은 어느 페이지가 참조될 지 알아야 한다는 단점이 있다. 대부분의 현실 컴퓨팅의 경우 미래에 어느 페이지가 참조될 지 아는 것은 불가능하다. 따라서 belady’s algorithm은 다른 알고리즘의 효율성을 따지는 평가기준으로 많이 쓰인다. FIFO 가장 먼저 들어온 페이지를 가장 먼저 빼는 알고리즘 가장 직관적이고 일반적인 방법이다. 하지만 이 알고리즘에는 치명적인 문제점이 있는데, 이를 belady’s anomaly라고 부른다..

운영체제 15. 페이징 : 더 빠른 변환(TLB) 변환 - 색인 버퍼(TLB : translation - lookaside buffer) MMU의 일부다. 자주 참조되는 가상 주소 - 실 주소 변환 정보를 저장하는 하드웨어 캐시다. 주소 - 변환 캐시(address translation cache)가 조금 더 적합한 명칭이다. 가상 메모리 참조 시, 하드웨어는 먼저 TLB에 원하는 변환 정보가 있는지를 확인한다. 만약 있다면 페이지 테이블(모든 변환 정보를 가지고 있다.) 를 통하지 않고 변환을 수행한다. 실질적으로 TLB는 페이징 성능을 엄청나게 향상시킨다. 15.1 TLB의 기본 알고리즘 하드웨어 부분의 알고리즘은 다음과 같이 동작한다. 먼저, 가상 주소에서 가상 페이지 번호(VPN : Virtual..