Changeset 380 for trunk/kernel

Timestamp:

Aug 14, 2017, 6:31:25 PM (7 years ago)

Author:

alain

Message:

Remove the generic kernel/kern/do_exception files to handle exceptions in HAL.
The HAL call only the vmm_handle_page_fault() function if required.

Location:

trunk/kernel

Files:

• kern/core.c (modified) (2 diffs)
• kern/do_exception.c (deleted)
• kern/do_exception.h (deleted)
• kern/kernel_init.c (modified) (1 diff)
• kern/process.c (modified) (2 diffs)
• vfs/vfs.c (modified) (9 diffs)

trunk/kernel/kern/core.c

@@ -71 +71 @@
                     uint32_t * tm_us )
 {
-        *tm_s  = (core->ticks_nr*CONFIG_SCHED_TICK_PERIOD)/1000;
-        *tm_us = (core->ticks_nr*CONFIG_SCHED_TICK_PERIOD*1000)%1000000;
+        *tm_s  = (core->ticks_nr*CONFIG_SCHED_TICK_MS_PERIOD)/1000;
+        *tm_us = (core->ticks_nr*CONFIG_SCHED_TICK_MS_PERIOD*1000)%1000000;
 }
 
@@ -158 +158 @@
 }
 
-
-/* deprecated [AG] july 20017
-///////////////////////////////////////////////////
-void core_set_irq_vector_entry( core_t   * core,
-                                uint32_t   irq_type,
-                                uint32_t   irq_id,
-                                chdev_t  * chdev )
-{
-        if     ( irq_type == WTI_TYPE ) core->wti_vector[irq_id] = chdev;
-        else if( irq_type == HWI_TYPE ) core->hwi_vector[irq_id] = chdev;
-        else                            core->pti_vector[irq_id] = chdev;
-}
-*/

trunk/kernel/kern/kernel_init.c

@@ -1122 +1122 @@
     }
 
-    // each core activates its private TICK IRQ
-    dev_pic_enable_timer( CONFIG_SCHED_TICK_PERIOD );
+    // each core activates its private TICK IRQ (number of ticks)
+    dev_pic_enable_timer( CONFIG_SCHED_TICKS_PER_QUANTUM );
 
     // each core jump to idle thread

trunk/kernel/kern/process.c

@@ -627 +627 @@
     parent_pid = hal_remote_lw( XPTR( parent_cxy , &parent_ptr->pid ) );
 
-    exec_dmsg("\n[INFO] %s : thread %x on core[%x,‰d] enters for path = %s\n",
-    __FUNCTION__, CURRENT_THREAD->trdid, local_cxy, CURRENT_THREAD->core->lid, path );
+    exec_dmsg("\n[INFO] %s : thread %x on core[%x,%d] enters for path = %s\n",
+    __FUNCTION__, CURRENT_THREAD->trdid, local_cxy, CURRENT_THREAD->core->lid , path );
 
     // create new process descriptor
@@ -654 +654 @@
     process_reference_init( process , pid , parent_xp );
 
-    exec_dmsg("\n[INFO] %s : thread %x on core[%x,‰d] created process %x / path = %s\n",
+    exec_dmsg("\n[INFO] %s : thread %x on core[%x,%d] created process %x / path = %s\n",
     __FUNCTION__, CURRENT_THREAD->trdid, local_cxy, CURRENT_THREAD->core->lid, pid, path );
 

trunk/kernel/vfs/vfs.c

@@ -1351 +1351 @@
     error_t            error;
 
-    vfs_dmsg("\n[INFO] %s : enters for <%s> at cycle %d\n",
-             __FUNCTION__ , pathname , (uint32_t)hal_time_stamp() );
-
     this    = CURRENT_THREAD;
     process = this->process;
+
+    vfs_dmsg("\n[INFO] %s : enter for <%s> / core[%x,%d] / cycle %d\n",
+    __FUNCTION__ , pathname , local_cxy , this->core->lid , hal_time_stamp() );
 
     // get extended pointer on first inode to search
@@ -1377 +1377 @@
         vfs_get_name_from_path( current , name , &next , &last );
 
-        vfs_dmsg("\n[INFO] %s : looking for <%s> / last = %d\n",
-                 __FUNCTION__ , name , last );
+        vfs_dmsg("\n[INFO] %s : looking for <%s> / core[%x,%d] / last = %d\n",
+        __FUNCTION__ , name , local_cxy , this->core->lid , last );
 
         // search a child dentry matching name in parent inode
@@ -1395 +1395 @@
         if (found == false ) // child node not found in inode tree 
         {
-            vfs_dmsg("\n[INFO] %s : <%s> not found, try to load it\n",
-                     __FUNCTION__ , name );
+            vfs_dmsg("\n[INFO] %s : <%s> not found => load it / core[%x,%d]\n",
+            __FUNCTION__ , local_cxy , this->core->lid );
 
             // release lock on parent inode
@@ -1423 +1423 @@
             {
                 printk("\n[ERROR] in %s : no memory for inode %s in path %s\n",
-                       __FUNCTION__ , name , pathname );
+                __FUNCTION__ , name , pathname );
                 return ENOMEM;
             }
@@ -1445 +1445 @@
             if ( error )
             {
-                printk("\n[ERROR] in %s : node %s not found in path %s\n",
-                       __FUNCTION__ , name , pathname );
+                printk("\n[ERROR] in %s : core[%x,%d] / <%s> not found in parent\n",
+                __FUNCTION__ , local_cxy , this->core->lid , name );
                 return ENOENT;
             }
@@ -1470 +1470 @@
                 if ( error )
                 {
-                    printk("\n[ERROR] in %s : cannot access device for node %s in path %s\n",
-                           __FUNCTION__ , name , pathname );
+                    printk("\n[ERROR] in %s : core[%x,%d] cannot access device for <%s>\n",
+                    __FUNCTION__ , local_cxy , this->core->lid , name );
                     return EIO;
                 }
@@ -1482 +1482 @@
         }
 
-        vfs_dmsg("\n[INFO] %s : found <%s> / parent = %l / child = %l / last = %d\n",
-                     __FUNCTION__ , name , parent_xp , child_xp , last );
-
-        // TODO check access rights
+        vfs_dmsg("\n[INFO] %s : found <%s> / core[%x,%d] / parent = %l / child = %l\n",
+        __FUNCTION__ , name , local_cxy , this->core->lid , parent_xp , child_xp );
+
+        // TODO check access rights here [AG]
         // error = vfs_access_denied( child_xp,
         //                            client_uid,
@@ -1508 +1508 @@
     vfs_inode_unlock( parent_xp );
 
-    vfs_dmsg("\n[INFO] in %s : exit <%s> found / inode = %l\n",
+    vfs_dmsg("\n[INFO] %s : exit <%s> found / inode = %l\n",
                  __FUNCTION__ , pathname , child_xp );
 
@@ -1607 +1607 @@
     parent_ptr = (vfs_inode_t *)GET_PTR( parent_xp );
 
-    vfs_dmsg("\n[INFO] %s : enter in cluster %x for <%s> / child_cxy = %x / parent_xp = %l\n",
-    __FUNCTION__ , local_cxy , name , child_cxy , parent_xp );
+    vfs_dmsg("\n[INFO] %s : enter for <%s> / core[%x,%d] / child_cxy = %x / parent_xp = %l\n",
+    __FUNCTION__ , name , local_cxy , CURRENT_THREAD->core->lid , child_cxy , parent_xp );
 
     // 1. create dentry