#include <string.h>
#include <pager.h>
#include <vfs.h>
#include <process.h>
#include <frame.h>
#define ENT_FRAME_SHIFT 12
void pager_unmap(pager_t *p, size_t offset, size_t len);
// ========== //
// SWAP PAGER //
// ========== //
void swap_page_in(pager_t *p, size_t offset, size_t len);
void swap_page_out(pager_t *p, size_t offset, size_t len);
void swap_page_release(pager_t *p, size_t offset, size_t len);
bool swap_pager_resize(pager_t *p, size_t new_size);
pager_ops_t swap_pager_ops = {
.page_in = swap_page_in,
.page_commit = 0,
.page_out = swap_page_out,
.page_release = swap_page_release,
.resize = swap_pager_resize,
};
pager_t *new_swap_pager(size_t size) {
pager_t *p = (pager_t*)malloc(sizeof(pager_t));
if (p == 0) return 0;
p->pages = create_hashtbl(id_key_eq_fun, id_hash_fun, 0);
if (p->pages == 0) goto error;
p->ops = &swap_pager_ops;
p->size = size;
p->lock = MUTEX_UNLOCKED;
p->maps = 0;
return p;
error:
if (p) free(p);
return 0;
}
void swap_page_in(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
void *region = region_alloc(PAGE_SIZE, "Page zeroing area");
if (region == 0) return;
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
if (hashtbl_find(p->pages, (void*)page) == 0) {
uint32_t frame = frame_alloc(1);
if (frame == 0) continue;
if (!pd_map_page(region, frame, true)) continue;
memset(region, 0, PAGE_SIZE);
pd_unmap_page(region);
bool ok = hashtbl_add(p->pages, (void*)page, (void*)(frame << ENT_FRAME_SHIFT));
if (!ok) frame_free(frame, 1);
}
}
region_free(region);
}
void swap_page_out(pager_t *p, size_t offset, size_t len) {
// later : save to swap file...
}
void swap_page_release(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
uint32_t frame = (uint32_t)hashtbl_find(p->pages, (void*)page) >> ENT_FRAME_SHIFT;
if (frame != 0) {
hashtbl_remove(p->pages, (void*)page);
frame_free(frame, 1);
}
}
}
bool swap_pager_resize(pager_t *p, size_t new_size) {
// later : remove unused pages in swap file
return true;
}
// ========= //
// VFS PAGER //
// ========= //
void vfs_page_in(pager_t *p, size_t offset, size_t len);
void vfs_page_commit(pager_t *p, size_t offset, size_t len);
void vfs_page_out(pager_t *p, size_t offset, size_t len);
void vfs_page_release(pager_t *p, size_t offset, size_t len);
bool vfs_pager_resize(pager_t *p, size_t new_size);
pager_ops_t vfs_pager_ops = {
.page_in = vfs_page_in,
.page_commit = vfs_page_commit,
.page_out = vfs_page_out,
.page_release = vfs_page_release,
.resize = vfs_pager_resize,
};
pager_t *new_vfs_pager(size_t size, fs_node_t *vfs_node, vfs_pager_ops_t *vfs_ops) {
pager_t *p = (pager_t*)malloc(sizeof(pager_t));
if (p == 0) return 0;
p->pages = create_hashtbl(id_key_eq_fun, id_hash_fun, 0);
if (p->pages == 0) goto error;
p->ops = &vfs_pager_ops;
p->size = size;
p->lock = MUTEX_UNLOCKED;
p->maps = 0;
p->vfs_pager.node = vfs_node;
p->vfs_pager.ops = vfs_ops;
return p;
error:
if (p) free(p);
return 0;
}
void vfs_page_in(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
ASSERT(p->vfs_pager.ops->read != 0);
void *region = region_alloc(PAGE_SIZE, "Page loading area");
if (region == 0) return;
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
if (hashtbl_find(p->pages, (void*)page) == 0) {
bool ok = false;
uint32_t frame = frame_alloc(1);
if (frame == 0) continue;
if (!pd_map_page(region, frame, true)) goto end;
size_t expect_len = PAGE_SIZE;
if (page + expect_len > p->size) {
expect_len = p->size - page;
memset(region + expect_len, 0, PAGE_SIZE - expect_len);
}
size_t read_len = p->vfs_pager.ops->read(p->vfs_pager.node, page, expect_len, (char*)region);
pd_unmap_page(region);
if (read_len != expect_len) goto end;
ok = hashtbl_add(p->pages, (void*)page, (void*)(frame << ENT_FRAME_SHIFT));
end:
if (!ok) frame_free(frame, 1);
}
}
region_free(region);
}
void vfs_page_commit(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
ASSERT(p->vfs_pager.ops->read != 0);
void *region = region_alloc(PAGE_SIZE, "Page saving area");
if (region == 0) return;
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
uint32_t ent = (uint32_t)hashtbl_find(p->pages, (void*)page);
if (ent == 0) continue;
if (ent & PAGE_DIRTY) {
uint32_t frame = ent >> ENT_FRAME_SHIFT;
size_t expect_len = PAGE_SIZE;
if (page + expect_len > p->size) {
expect_len = p->size - page;
}
if (!pd_map_page(region, frame, true)) continue;
if (p->vfs_pager.ops->write) {
size_t write_len = p->vfs_pager.ops->write(p->vfs_pager.node, page, expect_len, (char*)region);
if (write_len == expect_len) {
hashtbl_change(p->pages, (void*)page, (void*)(ent & ~PAGE_DIRTY));
}
} else {
dbg_printf("Warning: read-only page was dirtied! Changes will be lost.\n");
}
pd_unmap_page(region);
}
}
region_free(region);
}
void vfs_page_out(pager_t *p, size_t offset, size_t len) {
vfs_page_commit(p, offset, len);
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
uint32_t ent = (uint32_t)hashtbl_find(p->pages, (void*)page);
if (ent != 0) {
if (ent & PAGE_DIRTY) continue; // for some reason page could not be commited ; keep it for nwo
hashtbl_remove(p->pages, (void*)page);
frame_free(ent >> ENT_FRAME_SHIFT, 1);
}
}
}
void vfs_page_release(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
ASSERT(p->vfs_pager.ops->read != 0);
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
uint32_t ent = (uint32_t)hashtbl_find(p->pages, (void*)page);
if (ent != 0) {
if (ent & PTE_DIRTY) {
dbg_printf("Warning: releasing a dirtied VFS page (it probably could not be written earlier) ; data will be lost.\n");
}
hashtbl_remove(p->pages, (void*)page);
frame_free(ent >> ENT_FRAME_SHIFT, 1);
}
}
}
bool vfs_pager_resize(pager_t *p, size_t new_size) {
if (p->vfs_pager.ops->resize == 0) return false;
if (!p->vfs_pager.ops->resize(p->vfs_pager.node, new_size)) return false;
return true;
}
// ============ //
// DEVICE PAGER //
// ============ //
void device_page_in(pager_t *p, size_t offset, size_t len);
void device_page_release(pager_t *p, size_t offset, size_t len);
pager_ops_t device_pager_ops = {
.page_in = device_page_in,
.page_commit = 0,
.page_out = 0,
.page_release = device_page_release,
.resize = 0,
};
pager_t *new_device_pager(size_t size, void* phys_offset) {
ASSERT(PAGE_ALIGNED(phys_offset));
pager_t *p = (pager_t*)malloc(sizeof(pager_t));
if (p == 0) return 0;
p->pages = create_hashtbl(id_key_eq_fun, id_hash_fun, 0);
if (p->pages == 0) goto error;
p->ops = &device_pager_ops;
p->size = size;
p->lock = MUTEX_UNLOCKED;
p->maps = 0;
p->device_pager.phys_offset = phys_offset;
return p;
error:
if (p) free(p);
return 0;
}
void device_page_in(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
if (hashtbl_find(p->pages, (void*)page) == 0) {
hashtbl_add(p->pages, (void*)page, p->device_pager.phys_offset + page);
}
}
}
void device_page_release(pager_t *p, size_t offset, size_t len) {
ASSERT(PAGE_ALIGNED(offset));
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
hashtbl_remove(p->pages, (void*)page);
}
}
void change_device_pager(pager_t *p, size_t new_size, void* new_phys_offset) {
if (p->ops != &device_pager_ops) return;
mutex_lock(&p->lock);
pager_unmap(p, 0, p->size);
device_page_release(p, 0, p->size);
p->size = new_size;
p->device_pager.phys_offset = new_phys_offset;
mutex_unlock(&p->lock);
}
// ======================= //
// GENERIC PAGER FUNCTIONS //
// ======================= //
// ---- Pager internals
void pager_unmap(pager_t *p, size_t offset, size_t len) {
pagedir_t *r = get_current_pagedir();
for (user_region_t *it = p->maps; it != 0; it = it->next_for_pager) {
switch_pagedir(it->proc->pd);
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
void* addr = it->addr + offset - it->offset;
if (pd_get_entry(addr) & PTE_PRESENT) pd_unmap_page(addr);
}
}
switch_pagedir(r);
}
// ---- Pager public interface
void delete_pager(pager_t *p) {
ASSERT(p->maps == 0);
mutex_lock(&p->lock);
if (p->ops->page_commit) p->ops->page_commit(p, 0, p->size);
if (p->ops->page_release) p->ops->page_release(p, 0, p->size);
delete_hashtbl(p->pages);
free(p);
}
bool pager_resize(pager_t *p, size_t new_size) {
if (!p->ops->resize) return false;
mutex_lock(&p->lock);
bool ret = p->ops->resize(p, new_size);
if (ret) {
if (PAGE_ALIGN_UP(new_size) < p->size) {
pager_unmap(p, PAGE_ALIGN_UP(new_size), p->size - PAGE_ALIGN_UP(new_size));
if (p->ops->page_release)
p->ops->page_release(p, PAGE_ALIGN_UP(new_size), p->size - PAGE_ALIGN_UP(new_size));
}
p->size = new_size;
}
mutex_unlock(&p->lock);
return ret;
}
void pager_access(pager_t *p, size_t offset, size_t len, bool accessed, bool dirty) {
mutex_lock(&p->lock);
ASSERT(PAGE_ALIGNED(offset));
for (size_t page = offset; page < offset + len; page += PAGE_SIZE) {
uint32_t v = (uint32_t)hashtbl_find(p->pages, (void*)page);
if (v != 0) {
hashtbl_change(p->pages, (void*)page,
(void*)(v | (accessed ? PAGE_ACCESSED : 0) | (dirty ? PAGE_DIRTY : 0)));
}
}
mutex_unlock(&p->lock);
}
void pager_commit_dirty(pager_t *p) {
if (!p->ops->page_commit) return;
mutex_lock(&p->lock);
p->ops->page_commit(p, 0, p->size);
mutex_unlock(&p->lock);
}
int pager_get_frame(pager_t *p, size_t offset) {
mutex_lock(&p->lock);
ASSERT(PAGE_ALIGNED(offset));
uint32_t v = (uint32_t)hashtbl_find(p->pages, (void*)offset);
if (v == 0) {
p->ops->page_in(p, offset, PAGE_SIZE);
}
uint32_t ret = (uint32_t)hashtbl_find(p->pages, (void*)offset) >> ENT_FRAME_SHIFT;
mutex_unlock(&p->lock);
return ret;
}
size_t pager_do_rw(pager_t *p, size_t offset, size_t len, char* buf, bool write) {
size_t ret = 0;
void* region = 0;
mutex_lock(&p->lock);
if (offset >= p->size) return 0;
if (offset + len > p->size) len = p->size - offset;
size_t first_page = PAGE_ALIGN_DOWN(offset);
size_t region_len = offset + len - first_page;
region = region_alloc(PAGE_ALIGN_UP(region_len), "Temporary pager read/write zone");
if (region == 0) goto end_read;
p->ops->page_in(p, first_page, region_len);
for (size_t i = first_page; i < first_page + region_len; i += PAGE_SIZE) {
uint32_t frame = (uint32_t)hashtbl_find(p->pages, (void*)i) >> ENT_FRAME_SHIFT;
if (frame == 0) goto end_read;
if (!pd_map_page(region + i - first_page, frame, write)) goto end_read;
}
if (write) {
memcpy(region + offset - first_page, buf, len);
for (size_t page = first_page; page < first_page+ region_len; page += PAGE_SIZE) {
uint32_t v = (uint32_t)hashtbl_find(p->pages, (void*)page);
ASSERT(v != 0);
hashtbl_change(p->pages, (void*)page, (void*)(v | PAGE_ACCESSED));
}
} else {
memcpy(buf, region + offset - first_page, len);
}
ret = len;
end_read:
if (region) {
for (void* x = region; x < region + region_len; x += PAGE_SIZE) {
if (pd_get_frame(x) != 0) pd_unmap_page(x);
}
region_free(region);
}
mutex_unlock(&p->lock);
return ret;
}
size_t pager_read(pager_t *p, size_t offset, size_t len, char* buf) {
return pager_do_rw(p, offset, len, buf, false);
}
size_t pager_write(pager_t *p, size_t offset, size_t len, const char* buf) {
return pager_do_rw(p, offset, len, (char*)buf, true);
}
void pager_add_map(pager_t *p, user_region_t *reg) {
mutex_lock(&p->lock);
reg->next_for_pager = p->maps;
p->maps = reg;
mutex_unlock(&p->lock);
}
void pager_rm_map(pager_t *p, user_region_t *reg) {
mutex_lock(&p->lock);
if (p->maps == reg) {
p->maps = reg->next_for_pager;
} else {
for (user_region_t *it = p->maps; it->next_for_pager != 0; it = it->next_for_pager) {
if (it->next_for_pager == reg) {
it->next_for_pager = reg->next_for_pager;
break;
}
}
}
reg->next_for_pager = 0;
mutex_unlock(&p->lock);
}
// ---- For use by FS drivers
size_t fs_read_from_pager(fs_handle_t *f, size_t offset, size_t len, char* buf) {
ASSERT(f->node->pager != 0);
return pager_read(f->node->pager, offset, len, buf);
}
size_t fs_write_to_pager(fs_handle_t *f, size_t offset, size_t len, const char* buf) {
ASSERT(f->node->pager != 0);
if (offset + len > f->node->pager->size) pager_resize(f->node->pager, offset + len);
return pager_write(f->node->pager, offset, len, buf);
}
/* vim: set ts=4 sw=4 tw=0 noet :*/