Changeset 640 for trunk/kernel/syscalls/sys_munmap.c

Timestamp:

Oct 1, 2019, 1:19:00 PM (5 years ago)

Author:

alain

Message:

Remove all RPCs in page-fault handling.

File:

• trunk/kernel/syscalls/sys_munmap.c (modified) (1 diff)

trunk/kernel/syscalls/sys_munmap.c

@@ -72 +72 @@
     }
 
+    // compute unmapped region min an max
+    intptr_t addr_min = (intptr_t)vaddr;
+    intptr_t addr_max = addr_min + size;
+
+
+    // get vseg min & max addresses
+    intptr_t vseg_min = vseg->min; 
+    intptr_t vseg_max = vseg->max; 
+
     // enable IRQs
     hal_enable_irq( &save_sr );
 
-    // call relevant kernel function
-    error = vmm_resize_vseg( process , (intptr_t)vaddr , (intptr_t)size );
-
-    if ( error )
+    // action depend on both vseg and region bases & sizes
+    if( (vseg_min > addr_min) || (vseg_max < addr_max) )   // region not included in vseg
     {
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : cannot remove mapping\n", __FUNCTION__ );
+printk("\n[ERROR] in %s : region[%x->%x] / vseg[%x->%x] => non included in vseg\n",
+__FUNCTION__, process->pid, this->trdid, addr_min, addr_max, vseg_min, vseg_max );
 #endif
                 this->errno = EINVAL;
                 return -1;
+    }
+    else if( (vseg_min == addr_min) && (vseg_min == vseg_max) )  
+    {
+
+#if( DEBUG_SYS_MUNMAP & 1 )
+if( DEBUG_SYS_MUNMAP < cycle )
+printk("\n[%s] unmapped region[%x->%x[ / vseg[%x->%x[ => vseg deleted\n",
+__FUNCTION__, addr_min, addr_max, vseg_min, vseg_max );
+#endif
+        // delete existing vseg
+        vmm_global_delete_vseg( process,
+                                vseg_min );
+    }
+    else if( (vseg_min == addr_min) || (vseg_min == vseg_max) )  
+    {
+
+#if( DEBUG_SYS_MUNMAP & 1 )
+if( DEBUG_SYS_MUNMAP < cycle )
+printk("\n[%s] unmapped region[%x->%x[ / vseg[%x->%x[ => vseg resized\n",
+__FUNCTION__, addr_min, addr_max, vseg_min, vseg_max );
+#endif
+        // resize existing vseg
+        vmm_global_resize_vseg( process,
+                                vseg_min,
+                                addr_min,
+                                addr_max - addr_min );
+    }
+    else     //  vseg_min < addr_min) && (addr_max < vseg_max)          
+    {
+
+#if( DEBUG_SYS_MUNMAP & 1 )
+if( DEBUG_SYS_MUNMAP < cycle )
+printk("\n[%s] unmapped region[%x->%x[ / vseg[%x->%x[ => vseg resized & new vseg created\n",
+__FUNCTION__, addr_min, addr_max, vseg_min, vseg_max );
+#endif
+        // resize existing vseg
+        vmm_global_resize_vseg( process,
+                                vseg_min,
+                                vseg_min,
+                                addr_min - vseg_min ); 
+
+        // create new vseg
+        vmm_create_vseg( process,
+                         vseg->type,
+                         addr_max,
+                         vseg_max - addr_max,
+                         vseg->file_offset,
+                         vseg->file_size,
+                         vseg->mapper_xp,
+                         vseg->cxy );
     }