Paging Ledger

페이지 테이블 항목

프로세스는 연속된 가상 주소를 보지만, OS는 페이지별로 프레임, 권한, backing store를 따로 관리합니다.

자원 장부

page

프로세스별 번호 공간이며 연속처럼 보입니다.

frame

빈 프레임이면 어떤 페이지든 바로 배치합니다.

store

유효하지 않은 페이지는 파일 또는 스왑에서 찾습니다.

프레임 번호와 오프셋으로 물리 주소를 만듭니다.

할당 범위 안이면 페이지 폴트로 적재합니다.

R/W/X가 맞지 않으면 보호 트랩으로 넘어갑니다.

여러 PTE가 같은 프레임을 가리킬 수 있습니다.

교체 전에 backing store로 써야 합니다.

프로세스 주소 공간 밖이면 접근 오류입니다.

핵심 효과

프레임 크기를 고정했기 때문에 외부 단편화는 사라지고, 남는 비용은 페이지 테이블 크기와 최대 한 페이지 미만의 내부 단편화로 바뀝니다.