Pintos Project 3 한국어 설명서 (design report) - Virtual Memory, Frame table
- 최초 등록일
- 2024.06.15
- 최종 저작일
- 2023.11
- 45페이지/
어도비 PDF
- 가격 10,000원
![할인쿠폰받기](/images/v4/document/ico_det_coupon.gif)
소개글
pintos 3을 한국어로 쉽게 설명해놓은 design 보고서입니다.
방대한 파일의 코드들 중, 어느 부분을 어떻게 고쳐야 할지 관련 개념과 함께 설명되어 있습니다.
목차
0. Background
0.1. Memory
0.1.1. virtual memory
0.1.2. physical memory
0.2. pintos virtual memory
0.2.1. user virtual memory
0.2.2. Kernel virtual memory
0.2.3. page fault 발생 원인
0.3. memory allocation
0.3.1. page allocator
0.3.2. block allocator
0.4. hash table
0.5. paging
1. Frame Table
1.1. Meaning of Frame Table
1.2. Necessity of Frame Table
1.3. Current Implementation
1.4. New Implementation
2. Lazy loading
2.1. Meaning of Lazy Loading
2.2. Necessity of Lazy Loading
2.3. Current Implementation
2.4. New Implementation
3. Supplemental page table
3.1. Meaning of Supplemental Page Table
3.2. Necessity of Supplemental Page Table
3.3. Current Implementation
3.4. New Implementation
4. Stack growth
4.1. Meaning of Stack growth
4.2. Necessity of Stack growth
4.3. Current Implementation
4.4. New Implementation
5. File memory mapping
5.1. Meaning of File memory mapping
5.2. Necessity of File memory mapping
5.3. Current Implementation
5.4. New Implementation
6. Swap table
6.1. Meaning of Swapping
6.2. Necessity of Swap table
6.3. Current Implementation
6.4. New Implementation
7. On process termination
7.1. Necessity of On process termination
7.2. Current Implementation
7.3. New Implementation
본문내용
0. Background
1. Memory
31 12 11 0 31 12 11 0
+-------------------+-----------+ +-------------------+-----------+
| Page Number | Offset | | Frame Number | Offset |
+-------------------+-----------+ +-------------------+-----------+
Virtual Address Physical Address
virtual address (=page)
32-bit의 address = 20 bit의 frame number + 12 bit의 frame offset
physical address (=frame)
32-bit의 address = 20 bit의 frame number + 12 bit의 frame offset
1.1. virtual memory
virtual memory는 physical memory를 보조하는 개념
process가 필요한 data는 virtual memory에서 physical memory로 load해오고, 필요없는 data는 virtual memory (ex : disk) 에 저장함으로써 physical memory 공간 확보
각 process는 virtual address와 physical address 를 mapping하는 table을 가지고 있어 virtual address로 physical address를 찾아갈 수 있다.
virtual memory는 page의 형태로 disk에 저장되어 있으며, 필요할 때마다 physical memory로 swap in되어 사용된다.
참고 자료
없음