anon.c File Reference

#include "vm/vm.h"
#include "devices/disk.h"
#include "bitmap.h"
#include "threads/vaddr.h"

Include dependency graph for anon.c:

Functions
static bool	anon_swap_in (struct page *page, void *kva)
static bool	anon_swap_out (struct page *page)
static void	anon_destroy (struct page *page)
void	vm_anon_init (void)
bool	anon_initializer (struct page *page, enum vm_type type, void *kva)

Variables
static struct disk *	swap_disk
static const struct page_operations	anon_ops
struct bitmap *	swap_table
const size_t	SECTORS_PER_PAGE = PGSIZE / DISK_SECTOR_SIZE

Function Documentation

anon_destroy()

static void anon_destroy ( struct page *  page )

static

                                 {
    // 물리 메모리(프레임)가 존재하지 않는다면 anon 페이지 지정이 불가하므로 그냥 리턴한다.
    if(&page->frame != NULL)
        return;
    struct anon_page *anon_page = &page->anon;
}

anon_initializer()

bool anon_initializer	(	struct page *	page,
		enum vm_type	type,
		void *	kva
	)

                                                                   {
    /* Set up the handler */
    page->operations = &anon_ops;
 
    struct anon_page *anon_page = &page->anon;
 
    return true;
}

Here is the caller graph for this function:

anon_swap_in()

static bool anon_swap_in ( struct page *  page, void *  kva  )

static

                                            {
    struct anon_page *anon_page = &page->anon;
 
    int page_no = anon_page->swap_index;
 
    if (bitmap_test(swap_table, page_no) == false) {
        return false;
    }
 
    for (int i = 0; i < SECTORS_PER_PAGE; ++i) {
        disk_read(swap_disk, page_no * SECTORS_PER_PAGE + i, kva + DISK_SECTOR_SIZE * i);
    }
    bitmap_set(swap_table, page_no, false);
    return true;
}

Here is the call graph for this function:

anon_swap_out()

static bool anon_swap_out ( struct page *  page )

static

                                  {
    struct anon_page *anon_page = &page->anon;
 
    int page_no = bitmap_scan(swap_table, 0, 1, false);
 
    if (page_no == BITMAP_ERROR) {
        return false;
    }
 
    for (int i = 0; i < SECTORS_PER_PAGE; ++i) {
        disk_write(swap_disk, page_no * SECTORS_PER_PAGE + i, page->va + DISK_SECTOR_SIZE * i);
    }
    bitmap_set(swap_table, page_no, true);
 
    pml4_clear_page(thread_current()->pml4, page->va);
 
    anon_page->swap_index = page_no;
    page->frame = NULL; 
 
    return true;
}

Here is the call graph for this function:

vm_anon_init()

void vm_anon_init

(

void

)

                    {
    /* TODO: Set up the swap_disk. */
    swap_disk = disk_get(1, 1);
    size_t swap_size = disk_size(swap_disk) / SECTORS_PER_PAGE; // 8개의 disk sector  
    swap_table = bitmap_create(swap_size);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

anon_ops

const struct page_operations anon_ops

static

Initial value:

= {
    .swap_in = anon_swap_in,
    .swap_out = anon_swap_out,
    .destroy = anon_destroy,
    .type = VM_ANON,
}

SECTORS_PER_PAGE

const size_t SECTORS_PER_PAGE = PGSIZE / DISK_SECTOR_SIZE

swap_disk

struct disk* swap_disk

static

swap_table

struct bitmap* swap_table