건빵의 블로그

Virtual Memory(가상 메모리) 기법은 사용자의 logical memory와 physical memory를 분리하기 위한 기술이다. 이를 이용하여 Logical address space가 physical address space보다 커지는 것을 가능하도록 한다. 이러한 virtual memory는 Demand paging이라는 기법을 이용하여 구현된다. Demand paging은 실제로 필요한 page만 메모리로 가져오는 것이다. 앞에서 언급했던 paging 기법에서는 프로세스의 메모리 공간을 다 할당해야 했기 때문에 사용되지 않는 부분까지 가져오는 불합리성이 있었는데 여기에서는 그 단점을 없앤다. 이것은 page table에 추가 엔트리를 부여하여 구현된다. valid bit라는 것을 두고 실..