Changeset 0957f62 for libcfa/src/concurrency/preemption.cfa

Timestamp:

Mar 1, 2026, 5:47:54 PM (42 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

02e7483

Parents:

8086004

Message:

add routines stack_verify and stack_pointer, in debug mode call stack_verify on front-side of context switch and time-slicing

File:

• libcfa/src/concurrency/preemption.cfa (modified) (3 diffs)

libcfa/src/concurrency/preemption.cfa

@@ -10 +10 @@
 // Created On       : Mon Jun 5 14:20:42 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Apr 25 07:24:39 2025
-// Update Count     : 63
+// Last Modified On : Sun Mar  1 10:00:18 2026
+// Update Count     : 68
 //
 
@@ -571 +571 @@
         __cfaabi_dbg_print_buffer_decl( " KERNEL: preempting core %p (%p @ %p).\n", __cfaabi_tls.this_processor, __cfaabi_tls.this_thread, (void *)(cxt->uc_mcontext.CFA_REG_IP) );
 
+        #if defined( __CFA_DEBUG__ )
+        stack_verify();                                                                         // good place to check for stack overflow
+        #endif // __CFA_DEBUG__
+
         // Sync flag : prevent recursive calls to the signal handler
         __cfaabi_tls.preemption_state.in_progress = true;
@@ -591 +595 @@
         #endif
 
-        force_yield( __ALARM_PREEMPTION ); // Do the actual __cfactx_switch
+        force_yield( __ALARM_PREEMPTION );                                      // Do the actual __cfactx_switch
 }