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

Timestamp:

Jun 26, 2019, 11:42:37 AM (6 years ago)

Author:

alain

Message:

This version is a major evolution: The physical memory allocators,
defined in the kmem.c, ppm.c, and kcm.c files have been modified
to support remote accesses. The RPCs that were previously user
to allocate physical memory in a remote cluster have been removed.
This has been done to cure a dead-lock in case of concurrent page-faults.

This version 2.2 has been tested on a (4 clusters / 2 cores per cluster)
TSAR architecture, for both the "sort" and the "fft" applications.

File:

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

trunk/kernel/syscalls/sys_sem.c

@@ -75 +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() );
-hal_vmm_display( process , false );
 #endif
         this->errno = EINVAL;
@@ -113 +112 @@
 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() );
-hal_vmm_display( process , false );
 #endif
                 this->errno = EINVAL;
@@ -158 +156 @@
 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() );
-hal_vmm_display( process , true );
 #endif
                 this->errno = EINVAL;