A Total Overhaul on the Lunaix's Virtual Memory Model (#26)

[lunaix-os.git] / lunaix-os / kernel / mm / region.c

diff --git a/lunaix-os/kernel/mm/region.c b/lunaix-os/kernel/mm/region.c
index 59dd6e3c330c5570e8d3d8f49618d2abaab92719..7dead6da5de68826c9bfcddb7a4ad28773ecf91a 100644 (file)
--- a/lunaix-os/kernel/mm/region.c
+++ b/lunaix-os/kernel/mm/region.c
@@ -1,12 +1,47 @@
 #include <lunaix/mm/region.h>
 #include <lunaix/mm/valloc.h>
 #include <lunaix/mm/region.h>
 #include <lunaix/mm/valloc.h>

+#include <lunaix/spike.h>
+#include <lunaix/process.h>
+
+#include <sys/mm/mempart.h>

 
 #include <klibc/string.h>
 
 struct mm_region*
 region_create(ptr_t start, ptr_t end, u32_t attr)
 {
 
 #include <klibc/string.h>
 
 struct mm_region*
 region_create(ptr_t start, ptr_t end, u32_t attr)
 {

-    return valloc(sizeof(struct mm_region));
+    assert_msg(!va_offset(start), "not page aligned");
+    assert_msg(!va_offset(end), "not page aligned");
+    struct mm_region* region = valloc(sizeof(struct mm_region));
+    *region =
+      (struct mm_region){ .attr = attr, .start = start, .end = end - 1 };
+    return region;
+}
+
+struct mm_region*
+region_create_range(ptr_t start, size_t length, u32_t attr)
+{
+    assert_msg(!va_offset(start), "not page aligned");
+    assert_msg(!va_offset(length), "not page aligned");
+    struct mm_region* region = valloc(sizeof(struct mm_region));
+    *region = (struct mm_region){ .attr = attr,
+                                  .start = start,
+                                  .end = ROUNDUP(start + length, MEM_PAGE) };
+    return region;
+}
+
+struct mm_region*
+region_dup(struct mm_region* origin)
+{
+    struct mm_region* region = valloc(sizeof(struct mm_region));
+    *region = *origin;
+
+    if (region->mfile) {
+        vfs_ref_file(region->mfile);
+    }
+
+    llist_init_head(&region->head);
+    return region;

 }
 
 void
 }
 
 void


@@ -14,23 +49,41 @@ region_add(vm_regions_t* lead, struct mm_region* vmregion)
 {
     if (llist_empty(lead)) {
         llist_append(lead, &vmregion->head);
 {
     if (llist_empty(lead)) {
         llist_append(lead, &vmregion->head);

-        return vmregion;
+        return;

     }
 
     }
 

+    struct mm_region *pos, *n;

     ptr_t cur_end = 0;
     ptr_t cur_end = 0;

-    struct mm_region *pos = (struct mm_region*)lead,
-                     *n = list_entry(lead->next, struct mm_region, head);
-    do {
-        if (vmregion->start >= cur_end && vmregion->end <= n->start) {
+
+    llist_for_each(pos, n, lead, head)
+    {
+        if (vmregion->start >= cur_end && vmregion->end <= pos->start) {

             break;
         }
             break;
         }

-        cur_end = n->end;
-        pos = n;
-        n = list_entry(n->head.next, struct mm_region, head);
-    } while ((ptr_t)&pos->head != (ptr_t)lead);
+        cur_end = pos->end;
+    }

 
     // XXX caution. require mm_region::head to be the lead of struct
 
     // XXX caution. require mm_region::head to be the lead of struct

-    llist_insert_after(&pos->head, &vmregion->head);
+    llist_append(&pos->head, &vmregion->head);
+}
+
+void
+region_release(struct mm_region* region)
+{
+    if (region->destruct_region) {
+        region->destruct_region(region);
+    }
+
+    if (region->mfile) {
+        struct proc_mm* mm = region->proc_vms;
+        vfs_pclose(region->mfile, mm->proc->pid);
+    }
+
+    if (region->index) {
+        *region->index = NULL;
+    }
+
+    vfree(region);

 }
 
 void
 }
 
 void


@@ -40,24 +93,31 @@ region_release_all(vm_regions_t* lead)
 
     llist_for_each(pos, n, lead, head)
     {
 
     llist_for_each(pos, n, lead, head)
     {

-        vfree(pos);
+        region_release(pos);

     }
 }
 
 void
     }
 }
 
 void

-region_copy(vm_regions_t* src, vm_regions_t* dest)
+region_copy_mm(struct proc_mm* src, struct proc_mm* dest)

 {
 {

-    if (!src) {
-        return;
-    }
-

     struct mm_region *pos, *n, *dup;
 
     struct mm_region *pos, *n, *dup;
 

-    llist_for_each(pos, n, src, head)
+    llist_for_each(pos, n, &src->regions, head)

     {
         dup = valloc(sizeof(struct mm_region));
         memcpy(dup, pos, sizeof(*pos));
     {
         dup = valloc(sizeof(struct mm_region));
         memcpy(dup, pos, sizeof(*pos));

-        region_add(dest, dup);
+
+        dup->proc_vms = dest;
+
+        if (dup->mfile) {
+            vfs_ref_file(dup->mfile);
+        }
+
+        if (dup->region_copied) {
+            dup->region_copied(dup);
+        }
+
+        llist_append(&dest->regions, &dup->head);

     }
 }
 
     }
 }
 


@@ -70,6 +130,8 @@ region_get(vm_regions_t* lead, unsigned long vaddr)
 
     struct mm_region *pos, *n;
 
 
     struct mm_region *pos, *n;
 

+    vaddr = va_align(vaddr);
+

     llist_for_each(pos, n, lead, head)
     {
         if (pos->start <= vaddr && vaddr < pos->end) {
     llist_for_each(pos, n, lead, head)
     {
         if (pos->start <= vaddr && vaddr < pos->end) {