Changeset 469 for trunk/hal/tsar_mips32

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/hal/tsar_mips32/core

Files:

• hal_exception.c (modified) (11 diffs)
• hal_macros.h (added)

trunk/hal/tsar_mips32/core/hal_exception.c

@@ -146 +146 @@
 
             // restore FPU registers from requesting thread context
-                hal_fpu_context_restore( this->fpu_context );
+                hal_fpu_context_restore( this );
 
             // attach the FPU to the requesting thread
@@ -155 +155 @@
     {
         // restore FPU registers from requesting thread context
-            hal_fpu_context_restore( this->fpu_context );
+            hal_fpu_context_restore( this );
 
         // attach the FPU to the requesting thread
@@ -218 +218 @@
 if( DEBUG_HAL_EXCEPTIONS < cycle )
 printk("\n[DBG] %s : thread %x in process %x enter / is_ins %d / %s / vaddr %x / cycle %d\n",
-__FUNCTION__, this->trdid, process->pid, is_ins, hal_mmu_exception_str(excp_code), bad_vaddr, cycle);
+__FUNCTION__, this->trdid, process->pid,
+is_ins, hal_mmu_exception_str(excp_code), bad_vaddr, cycle);
 #endif
 
@@ -235 +236 @@
             if( error )   
             {
-                printk("\n[ERROR] in %s for thread %x : cannot map vaddr = %x\n",
-                __FUNCTION__ , this->trdid , bad_vaddr );
+                printk("\n[USER ERROR] in %s for thread %x in process %x\n"
+                "   cannot map vaddr = %x / is_ins %d / epc %x\n",
+                __FUNCTION__, this->trdid, this->process->pid, bad_vaddr, is_ins, excPC );
 
                         return EXCP_USER_ERROR;
@@ -256 +258 @@
         case MMU_READ_PRIVILEGE_VIOLATION:
         {
-            printk("\n[ERROR] in %s for thread %x : illegal user access to vaddr = %x\n",
-            __FUNCTION__ , this->trdid , bad_vaddr );
+            printk("\n[USER ERROR] in %s for thread %x in process %x\n"
+            "   illegal user access to vaddr = %x / is_ins %d / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, bad_vaddr, is_ins, excPC );
 
             return EXCP_USER_ERROR;
@@ -275 +278 @@
                 if( error )
                 {
-                    printk("\n[ERROR] in %s for thread %x : cannot cow vaddr = %x\n",
-                    __FUNCTION__ , this->trdid , bad_vaddr );
+                    printk("\n[USER ERROR] in %s for thread %x in process %x\n"
+                    "   cannot cow vaddr = %x / is_ins %d / epc %x\n",
+                    __FUNCTION__, this->trdid, this->process->pid, bad_vaddr, is_ins, excPC );
 
                             return EXCP_USER_ERROR;
@@ -295 +299 @@
             else                             // non writable user error
             {
-                printk("\n[ERROR] in %s for thread %x : non-writable vaddr = %x\n",
-                __FUNCTION__ , this->trdid , bad_vaddr );
+                printk("\n[USER ERROR] in %s for thread %x in process %x\n"
+                "   non-writable vaddr = %x / is_ins %d / epc %x\n",
+                __FUNCTION__, this->trdid, this->process->pid, bad_vaddr, is_ins, excPC );
 
                 return EXCP_USER_ERROR;
@@ -303 +308 @@
         case MMU_READ_EXEC_VIOLATION:        // user error
         {
-            printk("\n[ERROR] in %s for thread %x : read to non-executable vaddr = %x\n",
-            __FUNCTION__ , this->trdid , bad_vaddr );
+            printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+            "   non-executable vaddr = %x / is_ins %d / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, bad_vaddr, is_ins, excPC );
 
             return EXCP_USER_ERROR;
         }
-        default:                             // this is a kernel error => panic    
-        {
-            assert( false , __FUNCTION__ ,
-            "thread %x in process %x / epc %x / badvaddr %x / cycle %d\n",
-            this->trdid, this->process->pid, excPC, bad_vaddr, (uint32_t)hal_get_cycles() );
+        default:                             // this is a kernel error    
+        {
+            printk("\n[KERNEL ERROR] in %s for thread %x in process %x\n"
+            "  epc %x / badvaddr %x / is_ins %d\n",
+            __FUNCTION__, this->trdid, this->process->pid, excPC, bad_vaddr, is_ins );
 
             return EXCP_KERNEL_PANIC;
@@ -353 +359 @@
     else
     {
-        nolock_printk("\n=== KERNEL PANIC / trdid %x / pid %x / core[%x,%d] / cycle %d ===\n",
+        nolock_printk("\n=== KERNEL ERROR / trdid %x / pid %x / core[%x,%d] / cycle %d ===\n",
         this->trdid, process->pid, local_cxy, core->lid , (uint32_t)hal_get_cycles() );
     }
@@ -415 +421 @@
         switch(excCode)
         {
-        case XCODE_DBE:     // can be non fatal
+        case XCODE_DBE:     // Data Bus Error : can be non fatal if page fault
         {
                     error = hal_mmu_exception( this , excPC , false );  // data MMU exception
             break;
         }
-            case XCODE_IBE:     // can be non fatal
+            case XCODE_IBE:     // Instruction Bus Error : can be non fatal if page fault
         {
                     error = hal_mmu_exception( this , excPC , true );   // ins MMU exception
                     break;
         }
-            case XCODE_CPU:    // can be non fatal
-        {
-            if( ((uzone[UZ_CR] >> 28) & 0x3) == 1 ) // FPU
+            case XCODE_CPU:    // Coprocessor unavailable : can be non fatal if FPU
+        {
+            if( ((uzone[UZ_CR] >> 28) & 0x3) == 1 )             // FPU
             {
-                error = hal_fpu_exception( this );              // FPU exception
+                error = hal_fpu_exception( this );
             }
-            else
+            else                                                // undefined coprocessor
             {
+                printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+                "   undefined coprocessor / epc %x\n",
+                __FUNCTION__, this->trdid, this->process->pid, excPC );
+
                         error = EXCP_USER_ERROR;
             }
                     break;
         }
-        case XCODE_OVR:    // user fatal error
-        case XCODE_RI:     // user fatal error
+        case XCODE_OVR:    // Arithmetic Overflow : user fatal error
+        {
+            printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+            "   arithmetic overflow / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, excPC );
+
+                    error = EXCP_USER_ERROR;
+                break;
+        }
+        case XCODE_RI:     // Reserved Instruction : user fatal error
+        {
+            printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+            "   reserved instruction / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, excPC );
+
+                    error = EXCP_USER_ERROR;
+                break;
+        }
         case XCODE_ADEL:   // user fatal error
-        case XCODE_ADES:   // user fatal error
-        {
+        {
+            printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+            "   illegal data load address / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, excPC );
+
+                    error = EXCP_USER_ERROR;
+                break;
+        }
+        case XCODE_ADES:   //   user fatal error
+        {
+            printk("\n[USER_ERROR] in %s for thread %x in process %x\n"
+            "   illegal data store address / epc %x\n",
+            __FUNCTION__, this->trdid, this->process->pid, excPC );
+
                     error = EXCP_USER_ERROR;
                 break;
@@ -462 +500 @@
         hal_exception_dump( this , uzone , error );
 
-        assert( false , __FUNCTION__ , "thread %x in process %x on core [%x,%d]",
-        this , this->process->pid , local_cxy , this->core->lid );
+        assert( false , __FUNCTION__ , "core[%x,%d] blocked\n", local_cxy, this->core->lid );
     }