Changeset 624 for trunk/kernel/syscalls/sys_sem.c

Timestamp:

Mar 12, 2019, 1:37:38 PM (5 years ago)

Author:

alain

Message:

Fix several bugs to use the instruction MMU in kernel mode
in replacement of the instruction address extension register,
and remove the "kentry" segment.

This version is running on the tsar_generic_iob" platform.

One interesting bug: the cp0_ebase defining the kernel entry point
(for interrupts, exceptions and syscalls) must be initialized
early in kernel_init(), because the VFS initialisation done by
kernel_ini() uses RPCs, and RPCs uses Inter-Processor-Interrup.

File:

• trunk/kernel/syscalls/sys_sem.c (modified) (5 diffs)

trunk/kernel/syscalls/sys_sem.c

@@ -2 +2 @@
  * sys_sem.c - Acces a POSIX unamed semaphore.
  * 
- * Authors     Alain Greiner (2016,2017,2018)
+ * Authors     Alain Greiner (2016,2017,2018,2019)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -24 +24 @@
 #include <hal_kernel_types.h>
 #include <hal_uspace.h>
+#include <hal_vmm.h>
 #include <shared_semaphore.h>
 #include <errno.h>
@@ -74 +75 @@
 printk("\n[ERROR] in %s : unmapped semaphore pointer %x / thread %x in process %x / cycle %d\n",
 __FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid, (uint32_t)hal_get_cycles() );
-vmm_display( process , false );
+hal_vmm_display( process , false );
 #endif
         this->errno = EINVAL;
@@ -112 +113 @@
 printk("\n[ERROR] in %s GETVALUE: unmapped buffer %x / thread %x in process %x / cycle %d\n",
 __FUNCTION__ , (intptr_t)current_value, this->trdid, process->pid, (uint32_t)hal_get_cycles() );
-vmm_display( process , false );
+hal_vmm_display( process , false );
 #endif
                 this->errno = EINVAL;
@@ -154 +155 @@
 printk("\n[ERROR] in %s WAIT: semaphore %x not found / thread %x in process %x / cycle %d\n",
 __FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid, (uint32_t)hal_get_cycles() );
-vmm_display( process , true );
+hal_vmm_display( process , true );
 #endif
                 this->errno = EINVAL;