Created student weenix repository

6 files changed, 113 insertions, 0 deletions

diff --git a/kernel/include/vm/anon.h b/kernel/include/vm/anon.h
new file mode 100644
index 0000000..a116853
--- /dev/null
+++ b/kernel/include/vm/anon.h
@@ -0,0 +1,9 @@
+#pragma once
+
+struct mobj;
+
+void anon_init();
+
+struct mobj *anon_create(void);
+
+extern int anon_count;
diff --git a/kernel/include/vm/brk.h b/kernel/include/vm/brk.h
new file mode 100644
index 0000000..1612b5f
--- /dev/null
+++ b/kernel/include/vm/brk.h
@@ -0,0 +1,3 @@
+#pragma once
+
+long do_brk(void *addr, void **ret);
diff --git a/kernel/include/vm/mmap.h b/kernel/include/vm/mmap.h
new file mode 100644
index 0000000..8c5638c
--- /dev/null
+++ b/kernel/include/vm/mmap.h
@@ -0,0 +1,8 @@
+#include "types.h"
+
+struct proc;
+
+long do_munmap(void *addr, size_t len);
+
+long do_mmap(void *addr, size_t len, int prot, int flags, int fd, off_t off,
+             void **ret);
diff --git a/kernel/include/vm/pagefault.h b/kernel/include/vm/pagefault.h
new file mode 100644
index 0000000..7850727
--- /dev/null
+++ b/kernel/include/vm/pagefault.h
@@ -0,0 +1,11 @@
+#pragma once
+
+#include "types.h"
+
+#define FAULT_PRESENT 0x01
+#define FAULT_WRITE 0x02
+#define FAULT_USER 0x04
+#define FAULT_RESERVED 0x08
+#define FAULT_EXEC 0x10
+
+void handle_pagefault(uintptr_t vaddr, uintptr_t cause);
diff --git a/kernel/include/vm/shadow.h b/kernel/include/vm/shadow.h
new file mode 100644
index 0000000..57893d5
--- /dev/null
+++ b/kernel/include/vm/shadow.h
@@ -0,0 +1,11 @@
+#pragma once
+
+#include "mm/mobj.h"
+
+void shadow_init();
+
+mobj_t *shadow_create(mobj_t *shadowed);
+
+void shadow_collapse(mobj_t *o);
+
+extern int shadow_count;
diff --git a/kernel/include/vm/vmmap.h b/kernel/include/vm/vmmap.h
new file mode 100644
index 0000000..e5efba6
--- /dev/null
+++ b/kernel/include/vm/vmmap.h
@@ -0,0 +1,71 @@
+#pragma once
+
+#include "types.h"
+
+#include "util/list.h"
+
+#define VMMAP_DIR_LOHI 1
+#define VMMAP_DIR_HILO 2
+
+struct mobj;
+struct proc;
+struct vnode;
+
+typedef struct vmmap
+{
+    list_t vmm_list;       /* list of virtual memory areas */
+    struct proc *vmm_proc; /* the process that corresponds to this vmmap */
+} vmmap_t;
+
+/* Make sure you understand why mapping boundaries are in terms of frame
+ * numbers (page numbers) and not addresses */
+typedef struct vmarea
+{
+    size_t vma_start; /* [starting vfn, */
+    size_t vma_end;   /*  ending vfn) */
+    size_t vma_off;   /* offset from beginning of vma_obj in pages */
+                      /* the reason this field is necessary is that 
+                         when files are mmap'ed, it doesn't have 
+                         to start from location 0. You could, for instance, 
+                         map pages 10-15 of a file, and vma_off would be 10. */
+
+    int vma_prot;  /* permissions (protections) on mapping, see mman.h */
+    int vma_flags; /* either MAP_SHARED or MAP_PRIVATE. It can also specify 
+                      MAP_ANON and MAP_FIXED */
+
+    struct vmmap *vma_vmmap; /* address space that this area belongs to */
+    struct mobj *vma_obj;    /* the memory object that corresponds to this address region */
+    list_link_t vma_plink;   /* link on process vmmap maps list */
+} vmarea_t;
+
+void vmmap_init(void);
+
+vmmap_t *vmmap_create(void);
+
+void vmmap_destroy(vmmap_t **mapp);
+
+void vmmap_collapse(vmmap_t *map);
+
+vmarea_t *vmmap_lookup(vmmap_t *map, size_t vfn);
+
+long vmmap_map(vmmap_t *map, struct vnode *file, size_t lopage, size_t npages,
+               int prot, int flags, off_t off, int dir, vmarea_t **new_vma);
+
+long vmmap_remove(vmmap_t *map, size_t lopage, size_t npages);
+
+long vmmap_is_range_empty(vmmap_t *map, size_t startvfn, size_t npages);
+
+ssize_t vmmap_find_range(vmmap_t *map, size_t npages, int dir);
+
+long vmmap_read(vmmap_t *map, const void *vaddr, void *buf, size_t count);
+
+long vmmap_write(vmmap_t *map, void *vaddr, const void *buf, size_t count);
+
+vmmap_t *vmmap_clone(vmmap_t *map);
+
+size_t vmmap_mapping_info_helper(const void *map, char *buf, size_t size,
+                                 char *prompt);
+
+size_t vmmap_mapping_info(const void *map, char *buf, size_t size);
+
+void vmmap_insert(vmmap_t *map, vmarea_t *new_vma);
\ No newline at end of file