불연속 메모리 관리 (가상 메모리 관리)

연속 메모리 할당의 두 가지 문제점

• 외부 단편화
• 물리 메모리보다 큰 프로세스 실행 불가

→ 하나의 프로그램인데도 서로 다른 주소 공간에 할당 가능하도록 하는 불연속 메모리 관리

외부 단편화 해결 1: 메모리 압축 (compaction)

• 흩어져 있는 빈 공간들을 하나로 모으는 방식

외부 단편화 해결 2: 가상 메모리 기법, 페이징

가상 메모리

• 실행하고자 하는 프로그램을 일부만 메모리에 적재하여 실제 물리 메모리보다 큰 프로세스를 실행할 수 있게 하는 기술

가상 주소 공간

Demand paging (요구 페이징) ⭐️

페이지를 메모리로 언제 올릴 것인가? → 요청(demand)할 때만.

1단계: CPU가 특정 페이지에 접근하는 명령어 실행

2단계: 어떤 페이지들은 in memory, 어떤 페이지는 secondary storage에 있을 것.

→ 이 두가지를 구분하려면? valid-invalid bit를 사용한다

• 2-1. valid bit가 1인 경우 → page는 in memory
• 2-2. valid bit가 0인 경우 → secondary storage에 존재 or page fault

3단계: 판단 후 CPU는?