[TIL] - 2023.06.14

📌  공부한 내용

페이지 테이블

• 가상 메모리에서 사용되는 중요한 데이터구조
• 운영 체제는 가상 메모리를 사용하여 물리적인 메모리를 관리하고, 프로세스 에게 가상 주소 공간을 제공한다
• 페이지 테이블은 가상 주소 공간과 물리적인 메모리 주소공간 간의 매핑을 관리하는데 사용된다.

페이지

64비트 가상주소의 마지막 12비트는 페이지 오프셋이고, 상위 비트들은 페이지 테이블의 인덱스를 표시한다.

프레임

물리 메모리상의 연속적인 영역. 페이지와 동일하게, 프레임은 페이지사이즈여야 하고 페이지 크기에 정렬되어 있어야 합니다. 64비트 물리주소는 프레임 넘버 와 프레임 오프셋 으로 나누어질 수 있습니다.

 

구현해야 할 것

• 보조 페이지 테이블
• 핵심 유저 → 페이지 폴트 핸들러, 프로젝트2에서 페이지 폴트는 항상 커널, 유저프로그램의 버그를 의미했다. 프로젝트3에서 페이지 폴트는 파일 또는 스왑 슬롯에서 페이지를 가져와야 한다는 사실을 의미한다.

프레임 테이블

스왑 테이블

구현 → 배열, 리스트, 비트맵, 해시 테이블 - 해시 테이블 제일 나을듯

페이지 폴트 핸들러

페이지 폴트 핸들러가 해야하는 일

1. 보조 페이지 테이블에서 폴트가 발생한 페이지를 찾는다.
2. 페이지를 저장하기 위해 프레임을 획득합니다.
3. 데이터를 파일 시스템이나 스왑에서 읽어오거나, 0으로 초기화
4. 폴트가 발생한 가상주소에 대한 페이지 테이블 엔트리가 물리 페이지를 가리키도록 지정합니다. mmu.c의 함수를 사용

Memory management

구현해야 할 코드

void supplemental_page_table_init (struct supplemental_page_table *spt);

→ 보조 페이지 테이블을 초기화하함. 여기서 보조 페이지 테이블을 어떤 자료 구조로 할지 정해야 한다. (배열, 리스트, 해시 테이블)

struct page *spt_find_page (struct supplemental_page_table *spt, void *va);

 

→ 인자로 넘겨진 보조 페이지 테이블에서로부터 가상 주소와 대응되는 페이지 구조체를 찾아서 반환합니다. 실패 했을 경우 NULL

bool spt_insert_page (struct supplemental_page_table *spt, struct page *page);

→ 인자로 주어진 보조 페이지 테이블에 페이지 구조체를 삽입합니다.

---

Frame Management

static struct frame *vm_get_frame (void);

→ 위의 함수는 palloc_get_page 함수를 호출함으로써 당신의 메모리 풀에서 새로운 물리메모리 페이지를 가져옵니다. 유저 메모리 풀에서 페이지를 성공적으로 가져오면, 프레임을 할당하고 프레임 구조체의 멤버들을 초기화한 후 해당 프레임을 반환합니다. 당신이 frame *vm_get_frame 함수를 구현한 후에는 모든 유저 공간 페이지들을 이 함수를 통해 할당해야 합니다.

bool vm_do_claim_page (struct page *page);

→ 위 함수는 인자로 주어진 page에 물리 메모리 프레임을 할당합니다. 당신은 먼저 vm_get_frame 함수를 호출함으로써 프레임 하나를 얻습니다(이 부분은 스켈레톤 코드에 구현되어 있습니다). 그 이후 당신은 MMU를 세팅해야 하는데, 이는 가상 주소와 물리 주소를 매핑한 정보를 페이지 테이블에 추가해야 한다는 것을 의미합니다. 위의 함수는 앞에서 말한 연산이 성공적으로 수행되었을 경우에 true를 반환하고 그렇지 않을 경우에 false를 반환합니다.

bool vm_claim_page (void *va);

→ 위 함수는 인자로 주어진 va에 페이지를 할당하고, 해당 페이지에 프레임을 할당합니다. 당신은 우선 한 페이지를 얻어야 하고 그 이후에 해당 페이지를 인자로 갖는 vm_do_claim_page라는 함수를 호출해야 합니다.

---

 

💭  느낀 점 & 배운 점

 

할게 산더미다.. 바쁘다 바빠 현대사회

---

 

🔥  내일 공부할 내용

 

- swap table

 

 

---

 

🗒️  포스팅

 

https://spongecake.tistory.com/122

[OS] - Virtual Memory - (ing)

 

「 모든 것이 우리의 판단에 달렸다. 그리고 판단할 수 있는 능력은 우리에게 있다. 성급한 판단을 하지 않는다면, 우리는 암초를 돌아서  먼 바다로 나아가는 배처럼 잔잔한 물결과 좋은 날씨, 그리고 안전한 항구를 찾을 수 있다. 」

-마르쿠스 아우렐리우스, 명상록, 12.22

 

덕이 있는 사람은 이렇게 판단한다. "사고는 일어날 수 있으며 그가 잘못을 모를수도 있다. 만약 알고 있다면 다시 일어나지 않을 것이다." 악의적인 추측과 성급한 판단은 인내와 관용을 발휘하기 어렵게 한다. 신중해야 할 때 우리는 아우렐리우스가 말한 완전한 평온을 발견할 수 있다.

「 철학자의 임무는 인간의 의지와 일어나는 사건이 조화를 이루도록 전환시키는 것이네. 그렇게 함으로써 우리 의지에 반하여 일어나는 것이 없게되고, 희망하지 않는 것 또한 일어나지 않게 되는 법이지.  」

-에픽테토스, 대화록, 2.14.7

 

인간의 현존은 언제나 불안정하다. 뜻대로 되지 않는다고 해서 분노에 사로잡히는 것만큼 어리석은 일은 없다. 세상에 의지를 관철시키는 방법은 세상과 맞서는 것이 아니라 세상의 흐름을 타는 것이다. 그것도 느긋하게.

 

 

---