Changeset 672 for trunk/kernel/mm/vmm.c

Timestamp:

Nov 19, 2020, 11:49:01 PM (4 years ago)

Author:

alain

Message:

1) Introduce up to 4 command lines arguments in the KSH "load" command.
These arguments are transfered to the user process through the
argc/argv mechanism, using the user space "args" vseg.

2) Introduce the named and anonymous "pipes", for inter-process communication
through the pipe() and mkfifo() syscalls.

3) Introduce the "chat" application to validate the two above mechanisms.

4) Improve printk() and assert() fonctions in printk.c.

File:

• trunk/kernel/mm/vmm.c (modified) (17 diffs)

trunk/kernel/mm/vmm.c

@@ -2 +2 @@
  * vmm.c - virtual memory manager related operations definition.
  *
- * Authors   Ghassan Almaless (2008,2009,2010,2011, 2012)
- *           Alain Greiner (2016,2017,2018,2019,2020)
+ * Authors   Ghassan Almaless (2008,2009,2010,2011,2012)
+ *           Alain Greiner    (2016,2017,2018,2019,2020)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -63 +63 @@
 
 // check STACK zone
-assert( ((CONFIG_VMM_STACK_SIZE * CONFIG_THREADS_MAX_PER_CLUSTER) <=
+assert( __FUNCTION__, ((CONFIG_VMM_STACK_SIZE * CONFIG_THREADS_MAX_PER_CLUSTER) <=
 (CONFIG_VMM_VSPACE_SIZE - CONFIG_VMM_STACK_BASE)) , "STACK zone too small\n");
 
@@ -89 +89 @@
 
 // check ltid argument
-assert( (ltid <= ((CONFIG_VMM_VSPACE_SIZE - CONFIG_VMM_STACK_BASE) / CONFIG_VMM_STACK_SIZE)),
+assert( __FUNCTION__, (ltid <= ((CONFIG_VMM_VSPACE_SIZE - CONFIG_VMM_STACK_BASE) / CONFIG_VMM_STACK_SIZE)),
 "slot index %d too large for an user stack vseg", ltid );
 
@@ -99 +99 @@
 
 // check requested slot is available
-assert( (bitmap_state( &mgr->bitmap , ltid ) == false),
+assert( __FUNCTION__, (bitmap_state( &mgr->bitmap , ltid ) == false),
 "slot index %d already allocated", ltid );
 
@@ -149 +149 @@
 
 // check index
-assert( (index <= ((CONFIG_VMM_VSPACE_SIZE - CONFIG_VMM_STACK_BASE) / CONFIG_VMM_STACK_SIZE)),
+assert( __FUNCTION__, (index <= ((CONFIG_VMM_VSPACE_SIZE - CONFIG_VMM_STACK_BASE) / CONFIG_VMM_STACK_SIZE)),
 "slot index %d too large for an user stack vseg", index );
 
 // check released slot is allocated
-assert( (bitmap_state( &mgr->bitmap , index ) == true),
+assert( __FUNCTION__, (bitmap_state( &mgr->bitmap , index ) == true),
 "released slot index %d non allocated", index );
 
@@ -226 +226 @@
 
 // check HEAP base and size 
-assert( (CONFIG_VMM_HEAP_BASE == 0x40000) & (CONFIG_VMM_STACK_BASE == 0xc0000),
+assert( __FUNCTION__, (CONFIG_VMM_HEAP_BASE == 0x40000) & (CONFIG_VMM_STACK_BASE == 0xc0000),
 "CONFIG_VMM_HEAP_BASE != 0x40000 or CONFIG_VMM_STACK_BASE != 0xc0000" );
 
 // check  MMAP vseg max order 
-assert( (CONFIG_VMM_HEAP_MAX_ORDER == 18), "max mmap vseg size is 256K pages" );
+assert( __FUNCTION__, (CONFIG_VMM_HEAP_MAX_ORDER == 18), "max mmap vseg size is 256K pages" );
 
     // get pointer on MMAP allocator 
@@ -252 +252 @@
     vseg_t * vseg0 = vseg_alloc();
 
-assert( (vseg0 != NULL) , "cannot allocate vseg" );
+assert( __FUNCTION__, (vseg0 != NULL) , "cannot allocate vseg" );
 
     vseg0->vpn_base = CONFIG_VMM_HEAP_BASE;
@@ -263 +263 @@
     vseg_t * vseg1 = vseg_alloc();
 
-assert( (vseg1 != NULL) , "cannot allocate vseg" );
+assert( __FUNCTION__, (vseg1 != NULL) , "cannot allocate vseg" );
 
     vseg1->vpn_base = CONFIG_VMM_HEAP_BASE << 1;
@@ -555 +555 @@
 
 // check UTILS zone 
-assert( ((CONFIG_VMM_ARGS_SIZE + CONFIG_VMM_ENVS_SIZE) <= 
-         (CONFIG_VMM_ELF_BASE - CONFIG_VMM_UTILS_BASE)) ,
-         "UTILS zone too small\n" );
+assert( __FUNCTION__ , ((CONFIG_VMM_ARGS_SIZE + CONFIG_VMM_ENVS_SIZE) <= 
+(CONFIG_VMM_ELF_BASE - CONFIG_VMM_UTILS_BASE)) , "UTILS zone too small\n" );
 
     // initialize lock protecting the VSL 
         remote_queuelock_init( XPTR( local_cxy , &vmm->vsl_lock ) , LOCK_VMM_VSL );
-
 
     // initialize STACK allocator
@@ -577 +575 @@
         vmm->global_pgfault_cost = 0;
 
-/*
-    // register "args" vseg in VSL
-    base = CONFIG_VMM_UTILS_BASE << CONFIG_PPM_PAGE_SHIFT;
-    size = CONFIG_VMM_ARGS_SIZE << CONFIG_PPM_PAGE_SHIFT;
-
-    vseg_args = vmm_create_vseg( process,
-                                 VSEG_TYPE_DATA,
-                                 base,
-                                 size,
-                                 0,             // file_offset unused
-                                 0,             // file_size unused
-                                 XPTR_NULL,     // mapper_xp unused
-                                 local_cxy );
-    if( vseg_args == NULL )
-    {
-        printk("\n[ERROR] in %s : cannot register args vseg\n", __FUNCTION__ );
-        return -1;
-    }
-
-    vmm->args_vpn_base = base;
-
-    // register "envs" vseg in VSL
-    base = (CONFIG_VMM_UTILS_BASE + CONFIG_VMM_ARGS_SIZE) << CONFIG_PPM_PAGE_SHIFT;
-    size = CONFIG_VMM_ENVS_SIZE << CONFIG_PPM_PAGE_SHIFT;
-
-    vseg_envs = vmm_create_vseg( process,
-                                 VSEG_TYPE_DATA,
-                                 base,
-                                 size,
-                                 0,             // file_offset unused
-                                 0,             // file_size unused
-                                 XPTR_NULL,     // mapper_xp unused
-                                 local_cxy );
-    if( vseg_envs == NULL )
-    {
-        printk("\n[ERROR] in %s : cannot register envs vseg\n", __FUNCTION__ );
-        return -1;
-    }
-
-    vmm->envs_vpn_base = base;
-*/
     hal_fence();
 
@@ -716 +673 @@
 // FIXME il faut gérer les process copies...
 
+    // re-initialise VMM
+    vmm_user_init( process );
+
 #if DEBUG_VMM_USER_RESET
 cycle = (uint32_t)hal_get_cycles();
@@ -1133 +1093 @@
 
 // check cluster is reference
-assert( (XPTR( local_cxy , process ) == process->ref_xp),
+assert( __FUNCTION__, (XPTR( local_cxy , process ) == process->ref_xp),
 "local cluster must be process reference cluster\n");
 
@@ -1869 +1829 @@
 
 // check arguments
-assert( (process != NULL), "process argument is NULL" );
-assert( (vseg    != NULL), "vseg argument is NULL" );
+assert( __FUNCTION__, (process != NULL), "process argument is NULL" );
+assert( __FUNCTION__, (vseg    != NULL), "vseg argument is NULL" );
 
     // get pointers on local process VMM 
@@ -1960 +1920 @@
 
 // check arguments
-assert( (process != NULL), "process argument is NULL" );
-assert( (vseg    != NULL), "vseg argument is NULL" );
+assert( __FUNCTION__, (process != NULL), "process argument is NULL" );
+assert( __FUNCTION__, (vseg    != NULL), "vseg argument is NULL" );
 
 #if DEBUG_VMM_RESIZE_VSEG
@@ -2228 +2188 @@
 
 // check vseg type
-assert( ( type != VSEG_TYPE_FILE ) , "illegal vseg type\n" );
+assert( __FUNCTION__, ( type != VSEG_TYPE_FILE ) , "illegal vseg type\n" );
 
     // compute target cluster identifier
@@ -2302 +2262 @@
         xptr_t mapper_xp = vseg->mapper_xp;
 
-assert( (mapper_xp != XPTR_NULL),
+assert( __FUNCTION__, (mapper_xp != XPTR_NULL),
 "mapper not defined for a FILE vseg\n" );
         
@@ -2327 +2287 @@
             xptr_t     mapper_xp = vseg->mapper_xp;
 
-assert( (mapper_xp != XPTR_NULL),
+assert( __FUNCTION__, (mapper_xp != XPTR_NULL),
 "mapper not defined for a CODE or DATA vseg\n" );