Changeset 491 for trunk/kernel/kern/printk.c

Timestamp:

Aug 22, 2018, 11:55:11 PM (6 years ago)

Author:

viala@…

Message:

Change assert to be a macro

Ease using of static analyser and add debuging facility.

File:

• trunk/kernel/kern/printk.c (modified) (1 diff)

trunk/kernel/kern/printk.c

@@ -386 +386 @@
 
 ////////////////////////////////////
-void assert( bool_t       condition,
-             const char * function_name,
-             char       * format, ... )
-{
-    va_list       args;
-    uint32_t      save_sr;
-
-    if( condition == false )
+void __panic( const char * file_name,
+              const char * function_name,
+              uint32_t     line,
+              cycle_t      cycle,
+              char       * format,
+              ... )
+{
+    // get pointers on TXT0 chdev
+    xptr_t    txt0_xp = chdev_dir.txt_tx[0];
+    cxy_t     txt0_cxy = GET_CXY(txt0_xp);
+    chdev_t * txt0_ptr = GET_PTR(txt0_xp);
+
+    // get extended pointer on remote TXT0 lock
+    xptr_t lock_txt0_xp = XPTR(txt0_cxy, &txt0_ptr->wait_lock);
+
+    // get TXT0 lock in busy waiting mode
     {
-        // get pointers on TXT0 chdev
-        xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
-        cxy_t     txt0_cxy = GET_CXY( txt0_xp );
-        chdev_t * txt0_ptr = GET_PTR( txt0_xp );
-
-        // get extended pointer on remote TXT0 lock
-        xptr_t  lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
-
-        // get TXT0 lock in busy waiting mode
-        remote_spinlock_lock_busy( lock_xp , &save_sr );
-
-        // call nolock_printk to print core, function_name, and cycle
-        nolock_printk("\n[PANIC] in %s => core[%x,%d] blocked at cycle %d : " ,
-        function_name, local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() );
+        uint32_t save_sr;
+        remote_spinlock_lock_busy(lock_txt0_xp, &save_sr);
+
+        thread_t *current = CURRENT_THREAD;
+        nolock_printk(
+            "\n[PANIC] in %s: line %d | funct %s | cycle %d\n"
+            "core[%x,%d] | thread %x in process %x\n"
+            "            | thread_ptr %x | procress_ptr %x\n",
+            file_name, line, function_name, (uint32_t) cycle,
+            local_cxy, current->core->lid, current->trdid, current->process->pid,
+            current, current->process);
 
         // call kernel_printf on TXT0, in busy waiting to print format
-        va_start( args , format );
-        kernel_printf( format , &args );
-        va_end( args );
+        va_list args;
+        va_start(args, format);
+        kernel_printf(format, &args);
+        va_end(args);
 
         // release TXT0 lock
-        remote_spinlock_unlock_busy( lock_xp , save_sr );
-
-        // suicide
-        while( 1 ) asm volatile ("nop");
-    }
+        remote_spinlock_unlock_busy(lock_txt0_xp, save_sr);
+    }
+
+    // suicide
+    hal_core_sleep();
 }