CS/운영체제

가상메모리 (캐싱)
출처 : KMOOC / 운영체제 / 이화여대 반효경 교수님 페이지들 중 일부를 속도가 더 빠른 main memory에 저장하고 나머지는 backing storage에 저장하는 것도 일종의 caching. 실제로는 LRU LFU 사용 불가능. 왜? page fault가 일어나지 않았을 때 페이지 접근에 OS가 전혀 관여를 안함. 순수한 HW 작업. 0은 최근에 사용하지 않은 페이지라는 뜻 1은 최근에 사용된 페이지라는 뜻 빈 페이지가 없어서 페이지 하나를 쫓아내야 한다고 하자. 시곗바늘을 돌리면서 reference bit 체크한다. 1을 만난다 $\rightarrow$ reference bit 0으로 바꾸고 넘어간다 0을 만난다 $\rightarrow$ 가장 오래전에 사용한 페이지는 아닐 확률이 높지만 적..

가상메모리
출처 : KMOOC / 운영체제 / 이화여대 반효경 교수님 실제로 대부분의 OS는 Paging 기법을 사용. 이제부터는 Paging 기법을 사용한다고 가정. 1, 3, 4 페이지는 물리 메모리에 올라가 있지 않아서 i 6, 7 페이지는 사용하지 않는 주소라서 i 1번 페이지 요구했는데 i page falut trap 걸리고 OS가 ISR에 따라 처리 1. 먼저 범위 밖의 주소거나 사용하지 않는 주소거나 이런 건 아닌지 확인 2. page frame 얻어온다 3. disk read. page table의 valid bit v로 변환. 4. 나중에 CPU 다시 얻으면 접근 가능 page fault는 오버헤드가 엄청 큰 작업 하지만 실제로는 page falult 거의 안일어남 Page Replacement 빈..