Changeset 469 for trunk/kernel/syscalls

Timestamp:

Aug 20, 2018, 1:04:16 PM (6 years ago)

Author:

alain

Message:

1) Introduce the libsemaphore library.
2) Introduce a small libmath library, required by the "fft" application..
3) Introduce the multithreaded "fft" application.
4) Fix a bad synchronisation bug in the Copy-On-Write mechanism.

Location:

trunk/kernel/syscalls

Files:

• shared_include/shared_semaphore.h (added)
• sys_is_fg.c (added)
• sys_read.c (modified) (1 diff)
• sys_sem.c (modified) (8 diffs)
• sys_write.c (modified) (3 diffs)

trunk/kernel/syscalls/sys_read.c

@@ -231 +231 @@
 tm_end = hal_get_cycles();
 if( DEBUG_SYS_READ < tm_end )
-printk("\n[DBG] %s : thread %x in process %x exit / cycle %d\n"
-"nbytes %d / file_id %d / cost %d\n",
-__FUNCTION__ , this->trdid, process->pid,
-(uint32_t)tm_start , nbytes , file_id , (uint32_t)(tm_end - tm_start) );
+printk("\n[DBG] %s : thread %x in process %x exit / cycle %d / cost %d\n",
+__FUNCTION__ , this->trdid, process->pid, (uint32_t)tm_start, (uint32_t)(tm_end - tm_start) );
 #endif
 

trunk/kernel/syscalls/sys_sem.c

@@ -74 +74 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : unmapped semaphore pointer %x / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid );
+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 );
 #endif
@@ -97 +97 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : cannot create semaphore / thread %x in process %x\n",
-__FUNCTION__, this->trdid, process->pid );
+printk("\n[ERROR] in %s INIT: cannot create semaphore / thread %x in process %x / cycle %d\n",
+__FUNCTION__, this->trdid, process->pid, (uint32_t)hal_get_cycles() );
 #endif
                 this->errno = ENOMEM;
@@ -115 +115 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : unmapped buffer for current value %x / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)current_value, this->trdid, process->pid );
+printk("\n[ERROR] in %s GETVALUE: unmapped target 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 );
 #endif
@@ -131 +131 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : semaphore %x not registered / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid );
+printk("\n[ERROR] in %s GETVALUE: 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() );
 #endif
                 this->errno = EINVAL;
@@ -157 +157 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : semaphore %x not registered / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid );
+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 );
 #endif
                 this->errno = EINVAL;
@@ -180 +181 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : semaphore %x not registered / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid );
+printk("\n[ERROR] in %s POST: 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() );
 #endif
                 this->errno = EINVAL;
@@ -203 +204 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : semaphore %x not registered / thread %x in process %x\n",
-__FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid );
+printk("\n[ERROR] in %s DESTROY: 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() );
 #endif
                 this->errno = EINVAL;
@@ -220 +221 @@
 
 #if DEBUG_SYSCALLS_ERROR
-printk("\n[ERROR] in %s : undefined operation type %d / thread %x in process %x\n",
-__FUNCTION__ , operation, this->trdid, process->pid );
+printk("\n[ERROR] in %s : undefined operation type %d / thread %x in process %x / cycle %d\n",
+__FUNCTION__ , operation, this->trdid, process->pid, (uint32_t)hal_get_cycles() );
 #endif
             this->errno = EINVAL;

trunk/kernel/syscalls/sys_write.c

@@ -61 +61 @@
     reg_t        save_sr;         // required to enable IRQs during syscall
 
-#if (DEBUG_SYS_WRITE & 1)
-enter_sys_write = (uint32_t)tm_start;
-#endif
-
         thread_t   * this = CURRENT_THREAD;
         process_t  * process = this->process;
@@ -77 +73 @@
 #endif
  
+#if (DEBUG_SYS_WRITE & 1)
+enter_sys_write = (uint32_t)tm_start;
+#endif
+
     // check file_id argument
         if( file_id >= CONFIG_PROCESS_FILE_MAX_NR )
@@ -195 +195 @@
 tm_end = hal_get_cycles();
 if( DEBUG_SYS_WRITE < tm_end )
-printk("\n[DBG] %s : thread %x in process %x exit / cycle %d\n"
-"nbytes %d / file_id %d / cost %d\n",
-__FUNCTION__, this->trdid, process->pid, (uint32_t)tm_start,
-nbytes, file_id , (uint32_t)(tm_end - tm_start) );
+printk("\n[DBG] %s : thread %x in process %x exit / cycle %d / cost %d\n",
+__FUNCTION__, this->trdid, process->pid, (uint32_t)tm_start, (uint32_t)(tm_end - tm_start) );
 #endif