vm.h File Reference

#include <stdbool.h>
#include "threads/palloc.h"
#include <hash.h>
#include "vm/uninit.h"
#include "vm/anon.h"
#include "vm/file.h"
#include "threads/thread.h"

Include dependency graph for vm.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	page
struct	frame
struct	page_operations
struct	supplemental_page_table

Macros
#define	VM_TYPE(type)   ((type) & 7)
#define	swap_in(page, v)   (page)->operations->swap_in ((page), v)
#define	swap_out(page)   (page)->operations->swap_out (page)
#define	destroy(page)    if ((page)->operations->destroy) (page)->operations->destroy (page)
#define	vm_alloc_page(type, upage, writable)    vm_alloc_page_with_initializer ((type), (upage), (writable), NULL, NULL)

Enumerations
enum	vm_type {   VM_UNINIT = 0 , VM_ANON = 1 , VM_FILE = 2 , VM_PAGE_CACHE = 3 ,   VM_MARKER_0 = (1 << 3) , VM_MARKER_1 = (1 << 4) , VM_MARKER_END = (1 << 31) }

Functions
void	supplemental_page_table_init (struct supplemental_page_table *spt)
bool	supplemental_page_table_copy (struct supplemental_page_table *dst, struct supplemental_page_table *src)
void	supplemental_page_table_kill (struct supplemental_page_table *spt)
struct page *	spt_find_page (struct supplemental_page_table *spt, void *va)
bool	spt_insert_page (struct supplemental_page_table *spt, struct page *page)
void	spt_remove_page (struct supplemental_page_table *spt, struct page *page)
void	vm_init (void)
bool	vm_try_handle_fault (struct intr_frame *f, void *addr, bool user, bool write, bool not_present)
bool	vm_alloc_page_with_initializer (enum vm_type type, void *upage, bool writable, vm_initializer *init, void *aux)
void	vm_dealloc_page (struct page *page)
bool	vm_claim_page (void *va)
enum vm_type	page_get_type (struct page *page)

Macro Definition Documentation

destroy

#define destroy

(

page

)

if ((page)->operations->destroy) (page)->operations->destroy (page)

swap_in

#define swap_in	(		page,
			v
	)		(page)->operations->swap_in ((page), v)

swap_out

#define swap_out

(

page

)

(page)->operations->swap_out (page)

vm_alloc_page

#define vm_alloc_page	(		type,
			upage,
			writable
	)		vm_alloc_page_with_initializer ((type), (upage), (writable), NULL, NULL)

VM_TYPE

#define VM_TYPE

(

type

)

((type) & 7)

Enumeration Type Documentation

vm_type

enum vm_type

Enumerator
VM_UNINIT
VM_ANON
VM_FILE
VM_PAGE_CACHE
VM_MARKER_0
VM_MARKER_1
VM_MARKER_END

             {
    /* page not initialized */
    /* uninit.c */
    VM_UNINIT = 0,
    /* page not related to the file, aka anonymous page */
    /* anon.c */
    VM_ANON = 1,
    /* page that realated to the file */
    /* file.c */
    VM_FILE = 2,
    /* page that hold the page cache, for project 4 */
    /* 프로젝트 4에서 다룰 것 */
    VM_PAGE_CACHE = 3,
 
    /* Bit flags to store state */
 
    /* Auxillary bit flag marker for store information. You can add more
     * markers, until the value is fit in the int. */
    VM_MARKER_0 = (1 << 3),
    VM_MARKER_1 = (1 << 4),
 
    /* DO NOT EXCEED THIS VALUE. */
    VM_MARKER_END = (1 << 31),
};

Function Documentation

page_get_type()

enum vm_type page_get_type

(

struct page *

page

)

                                  {
    int ty = VM_TYPE (page->operations->type);
    switch (ty) {
        case VM_UNINIT:
            return VM_TYPE (page->uninit.type);
        default:
            return ty;
    }
}

Here is the caller graph for this function:

spt_find_page()

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

Here is the caller graph for this function:

spt_insert_page()

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

spt_remove_page()

void spt_remove_page	(	struct supplemental_page_table *	spt,
		struct page *	page
	)

                                                                         {
    vm_dealloc_page (page);
    return true;
}

Here is the call graph for this function:

supplemental_page_table_copy()

bool supplemental_page_table_copy	(	struct supplemental_page_table *	dst,
		struct supplemental_page_table *	src
	)

Here is the caller graph for this function:

supplemental_page_table_init()

void supplemental_page_table_init

(

struct supplemental_page_table *

spt

)

Here is the caller graph for this function:

supplemental_page_table_kill()

void supplemental_page_table_kill

(

struct supplemental_page_table *

spt

)

Here is the caller graph for this function:

vm_alloc_page_with_initializer()

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) // vm_type은 VM_ANON과 VM_FILE만 가능하다.
 
    struct supplemental_page_table *spt = &thread_current ()->spt;
 
    /* Check wheter the upage is already occupied or not. */
    if (spt_find_page (spt, upage) == NULL) {
    // ↳ upage라는 가상 메모리에 매핑되는 페이지 존재 x -> 새로 만들어야함
        /* 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를 호출한 후 필드를 수정해야 함*/
        /*-------------------------[P3]Anonoymous page---------------------------------*/
        struct page* pg = calloc(1, sizeof(struct page)); // ! malloc -> calloc
 
        // 페이지 타입에 따라 initializer가 될 초기화 함수를 매칭해준다.
        typedef bool (*initializer_by_type)(struct page *, enum vm_type, void *);
        initializer_by_type initializer = NULL;
 
        if(VM_TYPE(type) == VM_ANON)
            initializer = anon_initializer;
        else if(VM_TYPE(type) == VM_FILE)
            initializer = file_backed_initializer;
        
        uninit_new(pg, upage, init, type, aux, initializer); // UNINIT 페이지 생성
        // ↳ page를 uninit으로 만들어서 spt에 올려두는 과정(실제 type을 올림)
        // page 구조체의 pg,upage: 주소, init: lazy_load, type: 타입, initializer: 타입에 따른 함수(anon_initializer 또는 file_backed_initializer)
 
        /* TODO: Insert the page into the spt. */
        pg->writable = writable;
        spt_insert_page(spt, pg);
        return true;
        /*-------------------------[P3]Anonoymous page---------------------------------*/
    }
err:
    return false;
}

Here is the call graph for this function:

Here is the caller graph for this function:

vm_claim_page()

bool vm_claim_page

(

void *

va

)

vm_dealloc_page()

void vm_dealloc_page

(

struct page *

page

)

                                    {
    destroy (page);
    free (page);
}

Here is the call graph for this function:

Here is the caller graph for this function:

vm_init()

void vm_init

(

void

)

               {
    vm_anon_init ();
    vm_file_init ();
#ifdef EFILESYS  /* For project 4 */
    pagecache_init ();
#endif
    register_inspect_intr ();
    /* DO NOT MODIFY UPPER LINES. */
    /* TODO: Your code goes here. */
    list_init(&frame_table); // frame_table에 대한 초기화
}

Here is the call graph for this function:

Here is the caller graph for this function:

vm_try_handle_fault()

bool vm_try_handle_fault	(	struct intr_frame *	f,
		void *	addr,
		bool	user,
		bool	write,
		bool	not_present
	)

Here is the caller graph for this function: