크래프톤 정글 WEEK10 DAY 81 - PintOS Project3 - Anonymous Page

📆2024.03.28

1.  Anonymous Page 구현 중
2. 백준
3. 티타임

 

spt_find_page 수정

 

Management Memory 구현했던 부분 찬찬히 깃북이랑 다시 읽어보다가 어제 구현한 spt_find_page 부분을 잘못 구현한 점을 찾아서 수정하였다. (사실 아직 맞는지 확인할 방법이 없음)

 

기존에는 struct page *page = NULL;

그대로 설정해뒀는데 이 상태로 하면 페이지 구조체가 할당되지 않은 상태에서 해당 페이지의 va의 인자로 받은 va를 넘길 수 없기 때문이다.

그래서 malloc()을 통해 새로운 페이지 구조체를 할당해서 포인터를 사용할 수 있도록 수정해주었고, free(page) 또한 추가해주었다.

해당 페이지를 찾았을 때에도 페이지를 반환하기 전에 메모리를 해제하는 건지는 정확하게 잘 모르겠다.(긴가민가.. gpt가 맞는지...)

 

수정 코드

struct page *
spt_find_page (struct supplemental_page_table *spt UNUSED, void *va UNUSED) {
	struct page *page = malloc(sizeof(struct page));
	struct hash_elem *e;
	if(page == NULL){
		return NULL;
	}

	page->va = pg_round_down(va);
	e = hash_find(&spt->hash_table, &page->hash_elem);
	
	if(e != NULL){
		struct page *found_page =  hash_entry(e, struct page, hash_elem);
		free(page);
		return found_page;
	}
	else{
		free(page);
		return NULL;
	}
}

 

Anonymous Page

Anonymous Page를 구현하기 위해 가장 먼저 구현해야하는 부분은  vm_alloc_page_with_initializer이다.

 

이 함수는 아무것도 담겨있지 않은 페이지를 하나 새롭게 할당한 뒤, 해당 페이지를 초기화하고 spt에 넣어준다.

bool
vm_alloc_page_with_initializer (enum vm_type type, void *upage, bool writable,
		vm_initializer *init, void *aux) {

	ASSERT (VM_TYPE(type) != VM_UNINIT)

	struct supplemental_page_table *spt = &thread_current ()->spt;

	/* Check wheter the upage is already occupied or not. */
	/* 'upage'가 이미 사용중인지 여부를 확인한다.*/
	if (spt_find_page (spt, upage) == NULL) {
		/* TODO: Create the page, fetch the initialier according to the VM type,
		 * TODO: and then create "uninit" page struct by calling uninit_new. You
		 * TODO: should modify the field after calling the uninit_new. */
		/* 페이지를 만들고 VM 유형에 따라 이니셜라이저를 가져와서
		 * uninit_new를 호출하여 "uninit" 페이지 구조체를 만듭니다.
		 * uninit_new를 호출한 후에 필드를 수정해야 합니다. */

		struct page *page = malloc(sizeof(struct page));
		if(page == NULL){
			return NULL;
		}

		page_initializer new_initializer = NULL;
		switch(VM_TYPE(type)){
			case VM_ANON:
				new_initializer = anon_initializer;
				break;
			case VM_FILE:
				new_initializer = file_backed_initializer;
				break;
		}
		if(new_initializer == NULL){
			free(page);
			return false;
		}

		uninit_new(page, upage, init, type, aux, new_initializer);

		/* TODO: Insert the page into the spt. */
		/* 할일: 페이지를 spt에 삽입합니다. */
		return spt_insert_page(spt, page);
	}
err:
	return false;
}

 

 

lazy_loading을 위한 중요한 함수들이다.

static bool
load_segment (struct file *file, off_t ofs, uint8_t *upage,
		uint32_t read_bytes, uint32_t zero_bytes, bool writable) {
	ASSERT ((read_bytes + zero_bytes) % PGSIZE == 0);
	ASSERT (pg_ofs (upage) == 0);
	ASSERT (ofs % PGSIZE == 0);

	while (read_bytes > 0 || zero_bytes > 0) {
		/* Do calculate how to fill this page.
		 * We will read PAGE_READ_BYTES bytes from FILE
		 * and zero the final PAGE_ZERO_BYTES bytes. */
		/* 이 페이지를 채우는 방법을 계산하세요.
		   FILE에서 PAGE_READ_BYTES 바이트를 읽고
		   최종 PAGE_ZERO_BYTES 바이트를 0으로 합니다. */
		size_t page_read_bytes = read_bytes < PGSIZE ? read_bytes : PGSIZE;
		size_t page_zero_bytes = PGSIZE - page_read_bytes;

		/* TODO: Set up aux to pass information to the lazy_load_segment. */
		/* lazy_load_segment에 정보를 전달하도록 aux를 설정합니다.*/
		void *aux = NULL;
		aux = (file, page_read_bytes, page_zero_bytes);
		if (!vm_alloc_page_with_initializer (VM_ANON, upage,
					writable, lazy_load_segment, aux))
			return false;

		/* Advance. */
		read_bytes -= page_read_bytes;
		zero_bytes -= page_zero_bytes;
		upage += PGSIZE;
	}
	return true;
}

 

여기서 lazy_load_segment에 정보를 전달할 aux를 설정해줘야하는데,

이 aux에는 (file, page_read_bytes, page_zero_bytes)가 들어가야한다.

 

그리고 투포인터를 사용해서 lazy_load_segment에서 사용하면 된다.

static bool
lazy_load_segment (struct page *page, void *aux) {
	/* TODO: Load the segment from the file */
	/* TODO: This called when the first page fault occurs on address VA. */
	/* TODO: VA is available when calling this function. */
	/* 1. 파일에서 세그먼트를 로드합니다.
	   2. 주소 VA에서 첫 번째 페이지 오류가 발생하면 호출됩니다. 
	   3. 이 함수를 호출할 때 VA를 사용할 수 있다.*/

	struct file * file = ((void **)aux)[0];
	size_t page_read_bytes = ((size_t **)aux)[1];
	size_t page_zero_bytes = ((size_t **)aux)[2];

	/* Get a page of memory. */
	uint8_t *kpage = palloc_get_page (PAL_USER);
	if (kpage == NULL)
		return false;

	/* Load this page. */
	if (file_read (file, kpage, page_read_bytes) != (int) page_read_bytes) {
		palloc_free_page (kpage);
		return false;
	}
	memset (kpage + page_read_bytes, 0, page_zero_bytes);

	return true;
}

 

 

백준 7568 덩치

 

import sys
input = sys.stdin.readline

N = int(input())
people = []
rank = [1] * N
for _ in range(N):
    x,y = map(int,input().split())
    people.append((x,y))
    
for i in range(N):
    for j in range(N):
        if i == j:
            continue
        if people[i][0] < people[j][0] and people[i][1] < people[j][1]:
            rank[i] +=1

for r in rank:
    print(r, end=" ")

 

출력값이 1위와 5위의 순서가 바뀌어서 나와서 (2 2 5 2 1 ) 확인해보니 부등호를 반대로 설정해줬어서 그랬다.

부등호를 다시 설정해주니 출력값이 제대로 나왔다.